diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2024-02-07 11:27:29 +0100 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2024-04-28 21:03:00 +0200 |
commit | 039e88b1aea5723221e8b0b926c35afb2f96a8a9 (patch) | |
tree | 92542616187acc6b86971c12404ce212e2e45633 | |
parent | eeef1f69c5e77ecf13fdcf44df5bcf592a9993e6 (diff) | |
download | gcc-039e88b1aea5723221e8b0b926c35afb2f96a8a9.zip gcc-039e88b1aea5723221e8b0b926c35afb2f96a8a9.tar.gz gcc-039e88b1aea5723221e8b0b926c35afb2f96a8a9.tar.bz2 |
Make fold_cond_with_ops use a boolean type for range_true/range_false.
Conditional operators are always boolean, regardless of their
operands. Getting the type wrong is not currently a problem, but will
be when prange's can no longer store an integer.
gcc/ChangeLog:
* vr-values.cc (simplify_using_ranges::fold_cond_with_ops): Remove
type from range_true and range_false.
-rw-r--r-- | gcc/vr-values.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/vr-values.cc b/gcc/vr-values.cc index a7e291a..ff68d40 100644 --- a/gcc/vr-values.cc +++ b/gcc/vr-values.cc @@ -320,9 +320,9 @@ simplify_using_ranges::fold_cond_with_ops (enum tree_code code, range_op_handler handler (code); if (handler && handler.fold_range (res, type, r0, r1)) { - if (res == range_true (type)) + if (res == range_true ()) return boolean_true_node; - if (res == range_false (type)) + if (res == range_false ()) return boolean_false_node; } return NULL; |