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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

This is a great idea, but the tests just seem to, well, test the new functionality?

On a different issue, take a look at how certain help related frontend flags (not `-analyzer-config` ones!) skip the analysis, like `-analyzer-checker-help`, or `-analyzer-list-enabled-checkers`. If I were to set `DisplayLoadedSummaries` to true, most probably I'd only be interested in the capabilities of the checker, not the analysis itself. Though, I don't have an out-of-the-box solution that could work here, unless we outright emit an error in the checker registry function. That wouldn't be very nice, would it? :^) So, for the time being, regard this as me thinking aloud.



================
Comment at: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td:299
+                  "DisplayLoadedSummaries",
+                  "If set to true, the checker displays all loaded summaries.",
+                  "false",
----------------
I see what you mean, but "loaded" is a bit ambiguous unless you know how the checker operates.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D78118