[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