[gcc r15-1374] Testcase for PR115492

[Richard Biener via Gcc-cvs]

https://gcc.gnu.org/g:95bfc6abf378a32e502dca0e2938f94d5b0ab094

commit r15-1374-g95bfc6abf378a32e502dca0e2938f94d5b0ab094
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Jun 17 09:23:25 2024 +0200

    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:
---
 gcc/testsuite/gcc.dg/torture/pr115492.c | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/torture/pr115492.c 
b/gcc/testsuite/gcc.dg/torture/pr115492.c
new file mode 100644
index 000000000000..4ecc060768c0
--- /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(); }