From: Martin Jambor <mjambor@suse.cz>
Date: Wed, 11 Sep 2024 21:53:21 +0000 (+0200)
Subject: ipa-cp: One more use of ipa_vr_supported_type_p
X-Git-Tag: basepoints/gcc-16~5963
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f910b02919036647a3f096265cda19358dded628;p=thirdparty%2Fgcc.git

ipa-cp: One more use of ipa_vr_supported_type_p

Since we have the predicate, this patch converts one more check for
essentially the same thing into its use.

2024-09-11  Martin Jambor  <mjambor@suse.cz>

	* ipa-cp.cc (propagate_vr_across_jump_function): Use
	ipa_vr_supported_type_p instead of explicit check for integral and
	pointer types.
---

diff --git a/gcc/ipa-cp.cc b/gcc/ipa-cp.cc
index a1033b81aef..fa7bd6a15da 100644
--- a/gcc/ipa-cp.cc
+++ b/gcc/ipa-cp.cc
@@ -2519,8 +2519,7 @@ propagate_vr_across_jump_function (cgraph_edge *cs, ipa_jump_func *jfunc,
     return false;
 
   if (!param_type
-      || (!INTEGRAL_TYPE_P (param_type)
-	  && !POINTER_TYPE_P (param_type)))
+      || !ipa_vr_supported_type_p (param_type))
     return dest_lat->set_to_bottom ();
 
   if (jfunc->type == IPA_JF_PASS_THROUGH)