From: Martin Sebor <msebor@redhat.com>
Date: Thu, 22 Jul 2021 17:49:33 +0000 (-0600)
Subject: Add new test for PR65178.
X-Git-Tag: basepoints/gcc-13~5838
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b362d7947b37059fdb6de62145fa5146258dd58f;p=thirdparty%2Fgcc.git

Add new test for PR65178.

gcc/testsuite/ChangeLog:
	PR tree-optimization/65178
	* gcc.dg/uninit-pr65178.c: New test.
---

diff --git a/gcc/testsuite/gcc.dg/uninit-pr65178.c b/gcc/testsuite/gcc.dg/uninit-pr65178.c
new file mode 100644
index 000000000000..21eb354fa7e1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pr65178.c
@@ -0,0 +1,21 @@
+/* PR  tree-optimizatiom/65178 - incorrect -Wmaybe-uninitialized when using
+   nested loops
+   { dg-do compile }
+   { dg-options "-O2 -Wall" } */
+
+void *bar (int);
+
+char *foo (void)
+{
+  char *c = "bla";
+  char *buf;
+  for (int a = 1;; a = 0)
+    {
+      for (char *s = c; *s; ++s)
+        {
+        }
+      if (!a) break;
+      buf = (char *) bar (1);
+    }
+  return buf;       // { dg-bogus "\\\[-Wmaybe-uninitialized" }
+}