[all-commits] [llvm/llvm-project] 6097a4: [analyzer] Extend the documentation of MallocOverflow

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6097a41924584b613153237d8e66e9660001ce7d
      https://github.com/llvm/llvm-project/commit/6097a41924584b613153237d8e66e9660001ce7d
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2021-08-26 (Thu, 26 Aug 2021)

  Changed paths:
    M clang/docs/analyzer/checkers.rst

  Log Message:
  -----------
  [analyzer] Extend the documentation of MallocOverflow

Previously by following the documentation it was not immediately clear
what the capabilities of this checker are.

In this patch, I add some clarification on when does the checker issue a
report and what it's limitations are.
I'm also advertising suppressing such reports by adding an assertion, as
demonstrated by the test3().
I'm highlighting that this checker might produce an extensive amount of
findings, but it might be still useful for code audits.

Reviewed By: martong

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