From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id 9C8113858C42; Sun, 28 Apr 2024 19:04:42 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9C8113858C42 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1714331082; bh=UfMI0m9WyH6IB7R5vtuJEmkIkVvzwk2z9ag18mwwN6U=; h=From:To:Subject:Date:From; b=xl/m+bJgLgO0b2douaaQiNAjfhgq7xtH9FPGnxX0MhJggZneAsOfHvTcSjbI4aWfp Ep1gnMlPwewTbxA0T6mt1H6RwY0ksCwb9Wrn+NxAZvorDkxxFKZtyyMGMtYRS4GL4n k4lp72Rm4LbnVsye6rheAXfkCVxVidh8NfUfoG+k= 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-38] Accept any vrange in range_includes_zero_p. X-Act-Checkin: gcc X-Git-Author: Aldy Hernandez X-Git-Refname: refs/heads/master X-Git-Oldrev: c284f8d2d16ce9c29defce3329419ccc54605ad4 X-Git-Newrev: b102633be7d0b763d106b0a883679bb1497ca17c Message-Id: <20240428190442.9C8113858C42@sourceware.org> Date: Sun, 28 Apr 2024 19:04:42 +0000 (GMT) List-Id: https://gcc.gnu.org/g:b102633be7d0b763d106b0a883679bb1497ca17c commit r15-38-gb102633be7d0b763d106b0a883679bb1497ca17c Author: Aldy Hernandez Date: Tue Mar 19 18:29:21 2024 +0100 Accept any vrange in range_includes_zero_p. Accept a vrange, as this will be used for either integers or pointers. gcc/ChangeLog: * value-range.h (range_includes_zero_p): Accept vrange. Diff: --- gcc/value-range.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gcc/value-range.h b/gcc/value-range.h index ede90a496d8..0ab717697f0 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -970,7 +970,7 @@ irange::contains_p (tree cst) const } inline bool -range_includes_zero_p (const irange &vr) +range_includes_zero_p (const vrange &vr) { if (vr.undefined_p ()) return false; @@ -978,8 +978,7 @@ range_includes_zero_p (const irange &vr) if (vr.varying_p ()) return true; - wide_int zero = wi::zero (TYPE_PRECISION (vr.type ())); - return vr.contains_p (zero); + return vr.contains_p (build_zero_cst (vr.type ())); } // Constructors for irange