predicate aware uninitialized analysis

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158835 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 23 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/uninit-pred-7_b.c b/gcc/testsuite/gcc.dg/uninit-pred-7_b.c
new file mode 100644
index 00000000000..338d18c95e3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-pred-7_b.c
@@ -0,0 +1,23 @@
+
+/* { 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)
+    v = r;
+
+  if (m) g++;
+  else   bar();
+
+  if (( n > 10) || (l != 100))
+      blah (v); /* { dg-warning "uninitialized" "warning" } */
+
+  return 0;
+}