From: Hartmut Penner Date: Thu, 12 Sep 2002 06:49:26 +0000 (+0000) Subject: fold-const.c (make_range): Only narrow to signed range if the signed range is smaller... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f968d9388efc8dfec39cf0ec0dbb38378fdb6f8;p=gcc.git 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 --- 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; +}