projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dc2f5f) | patch
2016-10-12 Richard Biener <rguenther@suse.de>
authorRichard Biener <rguenther@suse.de>
Wed, 12 Oct 2016 07:10:07 +0000 (07:10 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 12 Oct 2016 07:10:07 +0000 (07:10 +0000)
commit8a7c91cd629edc20ddefe13bc8d0872a18a9ad9a
tree3d395f1318b558b7474c2796923f9da4f2bd0a23tree
parent7dc2f5f1236a0f1544c756c46a5cd06491e96934commit | diff
2016-10-12  Richard Biener  <rguenther@suse.de>

* tree-ssa-propagate.c
(substitute_and_fold_dom_walker::before_dom_children): Do not
ignore ASSERT_EXPRs but only preserve them.
* tree-vrp.c (remove_range_assertions): Deal with ASSERT_EXPRs
that have been propagated into.
(vrp_finalize): Enable DCE for substitute_and_fold.

* gcc.dg/tree-ssa/vrp35.c: Adjust.
* gcc.dg/tree-ssa/vrp36.c: Likewise.
* gcc.dg/tree-ssa/vrp46.c: Likewise.

From-SVN: r241021
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp35.c diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp36.c diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp46.c diff | blob | history
gcc/tree-ssa-propagate.c diff | blob | history
gcc/tree-vrp.c diff | blob | history