From: Martin Sebor <msebor@redhat.com>
Date: Thu, 25 Mar 2021 23:23:06 +0000 (-0600)
Subject: PR tree-optimization/55060 - False un-initialized variable warnings
X-Git-Tag: basepoints/gcc-12~416
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e88ca9f42306e291d3cb2d34dd7f2b017a3c1e52;p=thirdparty%2Fgcc.git

PR tree-optimization/55060 - False un-initialized variable warnings

gcc/testsuite/ChangeLog:
	PR tree-optimization/55060
	* gcc.dg/uninit-pr55060.c: New.
---

diff --git a/gcc/testsuite/gcc.dg/uninit-pr55060.c b/gcc/testsuite/gcc.dg/uninit-pr55060.c
new file mode 100644
index 000000000000..b2f2cb148a0f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pr55060.c
@@ -0,0 +1,30 @@
+/* PR tree-optimization/55060 - False un-initialized variable warnings
+   { dg-do compile }
+   { dg-options "-O1 -Wuninitialized" } */
+
+static void a(int *i) { }
+static void b(int p) { }
+int foo(void) {
+  int i;
+  a(&i);
+  b(i);             // { dg-bogus "\\\[-Wuninitialized" }
+  return 0;
+}
+
+static void c(int *i) { }
+extern void d(int p);
+int bar(void) {
+  int i;
+  c(&i);
+  d(i);             // { dg-warning "\\\[-Wuninitialized" }
+  return 0;
+}
+
+extern void e(int *i);
+static void f(int p) {};
+int baz(void) {
+  int i;
+  e(&i);
+  f(i);             // { dg-bogus "\\\[-Wuninitialized" }
+  return 0;
+}