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



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

Reply via email to