From 5b970a1aaf1f639194b7ed55935c2b2dbbcc0c27 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 5 Sep 2011 07:32:37 +0000 Subject: [PATCH] revert: fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE special-casing. 2011-09-05 Richard Guenther Revert 2011-08-31 Richard Guenther * fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE special-casing. From-SVN: r178523 --- gcc/ChangeLog | 8 ++++++++ gcc/fold-const.c | 8 +++++--- 2 files changed, 13 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 33654042619..b106227f2c4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2011-09-04 Richard Guenther + + Revert + 2011-08-31 Richard Guenther + + * fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE + special-casing. + 2011-09-04 Iain Sandoe PR debug/49901 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 0f4ca5e6222..5807a5533ba 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5888,9 +5888,11 @@ extract_muldiv_1 (tree t, tree c, enum tree_code code, tree wide_type, multiple of the other, in which case we replace this with either an operation or CODE or TCODE. - If we have an unsigned type, we cannot do this since it will change - the result if the original computation overflowed. */ - if (TYPE_OVERFLOW_UNDEFINED (ctype) + If we have an unsigned type that is not a sizetype, we cannot do + this since it will change the result if the original computation + overflowed. */ + if ((TYPE_OVERFLOW_UNDEFINED (ctype) + || (TREE_CODE (ctype) == INTEGER_TYPE && TYPE_IS_SIZETYPE (ctype))) && ((code == MULT_EXPR && tcode == EXACT_DIV_EXPR) || (tcode == MULT_EXPR && code != TRUNC_MOD_EXPR && code != CEIL_MOD_EXPR