[PATCH] D78118: [analyzer] StdLibraryFunctionsChecker: Add option to display loaded summaries

Tue May 5 09:41:49 PDT 2020

Szelethus added a comment.

It would be nice to have a user-facing option that lists the functions this checker is **capable** of modeling in another patch :)

================
Comment at: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td:299
+                  "DisplayLoadedSummaries",
+                  "If set to true, the checker displays all loaded summaries.",
+                  "false",
----------------
martong wrote:
> Szelethus wrote:
> > I see what you mean, but "loaded" is a bit ambiguous unless you know how the checker operates.
> Yeah, okay, what about "the found summaries" or "applicable summaries" or "? This list can  be different for every TU. So I am adding "... for the translation unit".
There is no need to keep this short :) Feel free to go on a bit of a tangent, if you prefer. But, to me, it seems like this **isn't** a user-facing option, this is a debug flag to check which functions are present in the TU, which is okay, but in that case we better make it `Hidden`, so it will only show up in `-analyzer-checker-help-developer`.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78118/new/

https://reviews.llvm.org/D78118