diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2016-10-10 23:48:47 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2016-10-10 23:48:47 +0000 |
| commit | 5b69c5e55df08ca91989f746ed2b459e0658d6dd (patch) | |
| tree | d5d23315a1712cf33115acd45ca496c9174b2e31 /gcc/ChangeLog | |
| parent | 65180edc5661b1324a53ac9ebbe03f44cda524e4 (diff) | |
| download | gcc-5b69c5e55df08ca91989f746ed2b459e0658d6dd.zip gcc-5b69c5e55df08ca91989f746ed2b459e0658d6dd.tar.gz gcc-5b69c5e55df08ca91989f746ed2b459e0658d6dd.tar.bz2 | |
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
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 99e33a0..8e1ee8a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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. + 2016-10-10 Joseph Myers <joseph@codesourcery.com> PR target/77586 |