https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89410
--- Comment #10 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to Jonny Grant from comment #4)
> There's another related issue, can it be covered on this ticket?
>
> GCC does not show the part of the output below I marked with after
> commenting out line 4 <-----
>
> #1 with x86-64 gcc (trunk)
> <source>: In function 'main':
> <source>:6:7: warning: line number out of range
> 6 | #line 9223372036854775807 <-----
> | ^~~~~~~~~~~~~~~~~~~
>
>
>
>
> int main(void)
> {
> // Note: Comment back in the next line to reproduce
> //#line 12147483647
>
> #line 9223372036854775807
> }
What's happening is that GCC is honoring the earlier #line directive, and it
attempts to load the source for that line; there aren't that many lines in the
file, so it doesn't print anything.
