Add test for path-sensitive uninit-val detection involving struct field.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59620 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c
index 707f78a96bd40a6af7cc987680f43e27d4b7e054..c4c02af55da72cf072fab3f32c81205413b20ff4 100644 (file)
--- a/test/Analysis/uninit-vals-ps.c
+++ b/test/Analysis/uninit-vals-ps.c
@@ -41,3 +41,21 @@ int f3(void) {
   else
     return 1;
 }
+
+// RUN: clang -checker-simple -analyzer-store-region -verify %s
+
+struct s {
+  int data;
+};
+
+struct s global;
+
+void g(int);
+
+void f4() {
+  int a;
+  if (global.data == 0)
+    a = 3;
+  if (global.data == 0)
+    g(a); // no-warning
+}