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 258da6e72354d38260fdfc1b0b28e1d77f98795b..311214cc21dad1c21d89c011222bec1b452ce62a 100644 (file)
--- 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)