From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 25 Jul 2022 13:58:04 +0000 (+0200)
Subject: [PR middle-end/106432] Gracefully handle unsupported type in range_on_edge
X-Git-Tag: basepoints/gcc-14~5382
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ca1e4b26c19351077db1d8e6ff1cb97f05bca79f;p=thirdparty%2Fgcc.git

[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 7ac48303e4e..eb347eee45b 100644
--- 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)