VRP: range info of new variables
commit34806102cb4b72ed7496dc8e4f72185abb4c4b25
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 17 May 2016 17:50:55 +0000 (17 17:50 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 17 May 2016 17:50:55 +0000 (17 17:50 +0000)
tree47ef41c1bd3fb5f550727655628f92c5afbef5c5
parent7c287afb24a0a63b8b89f88b1cfcdda3912b0448
VRP: range info of new variables

2016-05-17  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* tree-vrp.c (simplify_truth_ops_using_ranges): Set range
information for new SSA_NAME.
(simplify_conversion_using_ranges): Get range through get_range_info
instead of get_value_range.

gcc/testsuite/
* gcc.dg/tree-ssa/pr69270.c: Adjust.
* gcc.dg/tree-ssa/vrp99.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@236336 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/pr69270.c
gcc/testsuite/gcc.dg/tree-ssa/vrp99.c [new file with mode: 0644]
gcc/tree-vrp.c