[Bug analyzer/93723] New: ICEs building ada with -fanalyzer

[dmalcolm at gcc dot gnu.org]

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.                                       |
+==========================================================================+