[Bug target/24284] New: [4.0 4.1 regression] ICE (Segmentation fault)

[Bug target/24284] New: [4.0 4.1 regression] ICE (Segmentation fault)

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/329840]

works with 3.3.6, 3.4 CVS, fails with 4.0.2, CVS HEAD 20050904

When building zinc-compiler on sparc, I'm get:
run.nw: In function 'do_run':
run.nw:212: internal compiler error: Segmentation fault

It seems the following code is what is causing it:
void do_run(void *ip)
{
    char dummy[8192];

    __asm__("" : : "g"(dummy));

    goto *ip;
}

A file with only that in will generate the ICE too.

It happens when using -O* and -g.  -O0 or no -g makes it build.

Also, making the dummy buffer smaller than 8089 fixes it.  8089
still crashes, 8088 works without problems.

Compiling the same with gcc-3.3 or 3.4 works without problems.


-- 
           Summary: [4.0 4.1 regression] ICE (Segmentation fault)
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
  GCC host triplet: sparc-linux


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-10-09 14:02 -------
Confirmed.
The backtrace:
#0  0x001bfaf0 in dwarf2out_frame_debug_expr (expr=0x0, label=0x55c1dc
"*.LLCFI0") at ../../gcc/dwarf2out.c:1461
#1  0x001c0de0 in dwarf2out_frame_debug (insn=0x0, after_p=1 '\001') at
../../gcc/dwarf2out.c:1849
#2  0x0022c3f4 in final_scan_insn (insn=0x41e12500, file=0xa36778d0,
optimize=2, prescan=0, nopeepholes=0, seen=0xbffff768) at
../../gcc/final.c:2542
#3  0x0022ad90 in final (first=0x41e0b220, file=0xa36778d0, optimize=2,
prescan=0) at ../../gcc/final.c:1577
#4  0x003ced88 in rest_of_handle_final () at ../../gcc/passes.c:300
#5  0x003d2304 in rest_of_compilation () at ../../gcc/passes.c:1756
#6  0x0009da64 in execute_one_pass (pass=0x547624) at
../../gcc/tree-optimize.c:533
#7  0x0009dbc8 in execute_pass_list (pass=0x547624) at
../../gcc/tree-optimize.c:570
#8  0x0009df88 in tree_rest_of_compilation (fndecl=0x41e708dc) at
../../gcc/tree-optimize.c:668
#9  0x0001d3d0 in c_expand_body (fndecl=0x41e708dc) at ../../gcc/c-decl.c:6608
#10 0x003f5dd0 in cgraph_expand_function (node=0x41e70d14) at
../../gcc/cgraphunit.c:835
#11 0x003f8598 in cgraph_expand_all_functions () at ../../gcc/cgraphunit.c:1706
#12 0x003f89bc in cgraph_optimize () at ../../gcc/cgraphunit.c:1803
#13 0x000204dc in c_write_global_declarations () at ../../gcc/c-decl.c:7586
#14 0x0039ef68 in compile_file () at ../../gcc/toplev.c:1004
#15 0x003a1c58 in do_compile () at ../../gcc/toplev.c:2103
#16 0x003a1cf4 in toplev_main (argc=4, argv=0xbffffd64) at
../../gcc/toplev.c:2135
#17 0x0007ebf8 in main (argc=4, argv=0xbffffd64) at ../../gcc/main.c:35


The insn which we are getting an ICE for:
(insn/f 33 37 34 t.c:3 (set (reg/f:SI 14 %sp)
        (plus:SI (reg/f:SI 14 %sp)
            (reg:SI 1 %g1))) 127 {addsi3} (insn_list:REG_DEP_TRUE 32 (nil))
    (expr_list:REG_DEAD (reg:SI 1 %g1)
        (expr_list:REG_FRAME_RELATED_EXPR (nil)
            (nil))))

