r239729 - in /branches/gcc-6-branch/gcc: Change...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Wed Aug 24 07:39:42 2016
New Revision: 239729

URL: https://gcc.gnu.org/viewcvs?rev=239729&root=gcc&view=rev
Log:
2016-08-24  Richard Biener  <rguenther@suse.de>

	Backport from mainline
	2016-08-17  Richard Biener  <rguenther@suse.de>

	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