[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