[PATCH] D14652: [analyzer] Improve modeling of static initializers.

[Anna Zaks via cfe-commits]

zaks.anna added inline comments.

================
Comment at: test/Analysis/inline.cpp:308
@@ +307,3 @@
+    clang_analyzer_eval(0 != void_string); // expected-warning{{TRUE}}
+    clang_analyzer_eval(0 != ((char *)void_string)[1]); // expected-warning{{TRUE}}
+  }
----------------
Why are we checking that the first element is not '0'?


http://reviews.llvm.org/D14652