[PATCH] D45532: [StaticAnalyzer] Checker to find uninitialized fields after a constructor call
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Apr 23 11:56:51 PDT 2018
NoQ added a comment.
Guys, what do you think about a checker that warns on uninitialized fields only when at least one field is initialized? I'd be much more confident about turning such check on by default. We can still keep a `pedantic` version.
> I can say with confidence that CodeChecker does not break if the same category name is used by two different analyzers. Does the same stand for XCode / Scan-Build?
XCode and Scan-Build only support one analyzer, so it won't be a problem (at least not until more analyzers get supported).
But in general if we do overlapping names, we must be super sure that they mean the same thing in both analyzers, so that we didn't end up with a user interface in which one of the relatively common task would be to enable clang-tidy "bugprone" checkers and disable static analyzer "bugprone" checkers but the user would have to list all checkers by name in order to accomplish that because they all stay in the same package.
https://reviews.llvm.org/D45532
More information about the cfe-commits
mailing list