From: Andrew MacLeod <amacleod@redhat.com>
Date: Sun, 2 Oct 2022 22:43:35 +0000 (-0400)
Subject: Don't process undefined range.
X-Git-Tag: basepoints/gcc-14~4176
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f41d1b39a6443fad38c36af34b1baa384954ca80;p=thirdparty%2Fgcc.git

Don't process undefined range.

No need to continue processing an undefined range.

	gcc/
	PR tree-optimization/107109
	* range-op.cc (adjust_op1_for_overflow): Don't process undefined.
	gcc/testsuite/
	* gcc.dg/pr107109.c: New.
---

diff --git a/gcc/range-op.cc b/gcc/range-op.cc
index 7ef980315b66..4f647abd91c1 100644
--- a/gcc/range-op.cc
+++ b/gcc/range-op.cc
@@ -1370,6 +1370,8 @@ static void
 adjust_op1_for_overflow (irange &r, const irange &op2, relation_kind rel,
 			 bool add_p)
 {
+  if (r.undefined_p ())
+    return;
   tree type = r.type ();
   // Check for unsigned overflow and calculate the overflow part.
   signop s = TYPE_SIGN (type);
diff --git a/gcc/testsuite/gcc.dg/pr107109.c b/gcc/testsuite/gcc.dg/pr107109.c
new file mode 100644
index 000000000000..e3036f6ff22c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr107109.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+/* { dg-options "-O1" } */
+
+int printf(const char *, ...);
+int a, b;
+void c() {
+  int d, e;
+ L:
+  a = (b && a) ^ 2756578370;
+  d = ~a + (e ^ d) ^ 2756578370;
+  if (!d)
+    printf("%d", a);
+  d = a / e;
+  goto L;
+}
+int main() {
+  if (a)
+    c();
+  return 0;
+}
+