projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a916f21) | patch
re PR tree-optimization/25485 (VRP misses an "if" with TRUTH_AND_EXPR statement that...
authorKazu Hirata <kazu@codesourcery.com>
Sat, 14 Jan 2006 15:42:11 +0000 (15:42 +0000)
committerKazu Hirata <kazu@gcc.gnu.org>
Sat, 14 Jan 2006 15:42:11 +0000 (15:42 +0000)
commit9b61327b890150182672aa21eb45c6c3bcab0441
tree355ef3795da06c59605a8d8b7e753114173b953dtree
parenta916f21d3c176a23f54114a17605813a31cd5d2ecommit | diff
re PR tree-optimization/25485 (VRP misses an "if" with TRUTH_AND_EXPR statement that could be optimized away)

gcc/
PR tree-optimization/25485
* tree-vrp.c (extract_range_from_binary_expr): Handle cases
where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
is known to be false and true, respectively.

gcc/testsuite/
PR tree-optimization/25485
* gcc.dg/tree-ssa/pr25485.c: New.

From-SVN: r109704
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/pr25485.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history