diff options
| author | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-09-12 06:49:26 +0000 |
|---|---|---|
| committer | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-09-12 06:49:26 +0000 |
| commit | 02846a3de5fde3992fcb95553bf624eeea1e6d40 (patch) | |
| tree | ef4d7df0ac902cd3344cc6163ebed2ebb2fd927e | |
| parent | c12ebabf2afbb96b8aa3b44ef980e5b2a2b14879 (diff) | |
| download | gcc-02846a3de5fde3992fcb95553bf624eeea1e6d40.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@57050 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20020911-1.c | 8 |
3 files changed, 17 insertions, 3 deletions
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 <hpenner@de.ibm.com> + + * 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 <amodra@bigpond.net.au> * 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; +} |