PR tree-optimization/54471
commit8f5e8c521a60c1c38ba1d4e351bbe126cd7c9911
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 26 Nov 2012 09:19:30 +0000 (26 09:19 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 26 Nov 2012 09:19:30 +0000 (26 09:19 +0000)
treecb24767045d31e52a5520172e38c0d6fccfa4be2
parent099d578d29a584e363ac2c20c716c264243cc702
PR tree-optimization/54471
* tree-vrp.c (extract_range_from_binary_expr_1): For MULT_EXPR,
don't canonicalize range if min2 is zero.

* gcc.dg/tree-ssa/vrp86.c: New test.
* gcc.c-torture/execute/pr54471.c: New test.

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