From: Richard Biener <rguenther@suse.de>
Date: Mon, 17 Jun 2024 07:23:25 +0000 (+0200)
Subject: Testcase for PR115492
X-Git-Tag: basepoints/gcc-16~8179
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=95bfc6abf378a32e502dca0e2938f94d5b0ab094;p=thirdparty%2Fgcc.git

Testcase for PR115492

This adds a testcase for the PR fixed with reversal of
r15-204-g7c469a9fc78550.

	PR tree-optimization/115492
	* gcc.dg/torture/pr115492.c: New testcase.
---

diff --git a/gcc/testsuite/gcc.dg/torture/pr115492.c b/gcc/testsuite/gcc.dg/torture/pr115492.c
new file mode 100644
index 00000000000..4ecc060768c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr115492.c
@@ -0,0 +1,19 @@
+/* { dg-do run } */
+
+int a = 2, b=0, *c = &a, *d = &a, e=0;
+[[gnu::noipa]]
+void f(int) {}
+[[gnu::noipa]]
+int h(int *k) {
+  int ***j;
+  if (b) {
+    *j = &k; // Note the unintialized j is used here
+             // but since it is conditional and b is always zero, there should no
+             // effect otherwise.
+    ***j;
+  }
+  f(*k);
+  *d = e;
+  return *k;
+}
+int main() { if (h(c)) __builtin_abort(); }