[PATCH] D14014: Checker of proper vfork usage

[Yury Gribov via cfe-commits]

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