mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-20 12:41:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR middle-end/32780 (ICE in extract_range_from_binary_expr, at tree-vrp.c:1793 at -O2 or higher)

Browse Source 
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
This commit is contained in:
Andrew Pinski 2007-08-04 05:21:30 +00:00 committed by Andrew Pinski
parent d531cdb15c
commit 4807562387
4 changed files with 33 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -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

20
gcc/fold-const.c
View File

@ -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

5
gcc/testsuite/ChangeLog
View File

@ -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

10
gcc/testsuite/gcc.c-torture/compile/pr32780.c Normal file
View File

@ -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);
}