diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2020-09-08 07:42:03 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2020-09-08 13:43:35 +0200 |
| commit | 19b0fed7c2d3663f0f144ca8557b6af29bafa4e3 (patch) | |
| tree | 2c915de9b5b8119ea1c054d201a63783dd613884 /gcc/tree-vrp.c | |
| parent | b75863a88ececd4fcce9e3b35df8d91b82cf4fc5 (diff) | |
| download | gcc-19b0fed7c2d3663f0f144ca8557b6af29bafa4e3.zip gcc-19b0fed7c2d3663f0f144ca8557b6af29bafa4e3.tar.gz gcc-19b0fed7c2d3663f0f144ca8557b6af29bafa4e3.tar.bz2 | |
PR tree-optimization/96967 - cast label range to type of switch operand
PR tree-optimization/96967
* tree-vrp.c (find_case_label_range): Cast label range to
type of switch operand.
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index f7b0692..b493e40 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3828,6 +3828,8 @@ find_case_label_range (gswitch *switch_stmt, const irange *range_of_op) tree case_high = CASE_HIGH (label) ? CASE_HIGH (label) : CASE_LOW (label); int_range_max label_range (CASE_LOW (label), case_high); + if (!types_compatible_p (label_range.type (), range_of_op->type ())) + range_cast (label_range, range_of_op->type ()); label_range.intersect (range_of_op); if (label_range == *range_of_op) return label; |