--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gcc.dg/uninit-pred-2_c.c	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,48 @@
+/* { dg-do compile } */
+/* { dg-options "-Wuninitialized -O2 -fno-tree-tail-merge" } */
+
+int g;
+void bar (void);
+void blah (int);
+
+int foo (int n, int m, int r)
+{
+  int flag = 0;
+  int v; 
+
+  if (n)
+    {
+      v = r;
+      flag = 1;
+    }
+
+  if (m) g++;
+  else bar();
+
+  if (flag)
+    blah(v); /* { dg-bogus "uninitialized" "bogus uninitialized var warning" } */ 
+
+  return 0;
+}
+
+int foo_2 (int n, int m, int r)
+{
+  int flag = 0;
+  int v; 
+
+  if (n)
+    {
+      v = r;
+      flag = 1;
+    }
+
+  if (m) g++;
+  else bar();
+
+  if (flag)
+    blah(v); /* { dg-bogus "uninitialized" "bogus uninitialized var warning" } */ 
+  else
+    blah(v); /* { dg-warning "uninitialized" "real uninitialized var warning" } */
+
+  return 0;
+}