]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88b03a7) | patch
Infer and push new value ranges for x in y < x.
authorkugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 10 Oct 2016 23:48:47 +0000 (23:48 +0000)
committerkugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 10 Oct 2016 23:48:47 +0000 (23:48 +0000)
commit648c6815b8a15e0674438aa19bb599465afaed79
treed5d23315a1712cf33115acd45ca496c9174b2e31tree
parent88b03a708f99ca0466096d70243f35b9b4a65ab0commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@240957 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog diff | blob | blame | history
gcc/tree-vrp.c diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git