From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 2 Nov 2020 10:34:47 +0000 (+0100)
Subject: Add test for PR97505.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3a3327fe3d4e20a8fe863c2a3ad949864191f5d;p=gcc.git

Add test for PR97505.

gcc/testsuite/ChangeLog:

	PR tree-optimization/97505
	* gcc.dg/pr97505.c: New test.
---

diff --git a/gcc/testsuite/gcc.dg/pr97505.c b/gcc/testsuite/gcc.dg/pr97505.c
new file mode 100644
index 00000000000..f01d912067a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr97505.c
@@ -0,0 +1,23 @@
+// { dg-do compile }
+// { dg-options "-Os -fsanitize=signed-integer-overflow -fdump-tree-evrp" }
+
+// Test that .UBSAN_CHECK_SUB(y, x) is treated as y-x for range
+// purposes, where X and Y are related to each other.
+//
+// This effectively checks that range relationals work with builtins.
+
+void unreachable();
+
+int foobar(int x, int y)
+{
+  if (x < y)
+    {
+      int z = y - x;
+      if (z == 0)
+        unreachable();
+      return z;
+    }
+  return 5;
+}
+
+// { dg-final { scan-tree-dump-not "unreachable" "evrp" } }