aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew MacLeod <amacleod@redhat.com>2022-01-11 14:58:35 -0500
committerAndrew MacLeod <amacleod@redhat.com>2022-01-12 10:28:16 -0500
commit75845d584f490c294d40908168e5721adc38145d (patch)
tree1c3428cf9982513722053dffb9395bc01693970e
parent77184b7446196eae1a70452939ccd3e99e0d2e3b (diff)
downloadgcc-75845d584f490c294d40908168e5721adc38145d.zip
gcc-75845d584f490c294d40908168e5721adc38145d.tar.gz
gcc-75845d584f490c294d40908168e5721adc38145d.tar.bz2
Add testcase for PR 83541.
Ranger now performs this optimzation. PR tree-optimization/83541 gcc/testsuite * g++.dg/pr83541.C: New.
-rw-r--r--gcc/testsuite/g++.dg/pr83541.C17
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/pr83541.C b/gcc/testsuite/g++.dg/pr83541.C
new file mode 100644
index 0000000..f5b181e
--- /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 } }