From 79e2325f145d057e9cb0c3900faa3e7a9d84cde6 Mon Sep 17 00:00:00 2001
From: Borsik Gabor <gabor.borsik@gmail.com>
Date: Sat, 23 Nov 2019 20:55:19 +0100
Subject: [PATCH] [analyzer][docs] NFC: Extend documentation for MallocOverflow
 checker
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Patch by Benics Balázs

Differential Revision: https://reviews.llvm.org/D70596
---
 clang/docs/analyzer/checkers.rst | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/clang/docs/analyzer/checkers.rst b/clang/docs/analyzer/checkers.rst
index a751b1480975..b410c0858789 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)