[PR middle-end/106432] Gracefully handle unsupported type in range_on_edge

A cleaner approach to fix this PR has been suggested by Andrew, which
is to just return false on range_on_edge for unsupported range types.

Tested on x86-64 Linux.

	PR middle-end/106432

gcc/ChangeLog:

	* gimple-range.cc (gimple_ranger::range_on_edge): Return false
	when the result range type is unsupported.

diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc
index 7ac48303e4e2ec6a09c68e87033a2ca77b64994c..eb347eee45b553fa50f91034d4059454ccb2ccd6 100644 (file)
--- a/gcc/gimple-range.cc
+++ b/gcc/gimple-range.cc
@@ -201,7 +201,9 @@ bool
 gimple_ranger::range_on_edge (vrange &r, edge e, tree name)
 {
   Value_Range edge_range (TREE_TYPE (name));
-  gcc_checking_assert (r.supports_type_p (TREE_TYPE (name)));
+
+  if (!r.supports_type_p (TREE_TYPE (name)))
+    return false;
 
   // Do not process values along abnormal edges.
   if (e->flags & EDGE_ABNORMAL)