We are looking at REG_FRAME_RELATED_EXPR but its expression is null.
The regnote is created around sparc.c:4603 (this is from the 4.0 branch.

Oh, the reason why smaller stacks fail is because the regnote is only created
for stack size greater than 8192.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|sparc-linux                 |
 GCC target triplet|                            |sparc-*
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-09 14:02:43
               date|                            |
            Summary|[4.0 4.1 regression] ICE    |[4.0/4.1 regression] ICE
                   |(Segmentation fault)        |(Segmentation fault)
   Target Milestone|---                         |4.0.3


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2005-10-09 17:18 -------
Fixing.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-10-09 14:02:43         |2005-10-09 17:18:12
               date|                            |


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #3 from ebotcazou at gcc dot gnu dot org  2005-10-10 17:03 -------
Failure on HEAD with RTL checking:

pr24284.c: In function 'do_run':
pr24284.c:8: internal compiler error: RTL check: access of elt 5 of 'set' with
last elt 1 in sparc_expand_prologue, at config/sparc/sparc.c:3922
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2005-10-10 17:06 -------
(In reply to comment #3)
> Failure on HEAD with RTL checking:

Same lines as I saw on the 4.0 branch.


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2005-10-10 17:35 -------
> > Failure on HEAD with RTL checking:
> 
> Same lines as I saw on the 4.0 branch.

Yes, there is a bogus PATTERN (), left-over from a previous version of the
patch.
I'm quite stunned that my RTL-checking-enabled builds didn't catch this. :-(


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[cvs-commit at gcc dot gnu dot org]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-10 22:24 -------
Subject: Bug 24284

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     ebotcazou@gcc.gnu.org   2005-10-10 22:24:49

Modified files:
        gcc            : ChangeLog 
        gcc/config/sparc: sparc.c 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/gcc.dg: sparc-frame-1.c 

Log message:
        PR target/24284
        * config/sparc/sparc.c (sparc_expand_prologue): Remove bogus PATTERN.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10132&r2=2.10133
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.c.diff?cvsroot=gcc&r1=1.381&r2=1.382
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6158&r2=1.6159
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/sparc-frame-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[cvs-commit at gcc dot gnu dot org]

------- Comment #7 from cvs-commit at gcc dot gnu dot org  2005-10-10 22:28 -------
Subject: Bug 24284

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     ebotcazou@gcc.gnu.org   2005-10-10 22:28:16

Modified files:
        gcc            : ChangeLog 
        gcc/config/sparc: sparc.c 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/gcc.dg: sparc-frame-1.c 

Log message:
        PR target/24284
        * config/sparc/sparc.c (sparc_expand_prologue): Remove bogus PATTERN.

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.455&r2=2.7592.2.456
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.354.8.6&r2=1.354.8.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.438&r2=1.5084.2.439
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/sparc-frame-1.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2005-10-10 22:30 -------
See http://gcc.gnu.org/ml/gcc-patches/2005-10/msg00554.html


-- 

ebotcazou at gcc dot gnu dot org changed:

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


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #9 from ebotcazou at gcc dot gnu dot org  2005-10-11 21:22 -------
The patch has fixed the 32-bit mode but broken the 64-bit mode. :-(


-- 

ebotcazou at gcc dot gnu dot org changed:

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


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[cvs-commit at gcc dot gnu dot org]

------- Comment #10 from cvs-commit at gcc dot gnu dot org  2005-10-12 22:12 -------
Subject: Bug 24284

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     ebotcazou@gcc.gnu.org   2005-10-12 22:12:39

Modified files:
        gcc            : ChangeLog 
        gcc/config/sparc: sparc.c 

Log message:
        PR target/24284
        * config/sparc/sparc.c (gen_stack_pointer_inc): Build by hand.
        (gen_stack_pointer_dec): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10150&r2=2.10151
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.c.diff?cvsroot=gcc&r1=1.382&r2=1.383


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[cvs-commit at gcc dot gnu dot org]

------- Comment #11 from cvs-commit at gcc dot gnu dot org  2005-10-12 22:14 -------
Subject: Bug 24284

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     ebotcazou@gcc.gnu.org   2005-10-12 22:14:33

Modified files:
        gcc            : ChangeLog 
        gcc/config/sparc: sparc.c 

Log message:
        PR target/24284
        * config/sparc/sparc.c (gen_stack_pointer_inc): Build by hand.
        (gen_stack_pointer_dec): Likewise.

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.462&r2=2.7592.2.463
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.354.8.7&r2=1.354.8.8


-- 


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

[Bug target/24284] [4.0/4.1 regression] ICE (Segmentation fault)

[ebotcazou at gcc dot gnu dot org]

------- Comment #12 from ebotcazou at gcc dot gnu dot org  2005-10-12 22:16 -------
See http://gcc.gnu.org/ml/gcc-patches/2005-10/msg00723.html


-- 

ebotcazou at gcc dot gnu dot org changed:

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


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