re PR tree-optimization/71031 (ICE in extract_range_from_binary_expr_1, at tree-vrp...
authorMarek Polacek <polacek@redhat.com>
Thu, 19 May 2016 15:45:35 +0000 (15:45 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Thu, 19 May 2016 15:45:35 +0000 (15:45 +0000)
commit4177437ead62c0c74d560f3611b3583078f59688
tree5200744a52d46eb0df44b3e719769f1f4e7cdaa1
parent00426f9a9e57175d6373359aec3e7956a6d2a1c1
re PR tree-optimization/71031 (ICE in extract_range_from_binary_expr_1, at tree-vrp.c:2535 w/ -Os)

PR tree-optimization/71031
* tree-vrp.c (extract_range_from_binary_expr_1): Turn assert into a
condition and adjust the code a bit.

* gcc.dg/tree-ssa/vrp100.c: New test.

From-SVN: r236477
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp100.c [new file with mode: 0644]
gcc/tree-vrp.c