I get this when I try to debug a c program (with gdb)compiled from txtocf (unmodified source)
Program received signal SIGSEGV, Segmentation fault.
0x4008077d in buffered_vfprintf (s=0x829f918, format=0x829a540 "%03d ", args=0xbffffa38) at vfprintf.c:1767
1767 vfprintf.c: No such file or directory.
Program received signal SIGSEGV, Segmentation fault.
0x4008077d in buffered_vfprintf (s=0x829f918, format=0x829a540 "%03d ", args=0xbffffa38) at vfprintf.c:1767
1767 vfprintf.c: No such file or directory.