[PATCH] D66042: [analyzer] Analysis: "Disable" core checkers

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 14 04:16:12 PDT 2019

Szelethus added a comment.

In D66042#1629019 <https://reviews.llvm.org/D66042#1629019>, @alexfh wrote:

> In D66042#1627760 <https://reviews.llvm.org/D66042#1627760>, @NoQ wrote:
> > In D66042#1627193 <https://reviews.llvm.org/D66042#1627193>, @alexfh wrote:
> >
> > > But without this patch clang seems to have the same two ANALYZE log lines regardless of whether I enable `core` checkers or not
> >
> >
> > Yup, it seems as if clang-tidy enables `core` as long as at least one Static Analyzer checker is enabled (even if it's path-insensitive).
> It would be nice, if Static Analyzer would hide this from the users completely. The user would specify the list of checkers they need and CSA would enable whatever additional checkers it needs (if any) and then filter out their results. Is it feasible?

Yes, it is! I've been working on a checker dependency system for a while, and just proposed some improvements on it on the mailing list that would achieve exactly this :)



More information about the cfe-commits mailing list