This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug pch/12480] PCH prevents "compilation of header file requested" warning
- From: "zack at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Oct 2003 18:29:14 -0000
- Subject: [Bug pch/12480] PCH prevents "compilation of header file requested" warning
- References: <20031001174525.12480.levon@movementarian.org>
- Reply-to: gcc-bugzilla 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.