NoQ added a comment.

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> Checker options are a different kind of animal entirely. I think we should 
> definitely let the user fine-tune some modeling checkers, for instance, 
> `unix.DynamicMemoryModeling:Optimistic`, despite us not really wanting to let 
>  anyone (even developers really) mess around whether 
> `unix.DynamicMemoryModeling` should be enabled.


Hmm, great point!

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> I am not really confident about osx checkers


Let's hide `CheckOSObject` and unhide the rest. Hmm, Devin also mentioned that 
some help texts are also not user-friendly-enough (eg., the localization 
checker help with `SymRegion`s and stuff), let's also hide this one.

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> I can see valid uses for the rest of the options, but I might not be strict 
> enough on this


I think `debug.AnalysisOrder` options are worth hiding. Let's also hide the 
`Optimistic` Malloc Checker, it's clearly alpha. Probably hide alpha checker 
options if we hide alpha checkers (i.e., Clone Checker).


Repository:
  rC Clang

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

https://reviews.llvm.org/D61839



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

Reply via email to