diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-08-31 13:39:26 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-08-31 13:39:26 +0000 |
| commit | 2b2587f577ebc08d489132307517f5bb9fb35346 (patch) | |
| tree | 1b10c7db6ee3b9634eca1ea1b3b6e7593223402b | |
| parent | fb2fed03b680e2421f24ed33e3ab7dc8f03797cc (diff) | |
| download | gcc-2b2587f577ebc08d489132307517f5bb9fb35346.zip gcc-2b2587f577ebc08d489132307517f5bb9fb35346.tar.gz gcc-2b2587f577ebc08d489132307517f5bb9fb35346.tar.bz2 | |
re PR middle-end/37289 (ICE after non-trivial conversion at assignment)
2008-08-31 Richard Guenther <rguenther@suse.de>
PR middle-end/37289
* fold-const.c (fold_binary): Retain conversions in folding
~A + 1 to -A.
* gcc.dg/pr37289.c: New testcase.
From-SVN: r139831
| -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/pr37289.c | 14 |
4 files changed, 27 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b20e8b2..72a46cf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-08-31 Richard Guenther <rguenther@suse.de> + + PR middle-end/37289 + * fold-const.c (fold_binary): Retain conversions in folding + ~A + 1 to -A. + 2008-08-31 Jan Hubicka <jh@suse.cz> * postreload-gcse.c (eliminate_partially_redundant_loads): Use optimize_bb_for_size_p. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index ae66ad4..561fb80 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -9498,7 +9498,8 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) /* Convert ~A + 1 to -A. */ if (TREE_CODE (arg0) == BIT_NOT_EXPR && integer_onep (arg1)) - return fold_build1 (NEGATE_EXPR, type, TREE_OPERAND (arg0, 0)); + return fold_build1 (NEGATE_EXPR, type, + fold_convert (type, TREE_OPERAND (arg0, 0))); /* ~X + X is -1. */ if (TREE_CODE (arg0) == BIT_NOT_EXPR diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c03514c..153c538 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-08-31 Richard Guenther <rguenther@suse.de> + + PR middle-end/37289 + * gcc.dg/pr37289.c: New testcase. + 2008-08-31 Jakub Jelinek <jakub@redhat.com> PR target/37168 diff --git a/gcc/testsuite/gcc.dg/pr37289.c b/gcc/testsuite/gcc.dg/pr37289.c new file mode 100644 index 0000000..61513c9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr37289.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-fdump-tree-original" } */ + +void f(unsigned long x); + +void g(long x) +{ + f((unsigned long)(-1-x)+1); +} + +/* Make sure we do not lose the conversion. */ + +/* { dg-final { scan-tree-dump "-\\\(long unsigned int\\\) x" "original" } } */ +/* { dg-final { cleanup-tree-dump "original" } } */ |