12.2. How and where to Report Bugs
Bugs should be reported to our 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.