[PATCH] D77866: [analyzer][CallAndMessage] Add checker options for each bug category

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 2 03:52:13 PDT 2020


NoQ added a comment.

We (me, Valeriy, Devin)'ve just been talking about this and mostly of agreed that `core.CallAndMessage` should ideally be removed (at least as a `Checkers.td` entity) and individual checks moved to the relevant package (null dereference, use of uninitialized value, etc.). It won't hurt backwards compatibility too much because so far there was no reasonable outcome that one might expect from disabling `core.CallAndMessage`, given that it's a weird mix of completely unrelated checks. The benefit is that disabling, say, null dereference checker will actually disable all null dereference warnings (as opposed to having to additionally disable the ones that come from `CallAndMessage`).

Also a regular reminder that we wouldn't have had this conversation if we had hashtags instead of packages (#CallAndMessage #NullDereference #C++ #AllPlatforms #UndefinedBehavior #SecurityCritical #PathSensitive #Stable #2012).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77866





More information about the cfe-commits mailing list