[Bug tree-optimization/76490] [5 Regression] when use -O2 -fcheck-founds compiler appears to hang and consumes all memory

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76490

Jakub Jelinek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 CC||jakub at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|5.5 |6.3

--- Comment #9 from Jakub Jelinek  ---
GCC 5 branch has been closed, should be fixed in GCC 6.3 and later.

[Bug tree-optimization/76490] [5 Regression] when use -O2 -fcheck-founds compiler appears to hang and consumes all memory

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76490

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/76490] [5 Regression] when use -O2 -fcheck-founds compiler appears to hang and consumes all memory

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76490

--- Comment #8 from Richard Biener  ---
Author: rguenth
Date: Wed Aug 24 07:39:42 2016
New Revision: 239729

URL: https://gcc.gnu.org/viewcvs?rev=239729=gcc=rev
Log:
2016-08-24  Richard Biener  

Backport from mainline
2016-08-17  Richard Biener  

PR tree-optimization/76490
* tree-vrp.c (update_value_range): Preserve overflow infinities
when intersecting with ranges from get_range_info.
(operand_less_p): Handle overflow infinities correctly.
(value_range_constant_singleton): Use vrp_operand_equal_p
to handle overflow max/min correctly.
(vrp_valueize): Likewise.
(union_ranges): Likewise.
(intersect_ranges): Likewise.
(vrp_visit_phi_node): Improve iteration limitation to only
apply when we'll possibly re-visit the PHI via a changed argument
on the backedge.

* gfortran.fortran-torture/compile/pr76490.f90: New testcase.
* gcc.dg/pr52904.c: XFAIL.

Added:
   
branches/gcc-6-branch/gcc/testsuite/gfortran.fortran-torture/compile/pr76490.f90
Modified:
branches/gcc-6-branch/gcc/ChangeLog
branches/gcc-6-branch/gcc/testsuite/ChangeLog
branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr52904.c
branches/gcc-6-branch/gcc/tree-vrp.c