14.2 How and Where to Report Bugs

Bugs should be reported to the bug database at http://gcc.gnu.org/bugs.html .