1 files changed, 45 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/uninit-pred-8_b.c b/gcc/testsuite/gcc.dg/uninit-pred-8_b.c
new file mode 100644
index 000000000..06e2eba27
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pred-8_b.c
@@ -0,0 +1,45 @@
+
+/* { dg-do compile } */
+/* { dg-options "-Wuninitialized -O2" } */
+
+int g;
+void bar();
+void blah(int);
+
+int foo (int n, int l, int m, int r)
+{
+  int v;
+
+  if (n < 10 || m > 100 || r < 20 || l)
+    v = r;
+
+  if (m) g++;
+  else   bar();
+
+  if ( n < 10 ||  m > 100 || r < 20 )
+      blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
+
+  if ( n < 10 ||  m > 100 || r < 10 )
+      blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
+
+  return 0;
+}
+
+int foo_2 (int n, int l, int m, int r)
+{
+  int v;
+
+  if (n < 10 || m > 100 || r < 20 || l)
+    v = r;
+
+  if (m) g++;
+  else   bar();
+
+  if ( n < 10 ||  m > 100 || r < 20 )
+      blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
+
+  if ( n < 10 ||  m > 100 || r < 30 )
+      blah(v); /* { dg-warning "uninitialized" "warning" } */
+
+  return 0;
+}