aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2024-02-07 11:27:29 +0100
committerAldy Hernandez <aldyh@redhat.com>2024-04-28 21:03:00 +0200
commit039e88b1aea5723221e8b0b926c35afb2f96a8a9 (patch)
tree92542616187acc6b86971c12404ce212e2e45633
parenteeef1f69c5e77ecf13fdcf44df5bcf592a9993e6 (diff)
downloadgcc-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.cc4
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;