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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, baloghadamsoftware, xazax.hun, rnkovacs, dcoughlin, martong, balazske.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, ASDenysPetrov, steakhal, Charusso, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, whisperity.
Szelethus added a parent revision: D77846: [analyzer][CallAndMessage][NFC] Split up checkPreCall.

As listed in the summary D77846 <https://reviews.llvm.org/D77846>, we have 5 different categories of bugs we're checking for in CallAndMessage. I think the documentation placed in the code explains my thought process behind my decisions quite well.

A non-obvious change I had here is removing the entry for CallAndMessageUnInitRefArg. In fact, I removed the `CheckerNameRef` typed field back in D77845 <https://reviews.llvm.org/D77845> (it was dead code), so that checker didn't really exist in any meaningful way anyways.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D77866

Files:
  clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
  clang/include/clang/StaticAnalyzer/Core/BugReporter/BugType.h
  clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
  clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
  clang/test/Analysis/PR40625.cpp
  clang/test/Analysis/analyzer-config.c
  clang/test/Analysis/analyzer-enabled-checkers.c
  clang/test/Analysis/call-and-message.c
  clang/test/Analysis/call-and-message.cpp
  clang/test/Analysis/call-and-message.m
  clang/test/Analysis/call-and-message.mm
  clang/test/Analysis/exercise-ps.c
  clang/test/Analysis/reference.mm
  clang/test/Analysis/uninit-const.c
  clang/test/Analysis/uninit-const.cpp
  clang/test/Analysis/uninit-msg-expr.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77866.256547.patch
Type: text/x-patch
Size: 41136 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200410/bccad97e/attachment-0001.bin>