https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93723
Bug ID: 93723
Summary: ICEs building ada with -fanalyzer
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
I attempted to bootstrap GCC with the config/bootstrap-analyzer.mk from PR
93388 comment #0; it failed with various ICEs in Ada.
Quite a few of this form:
+===========================GNAT BUG DETECTED==============================+
| 10.0.1 20200211 (experimental) (x86_64-pc-linux-gnu) GCC error: |
| unhandled tree code in region_model::get_lvalue_1: |
| ‘array_range_ref’ |
| Error detected around ../../../src/gcc/ada/libgnat/a-exctra.adb:40:33 |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact command that you entered. |
| Also include sources listed below. |
+==========================================================================+
and at least one of:
+===========================GNAT BUG DETECTED==============================+
| 10.0.1 20200211 (experimental) (x86_64-pc-linux-gnu) GCC error: |
| in make_region_for_type, at analyzer/region-model.cc:6066 |
| Error detected around ../../../src/gcc/ada/atree.adb:2501:28 |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact command that you entered. |
| Also include sources listed below. |
+==========================================================================+
