r241774 - in /trunk/gcc: ChangeLog testsuite/Ch...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Wed Nov  2 08:11:48 2016
New Revision: 241774

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

	* tree-vrp.c (evrp_dom_walker::before_dom_children): Call
	infer_value_range on stmt ops and update value-ranges.
	Dump visited stmts and blocks.
	(evrp_dom_walker::push_value_range): Dump changes.
	(evrp_dom_walker::pop_value_range): Likewise.
	(evrp_dom_walker::try_find_new_range): Avoid noop changes.

	* gcc.dg/tree-ssa/vrp111.c: New testcase.
	* gcc.dg/tree-ssa/pr20702.c: Disable EVRP.
	* gcc.dg/tree-ssa/pr21086.c: Likewise.
	* gcc.dg/tree-ssa/pr58480.c: Likewise.
	* gcc.dg/tree-ssa/vrp08.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp111.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr20702.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr21086.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp08.c
    trunk/gcc/tree-vrp.c