From: Aldy Hernandez <aldyh@redhat.com>
Date: Sat, 1 Oct 2022 20:20:49 +0000 (+0200)
Subject: Do not compare incompatible ranges in ipa-prop.
X-Git-Tag: basepoints/gcc-14~4183
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b90d1b50867d7c0468e1851f24bc33fe338bcc20;p=thirdparty%2Fgcc.git

Do not compare incompatible ranges in ipa-prop.

gcc/ChangeLog:

	* ipa-prop.cc (struct ipa_vr_ggc_hash_traits): Do not compare
	incompatible ranges in ipa-prop.
---

diff --git a/gcc/ipa-prop.cc b/gcc/ipa-prop.cc
index ca5b9f315708..724c94563087 100644
--- a/gcc/ipa-prop.cc
+++ b/gcc/ipa-prop.cc
@@ -126,8 +126,8 @@ struct ipa_vr_ggc_hash_traits : public ggc_cache_remove <value_range *>
   static bool
   equal (const value_range *a, const value_range *b)
     {
-      return (*a == *b
-	      && types_compatible_p (a->type (), b->type ()));
+      return (types_compatible_p (a->type (), b->type ())
+	      && *a == *b);
     }
   static const bool empty_zero_p = true;
   static void