Predicate hasPragmaDifferentFile
Holds if the file contains #line pragmas that refer to a different file.
For example, in parser.c a pragma #line 1 "parser.rl".
Such pragmas usually indicate that the file was automatically generated.
Import path
import semmle.code.cpp.AutogeneratedFile
predicate
hasPragmaDifferentFile
(
File
f
)