[Bug pch/12480] PCH prevents "compilation of header file requested" warning

[zack at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12480


zack at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


------- Additional Comments From zack at gcc dot gnu dot org  2003-10-01 18:29 -------
Just because something is documented does not make it not a bug.  The
documentation may well be wrong.

I would tend to agree with the original poster that this is a QoI regression.
The logical thing to do, here, would be to make the error message on failure to
write a PCH a bit more friendly.

Arguably creation of a PCH is an unusual operation and should require a special
switch such as --gen-pch.