From b9e67f8b4b38059390c4ccc0f12285544618feec Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Sat, 22 Sep 2007 09:39:41 +0000 Subject: re PR tree-optimization/33146 (ICE in build_polynomial_chrec, at tree-chrec.h:136) 2007-09-22 Richard Guenther 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 --- gcc/fold-const.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/fold-const.c') 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 -- cgit v1.1