1 files changed, 43 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/uninit-pred-4_a.c b/gcc/testsuite/gcc.dg/uninit-pred-4_a.c
new file mode 100644
index 000000000..7b2d291a6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pred-4_a.c
@@ -0,0 +1,43 @@
+/* { dg-do compile } */
+/* { dg-options "-Wuninitialized -O2" } */
+
+int g;
+void bar();
+void blah(int);
+int foo (int n, int m, int r, int t)
+{
+  int flag = 0;
+  int v;
+
+  if (t)
+    {
+      if (n)
+        {
+          v = r;    /* init path 1 */
+          flag = 1;
+        }
+
+      if (m)
+        g++;
+      else 
+        bar();
+
+      if (flag)  /* properly  guarded */
+        blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
+    }
+  else
+    {
+      v = r+1; /* init path 2 */
+      flag = 2;
+    }
+
+  if (m)
+    g++;
+  else 
+    bar();
+
+  if (flag)  /* properly guarded */
+    blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
+
+  return 0;
+}