http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55115
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |INVALID --- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-10-29 14:47:12 UTC --- (In reply to comment #2) > (In reply to comment #1) > > If the headers do nothing, just delete them? If the headers do something, > > how > > can you preprocess the file without the info from the headers? > > That won't work, I believe cproto parses the errors produced by GCC and > figures > out which declarations are missing based on the errors, then creates a header > containing those declarations. That seems an odd way to generate missing declarations. Missing headers may lead to different code being compiled because of undefined macros, feature test macros, pragmas, etc. If the header is missing, then ignoring the error will produce exactly the same result as commenting out the #include. Anyway, not a bug.