From 899f1ed6980f803397d2bc6a1efc6a406be4a37a Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sun, 20 Sep 1998 05:37:58 -0700 Subject: [PATCH] fold-const.c (fold): Yet another COND_EXPR bug... * fold-const.c (fold): Yet another COND_EXPR bug: when folding to an ABS expr, convert an unsigned input to signed. From-SVN: r22503 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ffb1a6bc280..1f58e78ed60 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Sun Sep 20 12:35:55 1998 Richard Henderson + + * fold-const.c (fold): Yet another COND_EXPR bug: when folding + to an ABS expr, convert an unsigned input to signed. + Sun Sep 20 12:14:45 1998 Jeffrey A Law (law@cygnus.com) * fold-const.c (fold): Fix another type in COND_EXPR handling code. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index b7037deeea7..0d04e91160b 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5863,11 +5863,15 @@ fold (expr) return pedantic_non_lvalue (convert (type, arg1)); case GE_EXPR: case GT_EXPR: + if (TREE_UNSIGNED (TREE_TYPE (arg1))) + arg1 = convert (signed_type (TREE_TYPE (arg1)), arg1); return pedantic_non_lvalue (convert (type, fold (build1 (ABS_EXPR, TREE_TYPE (arg1), arg1)))); case LE_EXPR: case LT_EXPR: + if (TREE_UNSIGNED (TREE_TYPE (arg1))) + arg1 = convert (signed_type (TREE_TYPE (arg1)), arg1); return pedantic_non_lvalue (fold (build1 (NEGATE_EXPR, type, convert (type, -- 2.30.2