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