[Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89

2012-10-30 Thread rguenth at gcc dot gnu.org 


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



Richard Biener  changed:



   What|Removed |Added



 Status|ASSIGNED|RESOLVED

 Resolution||FIXED



--- Comment #5 from Richard Biener  2012-10-30 
12:03:12 UTC ---

Fixed.

[Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89

2012-10-30 Thread rguenth at gcc dot gnu.org 


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



--- Comment #4 from Richard Biener  2012-10-30 
12:02:45 UTC ---

Author: rguenth

Date: Tue Oct 30 12:02:39 2012

New Revision: 192984



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192984

Log:

2012-10-30  Richard Biener  



PR tree-optimization/55111

* tree-ssa-pre.c (eliminate_insert): Properly fold the built

stmt.



* gcc.dg/torture/pr55111.c: New testcase.



Added:

trunk/gcc/testsuite/gcc.dg/torture/pr55111.c

Modified:

trunk/gcc/ChangeLog

trunk/gcc/testsuite/ChangeLog

trunk/gcc/tree-ssa-pre.c

[Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89

2012-10-30 Thread rguenth at gcc dot gnu.org 


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



--- Comment #3 from Richard Biener  2012-10-30 
10:27:51 UTC ---

We have an unfolded stmt:



(gdb) call debug_gimple_stmt (def_stmt)

pretmp_36 = (long int) 18446744073709551615;



I have a patch.

[Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89

2012-10-29 Thread rguenth at gcc dot gnu.org 


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



Richard Biener  changed:



   What|Removed |Added



 Status|NEW |ASSIGNED

 AssignedTo|unassigned at gcc dot   |rguenth at gcc dot gnu.org

   |gnu.org |

   Target Milestone|--- |4.8.0

Summary|ICE: tree check: expected   |[4.8 Regression] ICE: tree

   |ssa_name, have integer_cst  |check: expected ssa_name,

   |in live_on_edge, at |have integer_cst in

   |tree-vrp.c:89   |live_on_edge, at

   ||tree-vrp.c:89



--- Comment #2 from Richard Biener  2012-10-29 
14:46:08 UTC ---

Mine then, even if patch and backtrace look unrelated.