From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 22 May 2023 18:15:19 +0000 (+0200)
Subject: Implement some miscellaneous zero accessors for Value_Range.
X-Git-Tag: basepoints/gcc-15~9062
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=90685c365794e9afabc6cdc7eae7892ba5d2be3d;p=thirdparty%2Fgcc.git

Implement some miscellaneous zero accessors for Value_Range.

This adds some missing accessors to the type agnostic Value_Range
class.  They'll be used in the upcoming IPA work.

gcc/ChangeLog:

	* value-range.h (class Value_Range): Implement set_zero,
	set_nonzero, and nonzero_p.
---

diff --git a/gcc/value-range.h b/gcc/value-range.h
index af81d6080da7..171e6426c6e9 100644
--- a/gcc/value-range.h
+++ b/gcc/value-range.h
@@ -542,6 +542,9 @@ public:
   bool contains_p (tree cst) const { return m_vrange->contains_p (cst); }
   bool singleton_p (tree *result = NULL) const
     { return m_vrange->singleton_p (result); }
+  void set_zero (tree type) { return m_vrange->set_zero (type); }
+  void set_nonzero (tree type) { return m_vrange->set_nonzero (type); }
+  bool nonzero_p () const { return m_vrange->nonzero_p (); }
   bool zero_p () const { return m_vrange->zero_p (); }
   wide_int lower_bound () const; // For irange/prange comparability.
   wide_int upper_bound () const; // For irange/prange comparability.