[Bug middle-end/27173] New: ICE with -O -ftrapv

[Bug middle-end/27173] New: ICE with -O -ftrapv

[bagnara at cs dot unipr dot it]

The attached program causes an ICE when compiled with both -O and -ftrapv:

$ g++ -O -ftrapv -c Linear_System.ii
g++: Internal error: Segmentation fault (program cc1plus)
Please submit a full bug report.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE with -O -ftrapv
           Product: gcc
           Version: 4.0.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bagnara at cs dot unipr dot it
  GCC host triplet: i686-pc-linux-gnu


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

[Bug middle-end/27173] ICE with -O -ftrapv

[bagnara at cs dot unipr dot it]

------- Comment #1 from bagnara at cs dot unipr dot it  2006-04-14 20:22 -------
Created an attachment (id=11274)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11274&action=view)
Testcase that allows to reproduce the problem


-- 


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

[Bug middle-end/27173] ICE with -O -ftrapv

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-04-14 21:17 -------
Reducing.


-- 


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

[Bug middle-end/27173] [4.0 regression] ICE with -O -ftrapv

[reichelt at gcc dot gnu dot org]

------- Comment #3 from reichelt at gcc dot gnu dot org  2006-04-19 20:07 -------
Confirmed.

Reduced testcase (compile with "-O -ftrapv"):

==================================
char *p, *q;

inline int foo(int i)
{
  return (p - q) + i;
}

void bar()
{
  int n, i;

  for (n = 7; n-- > 0; )
    for (i = n; i-- > 0; )
      if (i)
        p += -foo(i-1);
}
==================================

The testcase eats more than 2 GB of memory within seconds.
This happens with C and C++ frontend.

The bug only affects the 4.0 branch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |monitored
      Known to fail|                            |4.0.1 4.0.3
      Known to work|                            |3.4.6 4.1.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-19 20:07:03
               date|                            |
            Summary|ICE with -O -ftrapv         |[4.0 regression] ICE with -O
                   |                            |-ftrapv
   Target Milestone|---                         |4.0.4


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

[Bug middle-end/27173] [4.0 regression] ICE with -O -ftrapv

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2006-05-03 10:56 -------
The testcase in comment #3 only crashes on x86_64-unknown-linux-gnu,
but not on i686-pc-linux-gnu.

The testcase below crashes on both archs:

===================================
char *p, *q;

inline int foo(int i)
{
  int j = (p - q) + i;
  return -j;
}

void bar()
{
  int n, i;

  for (n = 7; n-- > 0; )
    for (i = n; i-- > 0; )
      if (i)
        p += foo(i-1);
}
===================================


-- 


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

[Bug middle-end/27173] [4.0 regression] ICE with -O -ftrapv

[gdr at gcc dot gnu dot org]

------- Comment #5 from gdr at gcc dot gnu dot org  2007-02-03 16:51 -------
Fixed in GC-4.1.0.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.0.4                       |4.1.0


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