From: Richard Biener <rguenther@suse.de>
Date: Wed, 31 Aug 2022 09:05:33 +0000 (+0200)
Subject: uninit testcase for PR65244
X-Git-Tag: basepoints/gcc-14~4905
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=beec815f26bcb7041a824e0f7180855d364e2271;p=thirdparty%2Fgcc.git

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 --git a/gcc/testsuite/gcc.dg/uninit-pr65244-1.c b/gcc/testsuite/gcc.dg/uninit-pr65244-1.c
new file mode 100644
index 000000000000..7c1d910d5464
--- /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;
+}