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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits