From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id 70C893858D37; Sun, 28 Apr 2024 19:04:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 70C893858D37 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1714331050; bh=iN971yLaKDClDjoPPTgyeC06n+mrA+baDqpMUs0qDFI=; h=From:To:Subject:Date:From; b=fRk7IQhK1ERIzDG/6aVsz8cuoe4SkNntN+E1KjETZjdrvj870/9VtyA3tXOpEvj1q uQkV/dYdG9VKfoIc4rlFf0t/RngcxHw2AyT7ROlim9QQLJ2evcpBJGkbfRdb6/hJh0 TEtI93WdB5h/gwA0o+PBSPVOWbe3uaGrbqAfY51E= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Aldy Hernandez To: gcc-cvs@gcc.gnu.org Subject: [gcc r15-32] Make fold_cond_with_ops use a boolean type for range_true/range_false. X-Act-Checkin: gcc X-Git-Author: Aldy Hernandez X-Git-Refname: refs/heads/master X-Git-Oldrev: eeef1f69c5e77ecf13fdcf44df5bcf592a9993e6 X-Git-Newrev: 039e88b1aea5723221e8b0b926c35afb2f96a8a9 Message-Id: <20240428190410.70C893858D37@sourceware.org> Date: Sun, 28 Apr 2024 19:04:10 +0000 (GMT) List-Id: https://gcc.gnu.org/g:039e88b1aea5723221e8b0b926c35afb2f96a8a9 commit r15-32-g039e88b1aea5723221e8b0b926c35afb2f96a8a9 Author: Aldy Hernandez Date: Wed Feb 7 11:27:29 2024 +0100 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. Diff: --- gcc/vr-values.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/vr-values.cc b/gcc/vr-values.cc index a7e291a16e5..ff68d40c355 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;