[PATCH] D33645: [analyzer] Add missing documentation for static analyzer checkers

[Anna Zaks via Phabricator via cfe-commits]

zaks.anna added inline comments.


================
Comment at: www/analyzer/alpha_checks.html:91
+(C, C++)</span><div class="descr">
+Check for logical errors for function calls and Objective-C message 
+expressions (e.g., uninitialized arguments, null function pointers, 
----------------
szdominik wrote:
> zaks.anna wrote:
> > for function calls -> in function calls?
> > After briefly looking into this, the checker only reports the use of uninitialized arguments in calls, not the other issues (like null function pointers). Could you double check this?
> As I see here
> https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp#L341 
> there are checks for null pointers too. 
The file implements 2 checkers and only one of them is in alpha:
REGISTER_CHECKER(CallAndMessageUnInitRefArg)
REGISTER_CHECKER(CallAndMessageChecker)

You can search for "CallAndMessageUnInitRefArg" to see that it effects uninitialized parameters warnings.


https://reviews.llvm.org/D33645