projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65180ed) | patch
Infer and push new value ranges for x in y < x.
authorKugan Vivekanandarajah <kuganv@linaro.org>
Mon, 10 Oct 2016 23:48:47 +0000 (23:48 +0000)
committerKugan Vivekanandarajah <kugan@gcc.gnu.org>
Mon, 10 Oct 2016 23:48:47 +0000 (23:48 +0000)
commit5b69c5e55df08ca91989f746ed2b459e0658d6dd
treed5d23315a1712cf33115acd45ca496c9174b2e31tree
parent65180edc5661b1324a53ac9ebbe03f44cda524e4commit | diff
Infer and push new value ranges for x in y < x.

gcc/ChangeLog:

2016-10-11  Kugan Vivekanandarajah  <kuganv@linaro.org>

* tree-vrp.c (evrp_dom_walker::try_add_new_range): New.
(evrp_dom_walker::before_dom_children): Infer and push new value
ranges for x in y < x.

From-SVN: r240957
gcc/ChangeLog diff | blob | history
gcc/tree-vrp.c diff | blob | history