diff options
| author | Richard Guenther <rguenther@suse.de> | 2006-08-25 22:01:28 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-08-25 22:01:28 +0000 |
| commit | 459881189a60e313cbd9e35e415b7cc794289149 (patch) | |
| tree | 37f57e67d4c17934235b30eed8252327fa14a814 | |
| parent | a942cc86f86a85fea1342c20091076126c917c34 (diff) | |
| download | gcc-459881189a60e313cbd9e35e415b7cc794289149.zip gcc-459881189a60e313cbd9e35e415b7cc794289149.tar.gz gcc-459881189a60e313cbd9e35e415b7cc794289149.tar.bz2 | |
re PR middle-end/28814 (in compare_values, at tree-vrp.c:415)
2006-08-26 Richard Guenther <rguenther@suse.de>
PR middle-end/28814
* fold-const.c (fold_binary): Fold temporary to correct
type before constructing new comparison.
* gcc.dg/torture/pr28814.c: New testcase.
From-SVN: r116439
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr28814.c | 17 |
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b56d210..c18b80e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-08-26 Richard Guenther <rguenther@suse.de> + + PR middle-end/28814 + * fold-const.c (fold_binary): Fold temporary to correct + type before constructing new comparison. + 2006-08-25 Fariborz Jahanian <fjahanian@apple.com> PR c/28418 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 277bd324..69db6c2 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -10289,7 +10289,8 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) && TREE_CODE (TREE_OPERAND (arg0, 1)) == INTEGER_CST && 0 != (tem = const_binop (TREE_CODE (arg0) == PLUS_EXPR ? MINUS_EXPR : PLUS_EXPR, - arg1, TREE_OPERAND (arg0, 1), 0)) + fold_convert (TREE_TYPE (arg0), arg1), + TREE_OPERAND (arg0, 1), 0)) && ! TREE_CONSTANT_OVERFLOW (tem)) return fold_build2 (code, type, TREE_OPERAND (arg0, 0), tem); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9965dd5..9194e7f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-08-26 Richard Guenther <rguenther@suse.de> + + PR middle-end/28814 + * gcc.dg/torture/pr28814.c: New testcase. + 2006-08-25 Joseph S. Myers <joseph@codesourcery.com> PR c/28418 diff --git a/gcc/testsuite/gcc.dg/torture/pr28814.c b/gcc/testsuite/gcc.dg/torture/pr28814.c new file mode 100644 index 0000000..94bbc74 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr28814.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ + +struct w49 +{ + union + { + } + value; +}; +f9887 (struct w49 a23040) +{ + unsigned long r9887; + if (((struct structure_type24753 *) (r9887 - 1)) == ((void *) 0)) + { + backtrace ("stalin.sc", 7222, 248274); + } +} |