From: Andrew MacLeod <amacleod@redhat.com>
Date: Mon, 19 Jul 2021 19:16:25 +0000 (-0400)
Subject: Check for undefined on COND_EXPR before querying type.
X-Git-Tag: basepoints/gcc-13~5848
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ea789238b2c24eedf70b56257235adf3d33c5a0a;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc
index f8578c013bcb..f95af3d58666 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;
 }
 
diff --git a/gcc/testsuite/gcc.dg/pr101497.c b/gcc/testsuite/gcc.dg/pr101497.c
new file mode 100644
index 000000000000..fcfe0594f9b0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr101497.c
@@ -0,0 +1,13 @@
+/* PR tree-optimization/101497 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -Wno-div-by-zero" } */
+
+char uc_1;
+int i_4, func_12_uli_6;
+void func_12() {
+  int *ptr_8 = &func_12_uli_6;
+  *ptr_8 = 0 >= 211 - uc_1 <= 0;
+  i_4 %= 0;
+  i_4 *= *ptr_8;
+}
+