re PR tree-optimization/54317 (FAIL: c45532m c45532n c45532o c45532p)
authorMarc Glisse <marc.glisse@inria.fr>
Wed, 22 Aug 2012 12:29:23 +0000 (14:29 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Wed, 22 Aug 2012 12:29:23 +0000 (12:29 +0000)
commitd9c6ca8570b1982b383455aa5d315bcac049145d
tree8f08be5dd4e93dd2c8960068854763c63bfe24a4
parent6f723d3319d8a656079b0509be4a249c0fbd955c
re PR tree-optimization/54317 (FAIL: c45532m c45532n c45532o c45532p)

2012-08-22  Marc Glisse  <marc.glisse@inria.fr>

PR tree-optimization/54317

gcc/
* tree-vrp.c (extract_range_from_binary_expr_1): Test for
double_int overflow.
Remove dead tests.

gcc/testsuite/
* gcc.dg/tree-ssa/vrp79.c: New testcase.

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