NoQ added a comment.

In https://reviews.llvm.org/D35109#969712, @baloghadamsoftware wrote:

> In https://reviews.llvm.org/D35109#969109, @NoQ wrote:
>
> > I guess it'd be an `-analyzer-config` flag. You can add it to the 
> > `AnalyzerOptions` object, which has access to these flags and can be 
> > accessed from `AnalysisManager`.
>
>
> OK, I can do that. BUt how should I call it? The name should be something the 
> user also understands, not referring to some internal stuff. Any ideas?


I guess a lot of these options already refer to internal stuff. Similarly to 
off-by-default checkers, such option would not be for users to be thinking 
whether they want it or not, it is a flag to hide an experimental feature from 
users completely, while still being able to develop it incrementally, until 
it's ready to be enabled by default.

`-analyzer-config aggressive-relational-comparison-simplification=true` sounds 
good to me.


https://reviews.llvm.org/D35109



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

Reply via email to