ygribov added inline comments. ================ Comment at: lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp:118 @@ +117,3 @@ + std::tie(VD, Init) = parseAssignment(S); + if (VD && Init) + S = Init; ---------------- Semantics is slightly changed for assignment case here: originally S would have been changed iff Init is not NULL but now I also require valid VarDecl on LHS. Frankly I'm not sure if it's a serious change (probably not).
http://reviews.llvm.org/D14014 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits