balazske added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp:481
+ ProgramStateRef State = C.getState();
+ if (isa<AnyFunctionCall>(Call) || isa<BlockCall>(Call)) {
+
----------------
The one thing where I am not sure is if this condition is really needed for
every case (for example can `checkFunctionPointerCall` be moved outside this
`if`?). I see only that `checkParameterCount` has to be in this `if` block.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77846/new/
https://reviews.llvm.org/D77846
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
