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

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 16 11:01:13 PDT 2017

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:

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


More information about the cfe-commits mailing list