Question about source file location when one uses #line 1 "example2.in" directive

[Thomas Koenig]

Hello Martin,

>> I've been working on
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78792, where one provides
>> #line directive. Problem is that in ipa-profile.c I see:
>>
>> $ cat ~/Programming/testcases/pr78792.f90
>> #line 10 "example.in"
>> PROGRAM example
>> PRINT *, "example"
>> END PROGRAM

The place to start work on this would probably in scanner.c,
gfc_define_undef_line, which handles lines starting out with #.
I don't see anything there handling #line directives, so this looks
like an obvious place to start.

HTH

	Thomas