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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to