diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-09-22 09:39:41 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-09-22 09:39:41 +0000 |
| commit | b9e67f8b4b38059390c4ccc0f12285544618feec (patch) | |
| tree | 4d3c04a1ba5c20891e6ff625a7e0c0c52afa9b11 /gcc | |
| parent | 8deb1d3134dd1b9c1b95e861ea00cdc115d52edc (diff) | |
| download | gcc-b9e67f8b4b38059390c4ccc0f12285544618feec.zip gcc-b9e67f8b4b38059390c4ccc0f12285544618feec.tar.gz gcc-b9e67f8b4b38059390c4ccc0f12285544618feec.tar.bz2 | |
re PR tree-optimization/33146 (ICE in build_polynomial_chrec, at tree-chrec.h:136)
2007-09-22 Richard Guenther <rguenther@suse.de>
PR tree-optimization/33146
* fold-const.c (fold_binary): Use the original tree
for negating.
* tree.h (STRIP_SIGN_NOPS): Converting from or to pointer
also changes "sign".
* gcc.c-torture/compile/pr33146.c: New testcase.
From-SVN: r128666
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/fold-const.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr33146.c | 19 | ||||
| -rw-r--r-- | gcc/tree.h | 4 |
5 files changed, 39 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 20bf052..6f3cc5f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2007-09-22 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/33146 + * fold-const.c (fold_binary): Use the original tree + for negating. + * tree.h (STRIP_SIGN_NOPS): Converting from or to pointer + also changes "sign". + 2007-09-22 Eric Botcazou <ebotcazou@adacore.com> PR target/32325 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index fb664fe..426aad4 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -10240,9 +10240,11 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) return omit_one_operand (type, arg1, arg0); if (integer_onep (arg1)) return non_lvalue (fold_convert (type, arg0)); - /* Transform x * -1 into -x. */ + /* Transform x * -1 into -x. Make sure to do the negation + on the original operand with conversions not stripped + because we can only strip non-sign-changing conversions. */ if (integer_all_onesp (arg1)) - return fold_convert (type, negate_expr (arg0)); + return fold_convert (type, negate_expr (op0)); /* Transform x * -C into -x * C if x is easily negatable. */ if (TREE_CODE (arg1) == INTEGER_CST && tree_int_cst_sgn (arg1) == -1 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 710d8df..5b5a36f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-09-22 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/33146 + * gcc.c-torture/compile/pr33146.c: New testcase. + 2007-09-22 Richard Sandiford <rsandifo@nildram.co.uk> * lib/target-supports.exp (check_cached_effective_target): New diff --git a/gcc/testsuite/gcc.c-torture/compile/pr33146.c b/gcc/testsuite/gcc.c-torture/compile/pr33146.c new file mode 100644 index 0000000..6741fcf --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr33146.c @@ -0,0 +1,19 @@ +typedef struct +{ + int end; + int term; +} +jpc_enc_pass_t; +void foo(int numpasses, jpc_enc_pass_t *p) +{ + jpc_enc_pass_t *pass; + jpc_enc_pass_t *termpass; + for (pass = p; pass != termpass; ++pass) + if (!pass->term) + { + termpass = pass; + while (termpass - pass < numpasses && !termpass->term) + ++termpass; + pass->end = termpass->end; + } +} @@ -1019,7 +1019,9 @@ extern void omp_clause_range_check_failed (const_tree, const char *, int, && (TYPE_MODE (TREE_TYPE (EXP)) \ == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0)))) \ && (TYPE_UNSIGNED (TREE_TYPE (EXP)) \ - == TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \ + == TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (EXP, 0)))) \ + && (POINTER_TYPE_P (TREE_TYPE (EXP)) \ + == POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \ (EXP) = TREE_OPERAND (EXP, 0) /* Like STRIP_NOPS, but don't alter the TREE_TYPE either. */ |