[Bug tree-optimization/77979] [7 Regression] ICE on valid code at -Os and above on x86_64-linux-gnu: Segmentation fault

2016-10-14 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77979

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Richard Biener  ---
Fixed.

[Bug tree-optimization/77979] [7 Regression] ICE on valid code at -Os and above on x86_64-linux-gnu: Segmentation fault

2016-10-14 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77979

--- Comment #3 from Richard Biener  ---
Author: rguenth
Date: Fri Oct 14 12:58:18 2016
New Revision: 241162

URL: https://gcc.gnu.org/viewcvs?rev=241162&root=gcc&view=rev
Log:
2016-10-14  Richard Biener  

PR tree-optimization/77979
* tree-vrp.c (compare_name_with_value): Handle released SSA names
in the equivalency sets.
(compare_names): Likewise.

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

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr77979.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c

[Bug tree-optimization/77979] [7 Regression] ICE on valid code at -Os and above on x86_64-linux-gnu: Segmentation fault

2016-10-14 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77979

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org

--- Comment #2 from Richard Biener  ---
Mine.  Equivalences might be no longer valid after subtitute_and_fold as that
now releases SSA names (valid as in, contains released SSA names).  Now I
believe that jump-threading in VRP should go away but I'll fix this anyway.

[Bug tree-optimization/77979] [7 Regression] ICE on valid code at -Os and above on x86_64-linux-gnu: Segmentation fault

2016-10-14 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77979

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
  Known to work||6.2.0
   Keywords||ice-on-invalid-code
   Last reconfirmed||2016-10-14
 CC||marxin at gcc dot gnu.org,
   ||rguenth at gcc dot gnu.org
 Ever confirmed|0   |1
Summary|ICE on valid code at -Os|[7 Regression] ICE on valid
   |and above on|code at -Os and above on
   |x86_64-linux-gnu:   |x86_64-linux-gnu:
   |Segmentation fault  |Segmentation fault
   Target Milestone|--- |7.0
  Known to fail||7.0

--- Comment #1 from Martin Liška  ---
Nice snippet! Started with with r241021.