From 4f968d9388efc8dfec39cf0ec0dbb38378fdb6f8 Mon Sep 17 00:00:00 2001 From: Hartmut Penner Date: Thu, 12 Sep 2002 06:49:26 +0000 Subject: [PATCH] fold-const.c (make_range): Only narrow to signed range if the signed range is smaller than the unsigned range. * fold-const.c (make_range): Only narrow to signed range if the signed range is smaller than the unsigned range. * gcc.c-torture/execute/20020911-1.c: New. From-SVN: r57050 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 7 ++++--- gcc/testsuite/gcc.c-torture/execute/20020911-1.c | 8 ++++++++ 3 files changed, 17 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/execute/20020911-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 701bd4c7845..914ae17b2fb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-09-11 Hartmut Penner + + * fold-const.c (make_range): Only narrow to signed range if + the signed range is smaller than the unsigned range. + 2002-09-12 Alan Modra * emit-rtl.c (set_mem_size): New function. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index b8da1a74b26..1b2124a737e 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3089,9 +3089,10 @@ make_range (exp, pin_p, plow, phigh) = TYPE_MAX_VALUE (equiv_type) ? TYPE_MAX_VALUE (equiv_type) : TYPE_MAX_VALUE (type); - high_positive = fold (build (RSHIFT_EXPR, type, - convert (type, high_positive), - convert (type, integer_one_node))); + if (TYPE_PRECISION (type) == TYPE_PRECISION (TREE_TYPE (exp))) + high_positive = fold (build (RSHIFT_EXPR, type, + convert (type, high_positive), + convert (type, integer_one_node))); /* If the low bound is specified, "and" the range with the range for which the original unsigned value will be diff --git a/gcc/testsuite/gcc.c-torture/execute/20020911-1.c b/gcc/testsuite/gcc.c-torture/execute/20020911-1.c new file mode 100644 index 00000000000..ec8302211c0 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20020911-1.c @@ -0,0 +1,8 @@ +extern void abort (void); +unsigned short c = 0x8000; +int main() +{ + if ((c-0x8000) < 0 || (c-0x8000) > 0x7fff) + abort(); + return 0; +} -- 2.30.2