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

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

[ebotcazou 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

[Bug ada/17746] [3.4 Regression] ICE when building the shared Ada RTS

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-30 13:02 -------
This looks more like a front-end bug as size of the outer view convert is 512 while the inner is 32.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org
          Component|bootstrap                   |ada
            Summary|ICE when building the shared|[3.4 Regression] ICE when
                   |Ada RTS                     |building the shared Ada RTS
   Target Milestone|---                         |4.0.0


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

[Bug ada/17746] [3.4 Regression] ICE when building the shared Ada RTS

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-30 17:37 -------
*** Bug 17753 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |awreynolds at mac dot com


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

[Bug ada/17746] [4.0 Regression] ICE when building the shared Ada RTS

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.4 Regression] ICE when   |[4.0 Regression] ICE when
                   |building the shared Ada RTS |building the shared Ada RTS


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

[Bug ada/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-09-30 21:49 -------
Confirmed by the duplicate.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-30 21:49:35
               date|                            |


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

[Bug ada/17746] [4.0 Regression] ICE when building the shared Ada RTS

[c dot christian dot joensson at comhem dot se]

------- Additional Comments From c dot christian dot joensson at comhem dot se  2004-10-03 09:43 -------
This bug may also be applicable on sparc-linux, see

http://gcc.gnu.org/ml/gcc/2004-10/msg00070.html

and the comment to it

http://gcc.gnu.org/ml/gcc/2004-10/msg00072.html

/ChJ

-- 


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

[Bug ada/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-09 16:03 -------
Reconfirmed as of gcc version 4.0.0 20041009 (experimental).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2004-09-30 21:49:35         |2004-10-09 16:03:02
               date|                            |


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

[Bug ada/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-11 16:17 -------
The outer record type is a derived type of the inner record type so the
expression  is supposed to be a dereference through a polymorphic access type. 
Investigating.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-14 11:55 -------
Recategorizing.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |middle-end


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-14 11:56 -------
*** Bug 17794 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu dot
                   |                            |org


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-14 18:57 -------
Quick summary of my investigation so far:
- ICE on g-awk.adb at -O0: pb in the RTL expander relating to ADDR_EXPR
- ICE on g-socket.adb at -O0: consistency check, again ADDR_EXPR
- infinite loop on make.adb at -O2: PHI nodes sharing pb (ok at -O1)

After quick fix for both ICE + workaround for infinite loop:

		=== acats tests ===
FAIL:	c330001
FAIL:	c380004
FAIL:	c391002
FAIL:	c43214c
FAIL:	c45273a
FAIL:	c45347a
FAIL:	c45347b
FAIL:	c45347c
FAIL:	c74004a
FAIL:	c940006
FAIL:	c951001
FAIL:	c954023
FAIL:	c97114a
FAIL:	c97117a
FAIL:	ca11005
FAIL:	cc1221d
FAIL:	cd10002
FAIL:	cd2a21e
FAIL:	cd2a22i
FAIL:	cd2a31a
FAIL:	cxaa010
FAIL:	cxaa017
FAIL:	cxb4004
FAIL:	cxh3002

		=== acats Summary ===
# of expected passes		2298
# of unexpected failures	24

-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-14 19:03 -------
- ICE on g-socket.adb at -O0: consistency check, again ADDR_EXPR
is PR 17793 (I filed it)

- infinite loop on make.adb at -O2: PHI nodes sharing pb (ok at -O1)
is PR 17986 (someone else filed it)

And there is target (PPC) bug see PR 17956 after working around PR 17793.

-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-10-15 05:52 -------
FYI, diff -u my_x86_64_run your_sparc_run gives:

+FAIL:  c391002
+FAIL:  c940006
+FAIL:  c951001
+FAIL:  c954023

-FAIL:  c54a13b
-FAIL:  c61008a
-FAIL:  c64104c
-FAIL:  cc51003
-FAIL:  cc70a01

(x86_64 with LAST_UPDATED: Wed Oct 13 11:00:00 UTC 2004)

-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the shared Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-10-15 06:58 -------
> FYI, diff -u my_x86_64_run your_sparc_run gives:
> 
> +FAIL:  c391002
> +FAIL:  c940006
> +FAIL:  c951001
> +FAIL:  c954023
> 
> -FAIL:  c54a13b
> -FAIL:  c61008a
> -FAIL:  c64104c
> -FAIL:  cc51003
> -FAIL:  cc70a01

Thanks!  This is very helpful.  I was afraid SPARC was very broken wrt Ada but
it appears that it is even in slightly better shape than x86_64. :-)


-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[ebotcazou at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
            Summary|[4.0 Regression] ICE when   |[4.0 Regression] ICE when
                   |building the shared Ada RTS |building the Ada RTS


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-11-04 22:12 -------
Pending patch: http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01630.html


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[phython at gcc dot gnu dot org]

------- Additional Comments From phython at gcc dot gnu dot org  2004-11-28 23:50 -------
 Was this patch rejected?


-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-11-29 06:40 -------
>  Was this patch rejected?

Never approved.  The last message about it is:
http://gcc.gnu.org/ml/gcc-patches/2004-10/msg02600.html


-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-11-29 20:53 -------
I would really prefer a patch that brought handled_component_p into
better agreement with get_inner_reference.  For extra points, share
code between the two routines.

-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-11-29 21:09 -------
Also, adding gcc_asserts that invoke handled_component_p from within 
get_inner_reference looks like a way to make sure they do not diverge too much 
without us noticing.

-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-12-23 13:03 -------
Subject: Bug 17746

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	ebotcazou@gcc.gnu.org	2004-12-23 13:02:34

Modified files:
	gcc            : ChangeLog expr.c dojump.c dwarf2out.c 
	                 fold-const.c tree-ssa-loop-ivopts.c 
	gcc/ada        : ChangeLog trans.c utils2.c 

Log message:
	PR middle-end/17746
	* expr.c (get_inner_reference): Add 'keep_aligning' parameter.
	Break on aligning VIEW_CONVERT_EXPR nodes on STRICT_ALIGNMENT
	platforms only if keep_aligning is true.
	(expand_assignment): Adjust call to get_inner_reference.
	(expand_expr_addr_expr_1): Likewise.
	(expand_expr_real_1): Likewise.
	* dojump.c (do_jump): Likewise.
	* dwarf2out.c (loc_descriptor_from_tree_1): Likewise.
	* fold-const.c (optimize_bit_field_compare): Likewise.
	(decode_field_reference): Likewise.
	(split_address_to_core_and_offset): Likewise.
	* tree-ssa-loop-ivopts.c (split_address_cost): Likewise.
	* expr.h (get_inner_reference): Adjust prototype.
	
	ada/
	* trans.c (Attribute_to_gnu): Adjust call to get_inner_reference.
	* utils2.c (build_unary_op): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6941&r2=2.6942
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&r1=1.765&r2=1.766
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dojump.c.diff?cvsroot=gcc&r1=1.34&r2=1.35
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dwarf2out.c.diff?cvsroot=gcc&r1=1.562&r2=1.563
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&r1=1.486&r2=1.487
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-ivopts.c.diff?cvsroot=gcc&r1=2.37&r2=2.38
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.618&r2=1.619
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/trans.c.diff?cvsroot=gcc&r1=1.86&r2=1.87
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/utils2.c.diff?cvsroot=gcc&r1=1.42&r2=1.43



-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-12-23 13:06 -------
Subject: Bug 17746

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	ebotcazou@gcc.gnu.org	2004-12-23 13:05:54

Modified files:
	gcc            : ChangeLog tree.h 

Log message:
	PR middle-end/17746
	* expr.c (get_inner_reference): Add 'keep_aligning' parameter.
	Break on aligning VIEW_CONVERT_EXPR nodes on STRICT_ALIGNMENT
	platforms only if keep_aligning is true.
	(expand_assignment): Adjust call to get_inner_reference.
	(expand_expr_addr_expr_1): Likewise.
	(expand_expr_real_1): Likewise.
	* dojump.c (do_jump): Likewise.
	* dwarf2out.c (loc_descriptor_from_tree_1): Likewise.
	* fold-const.c (optimize_bit_field_compare): Likewise.
	(decode_field_reference): Likewise.
	(split_address_to_core_and_offset): Likewise.
	* tree-ssa-loop-ivopts.c (split_address_cost): Likewise.
	* tree.h (get_inner_reference): Adjust prototype.
	
	ada/
	* trans.c (Attribute_to_gnu): Adjust call to get_inner_reference.
	* utils2.c (build_unary_op): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6942&r2=2.6943
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree.h.diff?cvsroot=gcc&r1=1.673&r2=1.674



-- 


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

[Bug middle-end/17746] [4.0 Regression] ICE when building the Ada RTS

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-12-23 13:10 -------
See http://gcc.gnu.org/ml/gcc-patches/2004-12/msg01748.html


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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