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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits