diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2021-11-13 12:16:40 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2021-11-15 17:31:50 +0100 |
| commit | 6c29c9d6a7d80ece7e08eb546ca4a1ba1430a9b3 (patch) | |
| tree | 8ab93363ee08ab07a33ed103fbc4d0f799114a30 /gcc | |
| parent | 82ec4cb3c43c7429be6b902d96770a6435fa068b (diff) | |
| download | gcc-6c29c9d6a7d80ece7e08eb546ca4a1ba1430a9b3.zip gcc-6c29c9d6a7d80ece7e08eb546ca4a1ba1430a9b3.tar.gz gcc-6c29c9d6a7d80ece7e08eb546ca4a1ba1430a9b3.tar.bz2 | |
Drop tree overflow in irange setter.
Drop meaningless overflow that may creep into the IL.
gcc/ChangeLog:
PR tree-optimization/103207
* value-range.cc (irange::set): Drop overflow.
gcc/testsuite/ChangeLog:
* gcc.dg/pr103207.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr103207.c | 15 | ||||
| -rw-r--r-- | gcc/value-range.cc | 8 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr103207.c b/gcc/testsuite/gcc.dg/pr103207.c new file mode 100644 index 0000000..69c0f55 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr103207.c @@ -0,0 +1,15 @@ +// { dg-do compile } +// { dg-options "-O2 --param case-values-threshold=1 -w" } + +int f (int i) +{ + switch (i) { + case 2147483647: + return 1; + case 9223372036854775807L: + return 2; + case (2147483647*4)%4: + return 4; + } + return 0; +} diff --git a/gcc/value-range.cc b/gcc/value-range.cc index caef249..82509fa 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -270,6 +270,14 @@ irange::irange_set_anti_range (tree min, tree max) void irange::set (tree min, tree max, value_range_kind kind) { + if (kind != VR_UNDEFINED) + { + if (TREE_OVERFLOW_P (min)) + min = drop_tree_overflow (min); + if (TREE_OVERFLOW_P (max)) + max = drop_tree_overflow (max); + } + if (!legacy_mode_p ()) { if (kind == VR_RANGE) |