[Bug tree-optimization/24793] New: ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[Bug tree-optimization/24793] New: ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rguenth at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 946 bytes --]

The tree check after IVOPTs is reporting

/opt/gcc/4.1-devel/bin/gfortran -S -o /dev/null -O1 -m32 grd2c.fppized.min.f
grd2c.fppized.min.f: In function ‘jkbcdf’:
grd2c.fppized.min.f:34: internal compiler error: tree check: expected ssa_name,
have var_decl in verify_ssa, at tree-ssa.c:746
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE: expected ssa_name, have var_decl in verify_ssa, at
                    tree-ssa.c:746
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
GCC target triplet: x86_64-*-linux-gnu


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

[Bug tree-optimization/24793] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2005-11-11 12:15 -------
Created an attachment (id=10213)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10213&action=view)
reduced testcase

Testcase is from SPEC 2006 416.gamess


-- 


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
      Known to fail|                            |4.1.0
      Known to work|                            |4.0.0
            Summary|ICE: expected ssa_name, have|[4.1 Regression] ICE:
                   |var_decl in verify_ssa, at  |expected ssa_name, have
                   |tree-ssa.c:746              |var_decl in verify_ssa, at
                   |                            |tree-ssa.c:746


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-11-11 16:51 -------
This is a fortran front-end bug.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |fortran
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-11 16:51:48
               date|                            |


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-11-11 16:58 -------
This is related to PR 23202.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23202


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5
   Target Milestone|---                         |4.1.0


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[janis at gcc dot gnu dot org]

------- Comment #4 from janis at gcc dot gnu dot org  2005-11-11 20:47 -------
The failure begins with the first part of the structure aliasing changes:

r96362 | dberlin | 2005-03-13 00:46:07 +0000 (Sun, 13 Mar 2005) | 68 lines

http://gcc.gnu.org/viewcvs?view=rev&rev=96362

The testcase for PR23202 begins failing with the same patch.


-- 


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rakdver at gcc dot gnu dot org]

------- Comment #5 from rakdver at gcc dot gnu dot org  2005-11-16 12:13 -------
A patch is here (only the ivopts and get_tmr_operands parts).  I am retesting
it now.
http://gcc.gnu.org/ml/gcc-patches/2005-08/msg01608.html


-- 


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

[Bug fortran/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rakdver at gcc dot gnu dot org]

------- Comment #6 from rakdver at gcc dot gnu dot org  2005-11-17 12:33 -------
Patch:

http://gcc.gnu.org/ml/gcc-patches/2005-11/msg01283.html


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |11/msg01283.html
           Keywords|                            |patch


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2005-11-17 15:16 -------
Not a frontend bug.  P3.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|fortran                     |tree-optimization
           Priority|P5                          |P3


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[mmitchel at gcc dot gnu dot org]

------- Comment #8 from mmitchel at gcc dot gnu dot org  2005-11-19 02:09 -------
Showstopper.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/24793] [4.1/4.2 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[pault at gcc dot gnu dot org]

------- Comment #9 from pault at gcc dot gnu dot org  2005-12-07 06:06 -------
(In reply to comment #8)
> Showstopper.
> 
What is the status on this one?

Paul T


-- 


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

[Bug tree-optimization/24793] [4.1/4.2 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rakdver at gcc dot gnu dot org]

------- Comment #10 from rakdver at gcc dot gnu dot org  2005-12-19 20:10 -------
Subject: Bug 24793

Author: rakdver
Date: Mon Dec 19 20:10:11 2005
New Revision: 108808

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=108808
Log:
        PR tree-optimization/24793
        * tree-ssa-loop-ivopts.c (get_ref_tag): Remember the
        original reference if there are subvars.
        * tree-ssa-operands.c (get_tmr_operands): Handle subvars.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-loop-ivopts.c
    trunk/gcc/tree-ssa-operands.c


-- 


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[steven at gcc dot gnu dot org]

------- Comment #11 from steven at gcc dot gnu dot org  2005-12-19 23:18 -------
Should be fixed on the trunk.


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 Regression] ICE:   |[4.1 Regression] ICE:
                   |expected ssa_name, have     |expected ssa_name, have
                   |var_decl in verify_ssa, at  |var_decl in verify_ssa, at
                   |tree-ssa.c:746              |tree-ssa.c:746


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2005-12-20 20:54 -------
Zdenek, please apply to 4.1, too.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rakdver at gcc dot gnu dot org]

------- Comment #13 from rakdver at gcc dot gnu dot org  2005-12-21 15:49 -------
Subject: Bug 24793

Author: rakdver
Date: Wed Dec 21 15:49:19 2005
New Revision: 108910

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=108910
Log:
        PR tree-optimization/24793
        * tree-ssa-loop-ivopts.c (get_ref_tag): Remember the
        original reference if there are subvars.
        * tree-ssa-operands.c (get_tmr_operands): Handle subvars.


Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-ssa-loop-ivopts.c
    branches/gcc-4_1-branch/gcc/tree-ssa-operands.c


-- 


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[jakub at gcc dot gnu dot org]

------- Comment #14 from jakub at gcc dot gnu dot org  2005-12-21 16:45 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/24793] [4.1 Regression] ICE: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746

[rguenth at gcc dot gnu dot org]

------- Comment #15 from rguenth at gcc dot gnu dot org  2006-01-02 13:53 -------
*** Bug 23202 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dir at lanl dot gov
Bug 24793 depends on bug 23202, which changed state.

Bug 23202 Summary: [4.1/4.2 Regression] internal compiler error: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:746
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23202

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

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