[Bug tree-optimization/22483] New: ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[Bug tree-optimization/22483] New: ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[sylvain dot pion at sophia dot inria dot fr]

Compiling the attached file with "g++ -O2" produces :

MP_Float.C: In function 'std::pair<double, double> CGAL::to_interval(const
CGAL::Quotient<CGAL::MP_Float>&)':
MP_Float.C:425: internal compiler error: tree check: expected ssa_name, have
var_decl in is_old_name, at tree-into-ssa.c:466
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE : tree check: expected ssa_name, have var_decl in
                    is_old_name, at tree-into-ssa.c:466
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sylvain dot pion at sophia dot inria dot fr
                CC: gcc-bugs at gcc dot gnu dot org,sylvain dot pion at
                    sophia dot inria dot fr
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/22483] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[sylvain dot pion at sophia dot inria dot fr]

------- Additional Comments From sylvain dot pion at sophia dot inria dot fr  2005-07-14 12:28 -------
Created an attachment (id=9269)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9269&action=view)
gzipped preprocessed c++ file


-- 


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
           Keywords|                            |ice-on-valid-code
            Summary|ICE : tree check: expected  |[4.1 Regression] ICE : tree
                   |ssa_name, have var_decl in  |check: expected ssa_name,
                   |is_old_name, at tree-into-  |have var_decl in
                   |ssa.c:466                   |is_old_name, at tree-into-
                   |                            |ssa.c:466
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-14 16:45 -------
Probably related to PR22416.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22416


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-15 20:39 -------
Here is the backtrace:
#0  internal_error (gmsgid=0xb7eb64 "tree check: %s, have %s in %s, at %s:%d") at ../../gcc/
diagnostic.c:534
#1  0x008f46c0 in tree_check_failed (node=0x4bf6d20, file=0xb54ecc "../../gcc/tree-into-ssa.c", 
line=466, function=0xbc3e38 "is_old_name") at ../../gcc/tree.c:5778
#2  0x0031548c in is_old_name (name=0x4bf6d20) at ../../gcc/tree-into-ssa.c:466
#3  0x00315b38 in maybe_replace_use (use_p=0x4b77bd8) at ../../gcc/tree-into-ssa.c:1383
#4  0x0031592c in rewrite_update_stmt (walk_data=0xbffff3e8, bb=0x474e3f0, si={tsi = {ptr = 
0x2ecc400, container = 0x433ee40}, bb = 0x474e3f0}) at ../../gcc/tree-into-ssa.c:1471
#5  0x0035e01c in walk_dominator_tree (walk_data=0xbffff3e8, bb=0x474e3f0) at ../../gcc/
domwalk.c:196
#6  0x0035e0dc in walk_dominator_tree (walk_data=0xbffff3e8, bb=0x474e230) at ../../gcc/
domwalk.c:212
#7  0x00316274 in rewrite_blocks (entry=0x474e230, what=REWRITE_UPDATE, blocks=0x2b06bc0) at 
../../gcc/tree-into-ssa.c:1617
#8  0x0031a6e4 in update_ssa (update_flags=128) at ../../gcc/tree-into-ssa.c:2799


We have a SFT at this point.  For some reason symbol_marked_for_renaming (sym) is returning 0 which 
is wrong.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-07-15 20:53 -------
Subject: Re:  [4.1 Regression] ICE : tree
	check: expected ssa_name, have var_decl in is_old_name, at
	tree-into-ssa.c:466

