[Bug ada/23593] New: [4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[Bug ada/23593] New: [4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[laurent at guerby dot net]

Between

LAST_UPDATED: Fri Aug 26 19:40:32 UTC 2005
LAST_UPDATED: Sat Aug 27 09:12:44 UTC 2005

c371002 c371003 c52008b cc51004 cc51b03 started failing at compile time on x86
and x86_64-linux, all with SEGV:

/home/guerby/work/gcc/build/build-20050827T113521/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050827T113521/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050827T113521/gcc/testsuite/ada/acats/support
c371002.adb

raised STORAGE_ERROR : stack overflow (or erroneous memory access)
gnatmake: "c371002.adb" compilation error

-- 
           Summary: [4.1 Regression] 5 ACATS compiler SEGV c371002 c371003
                    c52008b cc51004 cc51b03
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug ada/23593] [4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-08-27 12:20 -------
x86 backtrace for  c371002.adb

Program received signal SIGSEGV, Segmentation fault.
0x0834ec8b in get_memory_rtx (exp=<value optimized out>, len=<value optimized
out>) at /home/guerby/work/gcc/version-head/gcc/builtins.c:1080
1080                  gcc_assert (TREE_CODE (mem_expr) == COMPONENT_REF);
(gdb) bt
#0  0x0834ec8b in get_memory_rtx (exp=<value optimized out>, len=<value
optimized out>) at /home/guerby/work/gcc/version-head/gcc/builtins.c:1080
#1  0x08354572 in expand_builtin_memcmp (exp=0x40554f78, arglist=<value
optimized out>, target=0x0, mode=<value optimized out>)
    at /home/guerby/work/gcc/version-head/gcc/builtins.c:3588
#2  0x0835593f in expand_builtin (exp=0x40554f78, target=0x4015e210,
subtarget=0x0, mode=VOIDmode, ignore=0)
    at /home/guerby/work/gcc/version-head/gcc/builtins.c:6047
#3  0x083df5d6 in expand_expr_real_1 (exp=<value optimized out>, target=0x0,
tmode=<value optimized out>, modifier=<value optimized out>, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:7396
#4  0x083e535a in expand_expr_real (exp=0x40554f78, target=0x0, tmode=VOIDmode,
modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6474
#5  0x083971b0 in do_jump (exp=0x40554f78, if_false_label=0x4022160c,
if_true_label=0x0) at expr.h:492
#6  0x083974d7 in do_jump (exp=0x4056efc0, if_false_label=0x0,
if_true_label=0x4022160c) at /home/guerby/work/gcc/version-head/gcc/dojump.c:355
#7  0x08398c9d in jumpif (exp=0x4056efc0, label=0x4022160c) at
/home/guerby/work/gcc/version-head/gcc/dojump.c:108
#8  0x085c0aed in expand_gimple_basic_block (bb=0x4023bf00, dump_file=<value
optimized out>) at /home/guerby/work/gcc/version-head/gcc/cfgexpand.c:1095
#9  0x085c1773 in tree_expand_cfg () at
/home/guerby/work/gcc/version-head/gcc/cfgexpand.c:1521
#10 0x085bd554 in execute_one_pass (pass=0x881ef40) at
/home/guerby/work/gcc/version-head/gcc/passes.c:808


