projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88617fe) | patch
re PR tree-optimization/71947 (x ^ y not folded to 0 if x == y by DOM)
authorRichard Biener <rguenther@suse.de>
Thu, 21 Jul 2016 13:00:32 +0000 (13:00 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 21 Jul 2016 13:00:32 +0000 (13:00 +0000)
commit959cef7434c0383f32ff28ab012fe17d9d94a7c2
treebd331a8d98f64c523d13a05c0eb435ce17dea62atree
parent88617fe425b0f01305ede58de484592c11422f22commit | diff
re PR tree-optimization/71947 (x ^ y not folded to 0 if x == y by DOM)

2016-07-21  Richard Biener  <rguenther@suse.de>

PR tree-optimization/71947
* tree-vrp.c (extract_range_from_assert): Singleton symbolic
ranges have useful limit_vr information.

* gcc.dg/tree-ssa/vrp102.c: New testcase.

From-SVN: r238591
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp102.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history