[Bug lto/41654] New: ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[Bug lto/41654] New: ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[toon at moene dot org]

The attached routine (scanbufr.f) draws the following ICE when compiled with -c
-O3 -flto:

scanbufr.f90: In function 'scanbufr_':
scanbufr.f90:3:0: internal compiler error: in gimple_cond_get_ops_from_tree, at
gimple.c:417
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Compiling with -O1 instead of -O3 completes normally.


-- 
           Summary: ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: toon at moene dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug lto/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[toon at moene dot org]

------- Comment #1 from toon at moene dot org  2009-10-10 09:26 -------
Created an attachment (id=18770)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18770&action=view)
Source code that elicits the error.

Added source code that evokes error.

It is a .f90 source, not .f


-- 


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

[Bug lto/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[toon at moene dot org]

------- Comment #2 from toon at moene dot org  2009-10-10 09:50 -------
(From update of attachment 18770)
Wrong (incomplete) source.


-- 

toon at moene dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #18770|0                           |1
        is obsolete|                            |


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

[Bug lto/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[toon at moene dot org]

------- Comment #3 from toon at moene dot org  2009-10-10 09:52 -------
Created an attachment (id=18771)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18771&action=view)
Source code that elicits the error.

This is the complete source evoking the error.


-- 


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

[Bug lto/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-10-10 10:07 -------
Confirmed.  Mine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-10 10:07:42
               date|                            |


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

[Bug tree-optimization/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-10-10 10:25 -------
Reduced testcase, fails at -O2:

SUBROUTINE SCANBUFR (LBUFRIGNOREERROR, LBOPRPRO, LLSPLIT) 
LOGICAL :: LBUFRIGNOREERROR, LBOPRPRO, LLSPLIT
INTEGER :: IBOTYP, IBSTYP
IF ((IBOTYP.eq.0).AND.(IBSTYP.eq.1)) GO TO 251
IF ((IBOTYP.eq.0).AND.(IBSTYP.eq.3)) GO TO 251
IF(LBUFRIGNOREERROR) THEN
 goto 360
ENDIF
251  CONTINUE
IF(LBOPRPRO.AND.LLSPLIT) THEN
  CALL OBSCREEN
ENDIF
360 CONTINUE
END SUBROUTINE SCANBUFR


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|lto                         |tree-optimization
 GCC target triplet|x86_64-unknown-linux-gnu    |x86_64-unknown-linux-gnu,
                   |                            |i?86-*-*
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-10-10 14:53 -------
Subject: Bug 41654

Author: rguenth
Date: Sat Oct 10 14:53:27 2009
New Revision: 152620

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152620
Log:
2009-10-10  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41654
        * tree-ssa-ifcombine.c (ifcombine_ifandif): Properly canonicalize
        a cond expr before calling gimple_cond_set_condition_from_tree.
        (ifcombine_iforif): Likewise.

        * gfortran.fortran-torture/compile/pr41654.f90: New testcase.

Added:
    trunk/gcc/testsuite/gfortran.fortran-torture/compile/pr41654.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ifcombine.c


-- 


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

[Bug tree-optimization/41654] ICE: in gimple_cond_get_ops_from_tree, at gimple.c:417

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2009-10-10 14:54 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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