On Fri, 2005-07-15 at 20:39 +0000, pinskia at gcc dot gnu dot org wrote:
> ------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-15 20:39 -------
> Here is the backtrace:
> #0  internal_error (gmsgid=0xb7eb64 "tree check: %s, have %s in %s, at %s:%d") at ../../gcc/
> diagnostic.c:534
> #1  0x008f46c0 in tree_check_failed (node=0x4bf6d20, file=0xb54ecc "../../gcc/tree-into-ssa.c", 
> line=466, function=0xbc3e38 "is_old_name") at ../../gcc/tree.c:5778
> #2  0x0031548c in is_old_name (name=0x4bf6d20) at ../../gcc/tree-into-ssa.c:466
> #3  0x00315b38 in maybe_replace_use (use_p=0x4b77bd8) at ../../gcc/tree-into-ssa.c:1383
> #4  0x0031592c in rewrite_update_stmt (walk_data=0xbffff3e8, bb=0x474e3f0, si={tsi = {ptr = 
> 0x2ecc400, container = 0x433ee40}, bb = 0x474e3f0}) at ../../gcc/tree-into-ssa.c:1471
> #5  0x0035e01c in walk_dominator_tree (walk_data=0xbffff3e8, bb=0x474e3f0) at ../../gcc/
> domwalk.c:196
> #6  0x0035e0dc in walk_dominator_tree (walk_data=0xbffff3e8, bb=0x474e230) at ../../gcc/
> domwalk.c:212
> #7  0x00316274 in rewrite_blocks (entry=0x474e230, what=REWRITE_UPDATE, blocks=0x2b06bc0) at 
> ../../gcc/tree-into-ssa.c:1617
> #8  0x0031a6e4 in update_ssa (update_flags=128) at ../../gcc/tree-into-ssa.c:2799
> 
> 
> We have a SFT at this point.  For some reason symbol_marked_for_renaming (sym) is returning 0 which 
> is wrong.
> 
> 

I suspect this is a hashtable traversal issue.
We'll see.




-- 


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-16 18:26 -------
Created an attachment (id=9289)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9289&action=view)
Shorter testcase

Less than 6kloc testcase.  Reduced with delta.

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


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-07-17 00:56 -------
Subject: Bug 22483

Please let me know if the attached fixes it

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-07-17 00:56 -------
Created an attachment (id=9292)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9292&action=view)


-- 


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[sylvain dot pion at sophia dot inria dot fr]

------- Additional Comments From sylvain dot pion at sophia dot inria dot fr  2005-07-17 09:51 -------
> Please let me know if the attached fixes it

Yes, it fixes my original report as well as the shorter testcase.

-- 


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22444


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-19 03:36 -------
Subject: Bug 22483

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dberlin@gcc.gnu.org	2005-07-19 03:36:25

Modified files:
	gcc            : tree-ssa-alias.c tree-flow.h tree-flow-inline.h 
	                 tree-complex.c ChangeLog 

Log message:
	2005-07-18  Daniel Berlin  <dberlin@dberlin.org>
	
	Fix PR tree-optimization/22483
	
	* tree-complex.c (create_components): Use
	safe_referenced_var_iterator and FOR_EACH_REFERENCED_VAR_SAFE.
	* tree-flow-inline.h (fill_referenced_var_vec): New function.
	* tree-flow.h (safe_referenced_var_iterator): New structure.
	(FOR_EACH_REFERENCED_VAR_SAFE): New macro.
	* tree-ssa-alias.c (setup_pointers_and_addressables): Use
	safe_referenced_var iterator.
	(add_type_alias): Ditto.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.104&r2=2.105
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-flow.h.diff?cvsroot=gcc&r1=2.126&r2=2.127
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-flow-inline.h.diff?cvsroot=gcc&r1=2.52&r2=2.53
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-complex.c.diff?cvsroot=gcc&r1=2.35&r2=2.36
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9471&r2=2.9472



-- 


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-19 04:16 -------
Fixed.

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


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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
Bug 22483 depends on bug 22416, which changed state.

Bug 22416 Summary: [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22416

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

Bug 22483 depends on bug 22444, which changed state.

Bug 22444 Summary: [4.1 regression] testsuite failure:23_containers/set/explicit_instantiation/2.cc ICE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22444

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

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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[hp at gcc dot gnu dot org]

-- 
Bug 22483 depends on bug 22444, which changed state.

Bug 22444 Summary: [4.1 regression] testsuite failure:23_containers/set/explicit_instantiation/2.cc ICE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22444

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |

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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[reichelt at gcc dot gnu dot org]

-- 
Bug 22483 depends on bug 22416, which changed state.

Bug 22416 Summary: [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22416

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |

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

[Bug tree-optimization/22483] [4.1 Regression] ICE : tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
Bug 22483 depends on bug 22416, which changed state.

Bug 22416 Summary: [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22416

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

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