[PATCH] D78189: [analyzer] StdLibraryFunctionsChecker: Add statistics
Balázs Benics via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 14 04:00:56 PDT 2020
steakhal marked an inline comment as done.
steakhal added a comment.
Besides @balazske's comments, looks good to me.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:504-505
- if (NewState && NewState != State)
+ if (NewState && NewState != State) {
+ ++NumCaseApplied;
C.addTransition(NewState);
----------------
At first, it was strange to check `NewState != State` since the `addTransition` will do this check regardless.
Then I recognized the statistic increment.
It makes sense to count only the new state transitions.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78189/new/
https://reviews.llvm.org/D78189
More information about the cfe-commits
mailing list