[Bug bootstrap/17746] New: ICE when building the shared Ada RTS

["ebotcazou at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The bugbox says it all:

../../xgcc -B../../ -c -g -O2 -fPIC      -W -Wall -gnatpg  g-awk.adb -o g-awk.o
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20040930 (experimental) (sparc-sun-solaris2.8) GCC error:          |
| in expand_expr_addr_expr_1, at expr.c:6147                               |
| Error detected at g-awk.adb:1316:24                                      |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:376
gmake[7]: *** [g-awk.o] Error 1


It's an assertion failure that happens at -O0 too:

  /* We must have made progress.  */
  gcc_assert (inner != exp);

(gdb) frame 1
#1  0x00416110 in expand_expr_addr_expr_1 (exp=0xfe834400, target=0x0,
    tmode=SImode, modifier=EXPAND_NORMAL) at /home/eric/cvs/gcc/gcc/expr.c:6147
6147      gcc_assert (inner != exp);
(gdb) p debug_tree(exp)
 <view_convert_expr fe834400
    type <record_type ff0dda80 gnat__awk__patterns__string_patternXn align-ok
type_2 BLK
        size <integer_cst ff1165c0 constant invariant 512>
        unit size <integer_cst ff047740 constant invariant 64>
        align 64 symtab 0 alias set 0
        fields <field_decl ff115b80 _parent type <record_type ff0d2c00
gnat__awk__patterns__patternXn>
            decl_3 BLK file g-awk.adb line 152
            size <integer_cst ff00a500 constant invariant 32>
            unit size <integer_cst ff00a140 constant invariant 4>
            align 32 offset_align 64
            offset <integer_cst ff00a160 constant invariant 0>
            bit offset <integer_cst ff00aca0 constant invariant 0> context
<record_type ff0dda80 gnat__awk__patterns__string_patternXn> arguments
<integer_cst ff00a160 0> chain <field_decl ff115c00 _controller>>
        Ada size <integer_cst ff116680 constant invariant 480>
        pointer_to_this <pointer_type ff121280
gnat__awk__patterns__string_patternSI__A463b> reference_to_this <reference_type
ff120a00> chain <type_decl ff115d80>>

    arg 0 <indirect_ref fe8343e0
        type <record_type ff0d2c00 gnat__awk__patterns__patternXn align-ok
type_2 BLK size <integer_cst ff00a500 32> unit size <integer_cst ff00a140 4>
            align 32 symtab 0 alias set -1 fields <field_decl ff0d2f80 _tag> Ada
size <integer_cst ff00a500 32>
            pointer_to_this <pointer_type ff0de080
gnat__awk__patterns__pattern_accessXn> reference_to_this <reference_type
ff0d9d00> chain <type_decl ff0d3000>>

        arg 0 <var_decl fe830900 P931b type <pointer_type fe830880
gnat__awk__patterns__pattern_accessXn>
            readonly used unsigned ignored SI file g-awk.adb line 1180 size
<integer_cst ff00a500 32> unit size <integer_cst ff00a140 4>
            align 32 context <function_decl ff099080 gnat__awk__register>
            (reg:SI 111 [ P931b ]) chain <type_decl fe830a80
gnat__awk__register__A935b>>>>
$1 = void

-- 
           Summary: ICE when building the shared Ada RTS
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ebotcazou at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: sparc-sun-solaris2.8
  GCC host triplet: sparc-sun-solaris2.8
GCC target triplet: sparc-sun-solaris2.8


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17746