From: Aldy Hernandez <aldyh@redhat.com>
Date: Thu, 20 Oct 2022 16:26:42 +0000 (+0200)
Subject: [PR c++/106654] Handle non-irange ranges in get_range_global for default defs.
X-Git-Tag: basepoints/gcc-14~3787
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d155442de043c1bef7d27cf2d6be4eba618afcb9;p=thirdparty%2Fgcc.git

[PR c++/106654] Handle non-irange ranges in get_range_global for default defs.

With the upcoming [[assume]] work, Andrew has pointed out that
non-irange ranges are not handled in get_range_global for
SSA_NAME_IS_DEFAULT_DEF.  This patch fixes the oversight.

	PR c++/106654

gcc/ChangeLog:

	* value-query.cc (get_range_global): Handle non integer ranges for
	default def SSA names.
---

diff --git a/gcc/value-query.cc b/gcc/value-query.cc
index 296784be31d1..e8988ed67e0b 100644
--- a/gcc/value-query.cc
+++ b/gcc/value-query.cc
@@ -343,7 +343,7 @@ get_range_global (vrange &r, tree name)
 	      && ((cfun && nonnull_arg_p (sym))
 		  || get_ssa_name_ptr_info_nonnull (name)))
 	    r.set_nonzero (type);
-	  else if (INTEGRAL_TYPE_P (type))
+	  else if (!POINTER_TYPE_P (type))
 	    {
 	      get_ssa_name_range_info (r, name);
 	      if (r.undefined_p ())