VRP: range info of new variables
authorMarc Glisse <marc.glisse@inria.fr>
Tue, 17 May 2016 17:50:55 +0000 (19:50 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Tue, 17 May 2016 17:50:55 +0000 (17:50 +0000)
commit0139ba9332f80bad92794bcd4bfe360f2cfc42a4
tree47ef41c1bd3fb5f550727655628f92c5afbef5c5
parent6f2c6623295765a721f515a0e4fcc718b61b16e0
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.

From-SVN: r236336
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