[PATCH] D42645: New simple Checker for mmap calls

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 1 12:08:28 PST 2018


NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp:62
+
+      ExplodedNode *N = C.generateErrorNode();
+      if (!N)
----------------
You should also use `generateNonFatalErrorNode()` here so that not to prevent the analyzer from finding other bugs on that path, because your bug doesn't cause abnormal program termination or otherwise leave the analyzer in an inconsistent state.


Repository:
  rC Clang

https://reviews.llvm.org/D42645





More information about the cfe-commits mailing list