From: Andrew MacLeod <amacleod@redhat.com>
Date: Wed, 16 Feb 2022 14:01:47 +0000 (-0500)
Subject: Use range_compatible_p in condexpr_adjust
X-Git-Tag: basepoints/gcc-13~1048
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=fe581e63431bb1115d8a4945ba457f05e33dc6bb;p=thirdparty%2Fgcc.git

Use range_compatible_p in condexpr_adjust

	* gimple-range-gori.cc (gori_compute::condexpr_adjust): Use
	range_compatible_p instead of direct type comparison.
---

diff --git a/gcc/gimple-range-gori.cc b/gcc/gimple-range-gori.cc
index 258da6e72354..311214cc21da 100644
--- a/gcc/gimple-range-gori.cc
+++ b/gcc/gimple-range-gori.cc
@@ -1322,7 +1322,7 @@ gori_compute::condexpr_adjust (irange &r1, irange &r2, gimple *, tree cond,
   if (!COMPARISON_CLASS_P (cond))
     return false;
   tree type = TREE_TYPE (TREE_OPERAND (cond, 0));
-  if (type != TREE_TYPE (TREE_OPERAND (cond, 1)))
+  if (!range_compatible_p (type, TREE_TYPE (TREE_OPERAND (cond, 1))))
     return false;
   range_operator *hand = range_op_handler (TREE_CODE (cond), type);
   if (!hand)