[analyzer][docs] NFC: Extend documentation for MallocOverflow checker

Patch by Benics Balázs

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

1 files changed, 6 insertions, 0 deletions

diff --git a/clang/docs/analyzer/checkers.rst b/clang/docs/analyzer/checkers.rst
index a751b148097..b410c085878 100644
--- a/clang/docs/analyzer/checkers.rst
+++ b/clang/docs/analyzer/checkers.rst
@@ -1974,6 +1974,12 @@ Check for overflows in the arguments to malloc().
    void *p = malloc(n * sizeof(int)); // warn
  }
 
+ void test2(int n) {
+   if (n > 100) // gives an upper-bound
+     return;
+   void *p = malloc(n * sizeof(int)); // no warning
+ }
+
 .. _alpha-security-MmapWriteExec:
 
 alpha.security.MmapWriteExec (C)