2012-09-14 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Sep 2012 11:39:18 +0000 (11:39 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Sep 2012 11:39:18 +0000 (11:39 +0000)
commitd6f10e5035fbe50dc093824ea83fce10dab60649
tree6fd00479962b123f3a8374ee9d88447add3a7f1d
parentab54bbbd223d4619362c693143c1b63fe71908e9
2012-09-14  Richard Guenther  <rguenther@suse.de>

* tree-vrp.c (register_new_assert_for): Simplify for backward
walk.
(find_assert_locations_1): Walk the basic-block backwards,
properly add/prune from live.  Use live for asserts derived
from stmts.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191293 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c