This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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



------- Additional Comments From levon at movementarian dot org  2003-10-01 18:40 -------
In particular, the error should make some reference to what .gch is all
about.

With an explicit flag as suggested, it's reasonable that the user has
read the PCH docs. Without, perhaps something like :

fatal error: can't open /usr/include/malloc.h.gch for pre-compiled header
output: Permission denied

would help.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]