https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92720
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Dennis Clarke from comment #0) > This may require a bit of a dive into the specifications however > an inline include of /dev/stdin seems wrong for some definition > of wrong. There's no such thing as an "inline include", the preprocessor just substitutes the content of the named file wherever a #include directive appears. If that file happens to be /dev/stdin then it happens to be /dev/stdin.
