diff options
| author | Andrew Pinski <andrew_pinski@playstation.sony.com> | 2007-08-04 05:21:30 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2007-08-03 22:21:30 -0700 |
| commit | 4807562387b8ccd63477509c585739ed5c707b31 (patch) | |
| tree | dd143a45c0ea4ee40bb1d05ffa346fe1e2ebb11f | |
| parent | d531cdb15c6da4ea13e95a2d2332d2aeabddbe05 (diff) | |
| download | gcc-4807562387b8ccd63477509c585739ed5c707b31.zip gcc-4807562387b8ccd63477509c585739ed5c707b31.tar.gz gcc-4807562387b8ccd63477509c585739ed5c707b31.tar.bz2 | |
re PR middle-end/32780 (ICE in extract_range_from_binary_expr, at tree-vrp.c:1793 at -O2 or higher)
2007-08-04 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR middle-end/32780
* fold-const.c (fold_binary <case MINUS_EXPR>): Fix the type of operands
for the folding of "A - (A & B)" into "~B & A"; cast them to type.
2007-08-04 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR middle-end/32780
* gcc.c-torture/compile/pr32780.c: New test.
From-SVN: r127199
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 20 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr32780.c | 10 |
4 files changed, 33 insertions, 8 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 33211ce..36a4342 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-08-04 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR middle-end/32780 + * fold-const.c (fold_binary <case MINUS_EXPR>): Fix the type of operands + for the folding of "A - (A & B)" into "~B & A"; cast them to type. + 2007-08-03 Zdenek Dvorak <ook@ucw.cz> * tree-ssa-threadupdate.c (thread_through_all_blocks): Use loops' state diff --git a/gcc/fold-const.c b/gcc/fold-const.c index be46b23..154454a 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -9730,15 +9730,19 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) && TREE_CODE (arg1) == BIT_AND_EXPR) { if (operand_equal_p (arg0, TREE_OPERAND (arg1, 1), 0)) - return fold_build2 (BIT_AND_EXPR, type, - fold_build1 (BIT_NOT_EXPR, type, - TREE_OPERAND (arg1, 0)), - arg0); + { + tree arg10 = fold_convert (type, TREE_OPERAND (arg1, 0)); + return fold_build2 (BIT_AND_EXPR, type, + fold_build1 (BIT_NOT_EXPR, type, arg10), + fold_convert (type, arg0)); + } if (operand_equal_p (arg0, TREE_OPERAND (arg1, 0), 0)) - return fold_build2 (BIT_AND_EXPR, type, - fold_build1 (BIT_NOT_EXPR, type, - TREE_OPERAND (arg1, 1)), - arg0); + { + tree arg11 = fold_convert (type, TREE_OPERAND (arg1, 1)); + return fold_build2 (BIT_AND_EXPR, type, + fold_build1 (BIT_NOT_EXPR, type, arg11), + fold_convert (type, arg0)); + } } /* Fold (A & ~B) - (A & B) into (A ^ B) - B, where B is diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8814bd2..9371c1c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-08-04 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR middle-end/32780 + * gcc.c-torture/compile/pr32780.c: New test. + 2007-08-03 Andrew Pinski <andrew_pinski@playstation.sony.com> RP middle-end/32399 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr32780.c b/gcc/testsuite/gcc.c-torture/compile/pr32780.c new file mode 100644 index 0000000..cfe64e4 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr32780.c @@ -0,0 +1,10 @@ +typedef __SIZE_TYPE__ size_t; +extern void dont_optimize_away(size_t); + +void crashGcc(char*a) +{ + size_t b=(size_t)a - ((size_t)a & 1); + size_t c=(size_t)a - (b & (size_t)a); + dont_optimize_away(b+c); +} + |