From: Andrew MacLeod <amacleod@redhat.com>
Date: Tue, 11 Jan 2022 19:58:35 +0000 (-0500)
Subject: Add testcase for PR 83541.
X-Git-Tag: basepoints/gcc-13~1784
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=75845d584f490c294d40908168e5721adc38145d;p=thirdparty%2Fgcc.git

Add testcase for PR 83541.

Ranger now performs this optimzation.

	PR tree-optimization/83541
	gcc/testsuite
	* g++.dg/pr83541.C: New.
---

diff --git a/gcc/testsuite/g++.dg/pr83541.C b/gcc/testsuite/g++.dg/pr83541.C
new file mode 100644
index 000000000000..f5b181e064a6
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr83541.C
@@ -0,0 +1,17 @@
+// PR tree-optimization/83541
+// { dg-do compile }
+// { dg-options "-O3 -std=c++17 -ffast-math -fdump-tree-evrp"  }
+
+#include <limits>
+
+int test(int x)
+{
+    if(x == std::numeric_limits<int>::max())
+    {
+        return x+1;
+    }
+    return 42;
+}
+
+// { dg-final { scan-tree-dump "return 42"  evrp } }
+// { dg-final { scan-tree-dump-not "return _"  evrp } }