From ea789238b2c24eedf70b56257235adf3d33c5a0a Mon Sep 17 00:00:00 2001
From: Andrew MacLeod <amacleod@redhat.com>
Date: Mon, 19 Jul 2021 15:16:25 -0400
Subject: Check for undefined on COND_EXPR before querying type.

	gcc/
	PR tree-optimization/101497
	* gimple-range-fold.cc (fold_using_range::range_of_cond_expr): Check
	for undefined.

	gcc/testsuite
	* gcc.dg/pr101497.c: New.
---
 gcc/gimple-range-fold.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'gcc/gimple-range-fold.cc')

diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc
index f8578c0..f95af3d 100644
--- a/gcc/gimple-range-fold.cc
+++ b/gcc/gimple-range-fold.cc
@@ -1111,7 +1111,8 @@ fold_using_range::range_of_cond_expr  (irange &r, gassign *s, fur_source &src)
       r = range1;
       r.union_ (range2);
     }
-  gcc_checking_assert (range_compatible_p (r.type (), type));
+  gcc_checking_assert (r.undefined_p ()
+		       || range_compatible_p (r.type (), type));
   return true;
 }
 
-- 
cgit v1.1