-- 


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-27 12:25 -------
[08:19] < guerby> 0x0834ec8b in get_memory_rtx (exp=<value optimized out>, len=<value 
optimized out>) at /home/guerby/work/gcc/version-head/gcc/builtins.c:1080
[08:19] < guerby> 1080                  gcc_assert (TREE_CODE (mem_expr) == COMPONENT_REF);
[08:19] < guerby> (gdb) bt
[08:19] < guerby> #0  0x0834ec8b in get_memory_rtx (exp=<value optimized out>, len=<value 
optimized out>) at /home/guerby/work/gcc/version-head/gcc/builtins.c:1080
[08:19] < guerby> #1  0x08354572 in expand_builtin_memcmp (exp=0x40554f78, arglist=<value 
optimized out>, target=0x0, mode=<value optimized out>)
[08:19] < guerby>     at /home/guerby/work/gcc/version-head/gcc/builtins.c:3588
[08:19] < guerby> #2  0x0835593f in expand_builtin (exp=0x40554f78, target=0x4015e210, 
subtarget=0x0, mode=VOIDmode, ignore=0)
[08:19] < guerby>     at /home/guerby/work/gcc/version-head/gcc/builtins.c:6047
[08:19] < guerby> #3  0x083df5d6 in expand_expr_real_1 (exp=<value optimized out>, target=0x0, 
tmode=<value optimized out>, modifier=<value optimized out>, alt_rtl=0x0)
[08:19] < guerby>     at /home/guerby/work/gcc/version-head/gcc/expr.c:7396
[08:19] < guerby> #4  0x083e535a in expand_expr_real (exp=0x40554f78, target=0x0, 
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
[08:19] < guerby>     at /home/guerby/work/gcc/version-head/gcc/expr.c:6474
[08:19] < guerby> #5  0x083971b0 in do_jump (exp=0x40554f78, if_false_label=0x4022160c, 
if_true_label=0x0) at expr.h:492
[08:19] < guerby> #6  0x083974d7 in do_jump (exp=0x4056efc0, if_false_label=0x0, 
if_true_label=0x4022160c) at /home/guerby/work/gcc/version-head/gcc/dojump.c:355


It looks like it was caused by:
-2005-08-26  Jakub Jelinek  <jakub@redhat.com>
-
-       PR rtl-optimization/23561
-       * builtins.c (get_memory_rtx): Add LEN argument.  If MEM_EXPR is
-       a COMPONENT_REF, remove all COMPONENT_REF from MEM_EXPR unless
-       at most LEN bytes long memory fits into the field.
-       (expand_builtin_memcpy, expand_builtin_mempcpy, expand_movstr,
-       expand_builtin_strncpy, expand_builtin_memset, expand_builtin_memcmp,
-       expand_builtin_strcmp, expand_builtin_strncmp): Adjust callers.

Which means this is 4.0 regression too now.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu dot
                   |                            |org, pinskia at gcc dot gnu
                   |                            |dot org
            Summary|[4.1 Regression] 5 ACATS    |[4.0/4.1 Regression] 5 ACATS
                   |compiler SEGV c371002       |compiler SEGV c371002
                   |c371003 c52008b cc51004     |c371003 c52008b cc51004
                   |cc51b03                     |cc51b03


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[jakub at gcc dot gnu dot org]

------- Additional Comments From jakub at gcc dot gnu dot org  2005-08-27 12:45 -------
Sorry, will look into it over the weekend.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-27 12:45:13
               date|                            |


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-28 11:01 -------
Subject: Bug 23593

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jakub@gcc.gnu.org	2005-08-28 11:01:32

Modified files:
	gcc            : ChangeLog builtins.c 

Log message:
	PR ada/23593
	* builtins.c (get_memory_rtx): Don't strip nops
	in between COMPONENT_REFs.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9841&r2=2.9842
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/builtins.c.diff?cvsroot=gcc&r1=1.473&r2=1.474



-- 


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-08-28 11:05 -------
Thanks for fixing this.

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


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-28 11:09 -------
Subject: Bug 23593

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	jakub@gcc.gnu.org	2005-08-28 11:08:57

Modified files:
	gcc            : ChangeLog builtins.c 

Log message:
	PR ada/23593
	* builtins.c (get_memory_rtx): Don't strip nops
	in between COMPONENT_REFs.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.397&r2=2.7592.2.398
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/builtins.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.426.2.4&r2=1.426.2.5



-- 


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

[Bug ada/23593] [4.0/4.1 Regression] 5 ACATS compiler SEGV c371002 c371003 c52008b cc51004 cc51b03

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.0.2


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