[gcc r13-2302] uninit testcase for PR65244

[gcc r13-2302] uninit testcase for PR65244

[Richard Biener]

https://gcc.gnu.org/g:beec815f26bcb7041a824e0f7180855d364e2271

commit r13-2302-gbeec815f26bcb7041a824e0f7180855d364e2271
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Aug 31 11:05:33 2022 +0200

    uninit testcase for PR65244
    
    The PR65244 has an issue with code in init_from_control_deps
    for which there's no direct testcase.  The following adds one.
    
            PR tree-optimization/65244
            * gcc.dg/uninit-pr65244-1.c: New testcase.

Diff:
---
 gcc/testsuite/gcc.dg/uninit-pr65244-1.c | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/uninit-pr65244-1.c b/gcc/testsuite/gcc.dg/uninit-pr65244-1.c
new file mode 100644
index 00000000000..7c1d910d546
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pr65244-1.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-O -Wuninitialized" } */
+
+extern void __attribute__((noreturn)) abort (void);
+
+int foo (int flag, int val)
+{
+  int tem;
+  if (flag)
+    {
+      if (val == 0)
+        abort ();
+      tem = val;
+    }
+  /* large - prevent jump threading */
+  __asm__ volatile ("\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n");
+  if (flag)
+    return tem; /* { dg-bogus "uninitialized" } */
+  return 0;
+}