[PATCH] D14014: Checker of proper vfork usage

Yury Gribov via cfe-commits cfe-commits at lists.llvm.org
Thu Oct 29 08:23:30 PDT 2015


ygribov marked 15 inline comments as done.

================
Comment at: lib/StaticAnalyzer/Checkers/VforkChecker.cpp:45
@@ +44,3 @@
+                                   CheckerContext &C) {
+  const Expr *CE = Call.getOriginExpr();
+
----------------
It seems that other checkers do more or less the same throw-away predicates (e.g. see isAssignmentOp in DereferenceChecker.cpp).

================
Comment at: lib/StaticAnalyzer/Checkers/VforkChecker.cpp:164
@@ +163,3 @@
+    // TODO: mark vfork call in BugReportVisitor
+    C.emitReport(std::move(Report));
+  }
----------------
I've added a TODO.


http://reviews.llvm.org/D14014





More information about the cfe-commits mailing list