If "p4include" is in the path, treat the file as system file.

[fruffy]

No description provided.

[vlstill]

wouldn't it be better to use -isystem like GCC/clang to manage what is system file?

[fruffy]

That might be a better approach. It'd be nice if non-system includes were also preserved, but it seems complicated to reconstructed this after the preprocessed has inlined everything.

[vlstill]

And what is the problem you are trying to solve here? How are system includes treated differently from non-system once in P4C?

[fruffy]

And what is the problem you are trying to solve here? How are system includes treated differently from non-system once in P4C?

The problem is that there might be multiple "system" paths but the current check only allows one and is not very extensible. Plus, as you suggested it might be nice to decide what is a system path and what is not with the command line.