diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2020-08-28 18:44:58 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2020-08-31 16:55:16 +0200 |
commit | d503cd98713a41aad34ade2b9b0d9973efb21e11 (patch) | |
tree | b4dac1ef0eb03cc1752ee65c9c8c28e2b7ccf2d5 /gcc/tree-vrp.c | |
parent | 6940c20bbb3b5864e8b510de162d1a618aecca88 (diff) | |
download | gcc-d503cd98713a41aad34ade2b9b0d9973efb21e11.zip gcc-d503cd98713a41aad34ade2b9b0d9973efb21e11.tar.gz gcc-d503cd98713a41aad34ade2b9b0d9973efb21e11.tar.bz2 |
PR tree-optimization/96818 - cast label range to type of switch operand
PR tree-optimization/96818
* 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 8c1a185..a165164 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3850,6 +3850,8 @@ find_case_label_range (gswitch *switch_stmt, const irange *range_of_op) if (!case_high) case_high = CASE_LOW (max_label); widest_irange label_range (CASE_LOW (min_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.undefined_p ()) return gimple_switch_label (switch_stmt, 0); |