11.2 How and where to Report Bugs

Bugs should be reported to the GCC bug database. Please refer to http://gcc.gnu.org/bugs.html for up-to-date instructions how to submit bug reports. Copies of this file in HTML ( bugs.html ) and plain text ( BUGS ) are also part of GCC releases.