Re: note from Prof D E Knuth

[Andrew Cagney]

> Dear people,
>
> The version of GDB that I installed recently has an annoying bug that
> I had not encountered in previous versions: It fails to find the source
> file that is explicitly mentioned in a #line directive.
>
> Here are three files that document the problem. Please let me know
> if more explanation is needed.
>
> ---- cut here for my source file gdb-bug.w ----- (written in CWEB)
> @* Intro. This trivial \.{CWEB} program demonstrates a bug in
> `GNU gdb Red Hat Linux (5.3post-0.20021129.18rh)'.

> @c
> main()
> {
>   printf("Hello");
>   printf(" there.");
> }

Do you know which version of GCC is being used?

        gcc -v

Andrew