[Bug c/17607] New: Segfault on a gimmicky case label with -Os

[Bug c/17607] New: Segfault on a gimmicky case label with -Os

[loki at inf dot u-szeged dot hu]

On the following c code I have a hard segmentation fault.
The error only occurs with -Os. Other -O works fine.
First known fail: 2004-09-14 12:00:00 UTC.

C code:

int c, d, e;

void bar ();
int
foo () {
  int a, b = 7;
  switch (c) {
    case 30:
      while (1) {
          b = 10;
          break;
        }
    case 31:
      for (a = 0; a < b; a++) {
    case 33:
          c = 33;
        }
      for (a = 0; a < b; a++) {
          bar ();
        }
    }
  return 0;
}

Command line:
gcc -c -Os -o pr.o pr.i

Output:
gcc: Internal error: Segmentation fault (program cc1)
Please submit a full bug report.

-- 
           Summary: Segfault on a gimmicky case label with -Os
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P1
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: loki at inf dot u-szeged dot hu
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: arm-elf arm-linux i386-elf i686-linux m68k-elf mips-elf
                    ppc-elf


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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-22 12:13 -------
-O -fno-tree-ch can be used to produce the failure.

Most likely a dup of bug 17552.
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
  BugsThisDependsOn|                            |17552
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
     Ever Confirmed|                            |1
   GCC host triplet|arm-elf arm-linux i386-elf  |
                   |i686-linux m68k-elf mips-elf|
                   |ppc-elf                     |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-22 12:13:24
               date|                            |
            Summary|Segfault on a gimmicky case |[4.0 Regression] Segfault on
                   |label with -Os              |a gimmicky case label with -
                   |                            |Os
   Target Milestone|---                         |4.0.0


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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-27 21:31 -------
This is not fixed with the patch for 17520 either.

-- 


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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[loki at inf dot u-szeged dot hu]

------- Additional Comments From loki at inf dot u-szeged dot hu  2004-10-01 10:26 -------
(In reply to comment #2)
> This is not fixed with the patch for 17520 either.

I think something is not right in the "number_of_iterations_exit" function
(tree-ssa-loop-niter.c).
The bug was appeared after the following patch (2004-09-14):
http://sources.redhat.com/cgi-bin/cvsweb.cgi/gcc/gcc/predict.c.diff?r1=1.116&r2=1.117&cvsroot=gcc



-- 


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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-07 21:31 -------
Can be reduced a little further to PR 17560, see PR 17883 for another way to reduce decompress.c 
which I did and then Volker was able to reduce it to the same as PR 17560.

*** This bug has been marked as a duplicate of 17560 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[reichelt at gcc dot gnu dot org]

-- 
Bug 17607 depends on bug 17552, which changed state.

Bug 17552 Summary: [4.0 Regression] Infinite recursion in analyze_scalar_evolution
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17552

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE

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

[Bug tree-optimization/17607] [4.0 Regression] Segfault on a gimmicky case label with -Os

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-10-17 19:19 -------
Indeed fixed by the patch that fixes PR 17560.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|17552                       |


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