[all-commits] [llvm/llvm-project] 1c8f99: [analyzer][CallAndMessage] Add checker options for...

[Kristóf Umann via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1c8f999e0b59731a4214f76528f83e4196e1fcc3
      https://github.com/llvm/llvm-project/commit/1c8f999e0b59731a4214f76528f83e4196e1fcc3
  Author: Kirstóf Umann <dkszelethus at gmail.com>
  Date:   2020-05-21 (Thu, 21 May 2020)

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

  Log Message:
  -----------
  [analyzer][CallAndMessage] Add checker options for each bug type

iAs listed in the summary 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 (it was dead code), so that checker didn't really exist in any
meaningful way anyways.

Differential Revision: https://reviews.llvm.org/D77866