14.2 How and Where to Report Bugs

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