[Bug c/92720] cc1 accepts #include /dev/stdin inline

[redi at gcc dot gnu.org]

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.