diff options
| author | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-03-23 21:25:13 +0000 |
|---|---|---|
| committer | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-03-23 21:25:13 +0000 |
| commit | 187b562a45f55d5b2bbdf49086e4cc2af3abf06b (patch) | |
| tree | 9759e639cd287e6895534bee594b69640a3b17b7 | |
| parent | 8583bf9c2cac6fb307dafba8a3c0445911b1aa76 (diff) | |
| download | ppe42-gcc-187b562a45f55d5b2bbdf49086e4cc2af3abf06b.tar.gz ppe42-gcc-187b562a45f55d5b2bbdf49086e4cc2af3abf06b.zip | |
PR c/10178
* stmt.c (expand_end_case_type): Check for overflow in range when
determining whether to use a bit-test implementation.
* gcc.c-torture/compile/20030323-1.c: New test case.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@64757 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/stmt.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/20030323-1.c | 17 |
4 files changed, 28 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f98fa02a882..9dc6621300b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2003-03-23 Roger Sayle <roger@eyesopen.com> + + PR c/10178 + * stmt.c (expand_end_case_type): Check for overflow in range when + determining whether to use a bit-test implementation. + 2003-03-23 Richard Henderson <rth@redhat.com> * cfgcleanup.c (try_optimize_cfg): Allow merging of tablejumps diff --git a/gcc/stmt.c b/gcc/stmt.c index 823afbff7fa..d8f36c5d7db 100644 --- a/gcc/stmt.c +++ b/gcc/stmt.c @@ -5505,6 +5505,7 @@ expand_end_case_type (orig_index, orig_type) else if (CASE_USE_BIT_TESTS && ! TREE_CONSTANT (index_expr) && compare_tree_int (range, GET_MODE_BITSIZE (word_mode)) < 0 + && compare_tree_int (range, 0) > 0 && lshift_cheap_p () && ((uniq == 1 && count >= 3) || (uniq == 2 && count >= 5) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 34b0946ff28..05b170ca185 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2003-03-23 Roger Sayle <roger@eyesopen.com> + + * gcc.c-torture/compile/20030323-1.c: New test case. + 2003-03-22 Ulrich Weigand <uweigand@de.ibm.com> * gcc.dg/20030321-1.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/20030323-1.c b/gcc/testsuite/gcc.c-torture/compile/20030323-1.c new file mode 100644 index 00000000000..8ea602deee3 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20030323-1.c @@ -0,0 +1,17 @@ +/* PR c/10178. The following code would ICE because we didn't check for + overflow when computing the range of the switch-statment, and therefore + decided it could be implemented using bit-tests. */ + +int +banana(long citron) +{ + switch (citron) { + case 0x80000000: + case 0x40000: + case 0x40001: + return 1; + break; + } + return 0; +} + |
