From 6f2c8a8236fbd3b0adbdd97f7b4e08eea7871455 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sat, 28 Jun 2014 10:09:53 +0200
Subject: [PATCH] Fixed #5931 (arrayIndexOutOfBoundsCond id reported instead of
 arrayIndexOutOfBounds)

---
 lib/checkbufferoverrun.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/checkbufferoverrun.h b/lib/checkbufferoverrun.h
index b01322968..da8e3f1a7 100644
--- a/lib/checkbufferoverrun.h
+++ b/lib/checkbufferoverrun.h
@@ -248,6 +248,7 @@ public:
         c.argumentSizeError(0, "function", "array");
         c.writeOutsideBufferSizeError(0,2,3,"write");
         c.negativeMemoryAllocationSizeError(0);
+        c.reportError(nullptr, Severity::warning, "arrayIndexOutOfBoundsCond", "Array 'x[10]' accessed at index 20, which is out of bounds. Otherwise condition 'y==20' is redundant.");
     }
 private: