[PATCH] D66042: [analyzer] Analysis: "Disable" core checkers
Csaba Dabis via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 12 16:40:27 PDT 2019
Charusso added a comment.
In D66042#1625971 <https://reviews.llvm.org/D66042#1625971>, @NoQ wrote:
> In D66042#1625000 <https://reviews.llvm.org/D66042#1625000>, @Szelethus wrote:
> > if we add this flag, people responsible for developing interafaces for the analyzer might end up using it.
> And this is fine, that's supported. There's a very limited list of such people and we could talk to all of them easily if we wanted to. On the other hand, an end-user running `clang --analyze -Xclang -flagflagflag` manually on his desktop is not supported.
So, as I am the owner of the patch, I have to take responsibilities for my experimental stuff. Every experimental flag we provide we provide for peoples who creates interfaces. Like my `PathDiagnosticPopUpPiece` is an experimental feature, and has not been arrived to CodeChecker yet. It is upstreamed and if someone wants to invoke it, it is possible since it is upstreamed under the estimation it is experimental and non-required to implement. It was broken for two months and no-one cared because it is an experimental feature. Experimental features could arrive without a perfect shape and only made for people who could deal with them so that if someone does not know how to use them, we assume that that user would not use that.
In D66042#1624684 <https://reviews.llvm.org/D66042#1624684>, @NoQ wrote:
> My idea here was that this new feature isn't going to be user-facing. We aren't promising to support all combinations of enabled-disabled-silenced-dependent-registercheckerhacks, but instead use the new feature when we know it'll do exactly what we want. It is going to be up to the user-facing UI to decide how to use this feature, but not up to the end-users who simply want to silence diagnostics.
That experimental-feature-chain invented by @NoQ in his previous quoted comment explains very well how bad is the situation since the beginning for an advanced user. They are advanced users so they could handle any experimental feature pretty easily. Also please note that, **it is an experimental feature**.
CHANGES SINCE LAST ACTION
More information about the cfe-commits