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

llvm-svn: 59620

clang/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
+}