[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/35428] New: [4.3/4.4 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

The following valid code snippet triggers an ICE on mainline and 4.3 branch
when compiled with "-ftrapv -O3":

================================
void foo(int x[])
{
  int i, j;

  for (i = 0; i < 2; i++)
    for (j = 0; j < 2; j++)
    {
      x[i] = x[i*j];
      x[i] = x[i*j];
    }
}
================================

bug.c: In function 'foo':
bug.c:2: internal compiler error: tree check: expected integer_cst, have
polynomial_chrec in int_cst_value, at tree.c:7968
Please submit a full bug report, [etc.]


-- 
           Summary: [4.3/4.4 regression] ICE with "-ftrapv"
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, monitored
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

Re: [Bug tree-optimization/35428] New: [4.3/4.4 regression] ICE with "-ftrapv"

[Andrew Pinski]

This is caused by the vectorizer.

Sent from my iPhone

On Mar 3, 2008, at 11:50, "reichelt at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org 
 > wrote:

> The following valid code snippet triggers an ICE on mainline and 4.3  
> branch
> when compiled with "-ftrapv -O3"

-- Pinski

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[pinskia at gmail dot com]

------- Comment #1 from pinskia at gmail dot com  2008-03-03 20:14 -------
Subject: Re:   New: [4.3/4.4 regression] ICE with "-ftrapv"

This is caused by the vectorizer.

Sent from my iPhone

On Mar 3, 2008, at 11:50, "reichelt at gcc dot gnu dot org"
<gcc-bugzilla@gcc.gnu.org 
 > wrote:

> The following valid code snippet triggers an ICE on mainline and 4.3  
> branch
> when compiled with "-ftrapv -O3"

-- Pinski


-- 


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2008-03-03 20:29 -------
> This is caused by the vectorizer.

Indeed. The ICE appears also with "-ftrapv -O -ftree-vectorize".
(This still compiles fine on the 4.2 branch.)


-- 


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[irar at il dot ibm dot com]

------- Comment #3 from irar at il dot ibm dot com  2008-03-04 13:30 -------
It fails in initialize_matrix_A() when called with chrec {0, +, {0, +, 4}_1}_2:
int_cst_value (CHREC_RIGHT (chrec)) ICEs, since CHREC_RIGHT (chrec) here is {0,
+, 4}_1.

Ira


-- 

irar at il dot ibm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sebpop at gmail dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-04 13:30:42
               date|                            |


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[irar at il dot ibm dot com]

------- Comment #4 from irar at il dot ibm dot com  2008-03-04 15:44 -------
Isn't the same problem as in pr34635?

Ira


-- 


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-03-14 17:15 -------
As I can no longer reproduce this I assume so.

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


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.0                       |4.3.1


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

[Bug tree-optimization/35428] [4.3/4.4 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2008-03-14 20:45 -------
No, it's not a duplicate.
The bug is still present on mainline and 4.3 branch from 2008-03-12
(at least on i686-pc-linux-gnu).


-- 

reichelt at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2008-05-31 00:51 -------
The bug disappeared on mainline between 2008-04-25 and 2008-05-03.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.3/4.4 regression] ICE    |[4.3 regression] ICE with "-
                   |with "-ftrapv"              |ftrapv"


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-06-06 14:59 -------
4.3.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.1                       |4.3.2


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[aldyh at gcc dot gnu dot org]

------- Comment #9 from aldyh at gcc dot gnu dot org  2008-08-06 10:18 -------
I can no longer reproduce this on either the 4.3 branch or mainline.  Volker,
can you check on your end?

If there is no update, I will close at the end of the week.


-- 

aldyh at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aldyh at gcc dot gnu dot org
                   |dot org                     |
             Status|REOPENED                    |ASSIGNED


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #10 from reichelt at gcc dot gnu dot org  2008-08-12 06:45 -------
The bug is still present on the 4.3 branch as of 2008-08-11 (with both the C
and C++ frontend).


-- 


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[aldyh at gcc dot gnu dot org]

------- Comment #11 from aldyh at gcc dot gnu dot org  2008-08-12 14:21 -------
Still can't reproduce.  What target are you compiling for?

Verify my steps below, and see if there's any discrepancy in what you are
doing.

anquetil:/build/43/gcc$ ./cc1 --version
GNU C (GCC) version 4.3.2 20080812 (prerelease) [gcc-4_3-branch revision
139018] (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.1.2 20070925 (Red Hat 4.1.2-33), GMP
version 4.2.2, MPFR version 2.3.0-p2.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
anquetil:/build/43/gcc$ ./cc1 a.c -O3 -ftrapv -quiet
anquetil:/build/43/gcc$ ./cc1plus a.c -O3 -ftrapv -quiet
anquetil:/build/43/gcc$ ./cc1 a.c -ftrapv -O -ftree-vectorize -quiet
anquetil:/build/43/gcc$ ./cc1plus a.c -ftrapv -O -ftree-vectorize -quiet
anquetil:/build/43/gcc$ uname -a
Linux anquetil.quesejoda.com 2.6.24.7-92.fc8 #1 SMP Wed May 7 16:26:02 EDT 2008
x86_64 x86_64 x86_64 GNU/Linux
anquetil:/build/43/gcc$ cat a.c
void foo(int x[])
{
  int i, j;

  for (i = 0; i < 2; i++)
    for (j = 0; j < 2; j++)
    {
      x[i] = x[i*j];
      x[i] = x[i*j];
    }
}


-- 

aldyh at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #12 from reichelt at gcc dot gnu dot org  2008-08-12 14:37 -------
I'm using i686-pc-linux-gnu.
On x86_64-unknown-linux-gnu you probably need to add "-m32" to the flags.


-- 


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[aldyh at gcc dot gnu dot org]

------- Comment #13 from aldyh at gcc dot gnu dot org  2008-08-12 15:02 -------
Nope, still can't reproduce with i686-pc-linux-gnu, or with x86-64-linux using
-m32.  FWIW, Jakub can't reproduce it either.

Can anyone beside Volker reproduce this?  If nobody else can't, I'm inclined to
say it's a problem on Volker's setup, and close the PR.


-- 


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
   Last reconfirmed|2008-08-12 15:16:37         |2008-08-12 15:16:54
               date|                            |


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2008-08-12 15:16 -------
Fails for me on a x86_64 -> i586-linux cross

./cc1 -quiet -O3 -ftrapv /tmp/t.c
/tmp/t.c: In function 'foo':
/tmp/t.c:2: internal compiler error: tree check: expected integer_cst, have
polynomial_chrec in int_cst_value, at tree.c:8078
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

you probably need to configure with --enable-checking.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2008-03-04 13:30:42         |2008-08-12 15:16:37
               date|                            |


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[reichelt at gcc dot gnu dot org]

------- Comment #15 from reichelt at gcc dot gnu dot org  2008-08-13 07:34 -------
As I alredy guessed in comment #12, the testcase really fails on native
x86_64-unknown-linux-gnu with "-m32 -O3 -ftrapv".

As this is a "tree check" ICE you really need to configure the compiler
with --enable-checking to see it.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[jsm28 at gcc dot gnu dot org]

------- Comment #16 from jsm28 at gcc dot gnu dot org  2008-08-27 22:03 -------
4.3.2 is released, changing milestones to 4.3.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.2                       |4.3.3


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #17 from rguenth at gcc dot gnu dot org  2009-01-24 10:20 -------
GCC 4.3.3 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.3                       |4.3.4


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #18 from rguenth at gcc dot gnu dot org  2009-08-04 12:28 -------
GCC 4.3.4 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.4                       |4.3.5


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

[Bug tree-optimization/35428] [4.3 regression] ICE with "-ftrapv"

[rguenth at gcc dot gnu dot org]

------- Comment #19 from rguenth at gcc dot gnu dot org  2010-04-20 13:40 -------
WONTFIX on the 4.3 branch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|                            |4.3.4
         Resolution|                            |FIXED
   Target Milestone|4.3.5                       |4.4.0


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