From: Martin Sebor <msebor@redhat.com>
Date: Mon, 29 Mar 2021 21:58:01 +0000 (-0600)
Subject: PR tree-optimization/61869 - Spurious uninitialized warning
X-Git-Tag: basepoints/gcc-12~358
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af739c8797d4cdf550366d0ef48136e0073df5c9;p=thirdparty%2Fgcc.git

PR tree-optimization/61869 - Spurious uninitialized warning

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

diff --git a/gcc/testsuite/gcc.dg/uninit-pr61869.c b/gcc/testsuite/gcc.dg/uninit-pr61869.c
new file mode 100644
index 000000000000..ef4f43644719
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pr61869.c
@@ -0,0 +1,47 @@
+/* PR tree-optimization/61869 - Spurious uninitialized warning (lim1 pass,
+   pretty-printed internal var
+   { dg-do compile }
+   { dg-options "-O2 -Wall" } */
+
+typedef struct data {
+  struct data *next;
+} data;
+
+typedef struct list {
+  unsigned dummy;
+  struct list *next;
+  data *start;
+  int flags;
+} list;
+
+typedef struct iterator {
+  struct data *ptr;
+  unsigned dummy;
+} iterator;
+
+iterator start (list *a) {
+  iterator i = {
+    *(a->flags ? &a->start : 0),
+    0
+  };
+  return i;
+}
+
+void g (iterator *i);
+
+void f (list *b)
+{
+  list *a;
+  iterator i;       // { dg-bogus "-Wmaybe-uninitialized" }
+
+  for (a = b; a; a = a->next)
+  for (i = start (a); i.ptr; i.ptr = i.ptr->next)
+   {
+     if (i.ptr)
+       return;
+   }
+
+  for (a = b; a; a = a->next)
+  for (i = start (a); i.ptr; i.ptr = i.ptr->next)
+    g(&i);
+}