https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65227
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |documentation Status|UNCONFIRMED |NEW Last reconfirmed| |2015-02-27 Ever confirmed|0 |1 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Doumentation bug then. gcc-plugin.h should be the _only_ GCC header to include. Confirmed as documentation bug.