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

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: af79f1bff90bee957ec9f963b68226e0b33eb169
      https://github.com/llvm/llvm-project/commit/af79f1bff90bee957ec9f963b68226e0b33eb169
  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