]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Accept any vrange in range_includes_zero_p.
authorAldy Hernandez <aldyh@redhat.com>
Tue, 19 Mar 2024 17:29:21 +0000 (18:29 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Sun, 28 Apr 2024 19:03:01 +0000 (21:03 +0200)
Accept a vrange, as this will be used for either integers or pointers.

gcc/ChangeLog:

* value-range.h (range_includes_zero_p): Accept vrange.

gcc/value-range.h

index ede90a496d8e50df49999e10b5c5ee884e804318..0ab717697f02f27067ddd17ed54899689552e26f 100644 (file)
@@ -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