[Bug fortran/32160] New: ice for legal fortran code with -O3

[Bug fortran/32160] New: ice for legal fortran code with -O3

[dcb314 at hotmail dot com]

I just tried to compile Fortran package LAPACK with the
GNU Fortran compiler version 4.3 snapshot 20070525

The compiler said

/home/dcb/gcc/20070525/results/bin/gfortran -g -O3 -Wall -c clanht.f -o
clanht.o
clanht.f: In function 'clanht':
clanht.f:1: error: found a virtual definition for a GIMPLE register
PHI argument
D.1410_62
for PHI node
e__I_lsm0.52_95 = PHI <D.1410_62(21), e__I_lsm0.52_94(25)>
clanht.f:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Source code attached. Flag -O3 required.


-- 
           Summary: ice for legal fortran code with -O3
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_sue-linux


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

[Bug fortran/32160] ice for legal fortran code with -O3

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2007-05-30 17:03 -------
Created an attachment (id=13636)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13636&action=view)
fortran source code


-- 


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

[Bug fortran/32160] [Regression 4.3] ICE with -O3 in verify_ssa

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2007-05-30 18:02 -------
Fails with: 2007-05-25-r125057
Works with: 2007-05-24-r125013

 Zdenek, I think it is one of your patches which either caused this regression
or which revealed it. Could you have a look or suggest someone to do so?


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|x86_sue-linux               |
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.3.0
      Known to work|                            |4.2.0 4.1.3
   Last reconfirmed|0000-00-00 00:00:00         |2007-05-30 18:02:56
               date|                            |
            Summary|ice for legal fortran code  |[Regression 4.3] ICE with -
                   |with -O3                    |O3 in verify_ssa
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32160] [4.3 Regression] ICE with -O3 in verify_ssa

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-05-30 18:02:56         |2007-05-31 09:00:37
               date|                            |


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

[Bug tree-optimization/32160] [4.3 Regression] ICE with -O3 in verify_ssa

[rakdver at gcc dot gnu dot org]

------- Comment #3 from rakdver at gcc dot gnu dot org  2007-05-31 12:20 -------
Patch: http://gcc.gnu.org/ml/gcc-patches/2007-05/msg02138.html


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2007-
                   |                            |05/msg02138.html
           Keywords|                            |patch


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

[Bug tree-optimization/32160] [4.3 Regression] ICE with -O3 in verify_ssa

[rakdver at gcc dot gnu dot org]

------- Comment #4 from rakdver at gcc dot gnu dot org  2007-05-31 16:27 -------
Subject: Bug 32160

Author: rakdver
Date: Thu May 31 16:27:05 2007
New Revision: 125228

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125228
Log:
        PR tree-optimization/32160
        * tree-predcom.c (predcom_tmp_var): New function.  Mark created
        variable as gimple reg.
        (initialize_root_vars, initialize_root_vars_lm): Use predcom_tmp_var.

        * gfortran.dg/predcom-1.f: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/predcom-1.f
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-predcom.c


-- 


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

[Bug tree-optimization/32160] [4.3 Regression] ICE with -O3 in verify_ssa

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-06-07 02:34 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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