From 70c2de62b7633e091529a9f7e20614cd18662c3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 23 May 2017 16:06:32 +0200
Subject: [PATCH] arrayIndexOutOfBounds: better note

---
 lib/checkbufferoverrun.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/checkbufferoverrun.cpp b/lib/checkbufferoverrun.cpp
index b6db7328b..d43ab7c08 100644
--- a/lib/checkbufferoverrun.cpp
+++ b/lib/checkbufferoverrun.cpp
@@ -104,7 +104,7 @@ void CheckBufferOverrun::arrayIndexOutOfBoundsError(const Token *tok, const Arra
     } else {
         errorPath.push_back(ErrorPathItem(tok, "Array index out of bounds"));
         if (condition)
-            errorPath.push_back(ErrorPathItem(condition, "Condition '" + condition->expressionString() + "'"));
+            errorPath.push_back(ErrorPathItem(condition, "Assuming that condition '" + condition->expressionString() + "' is not redundant"));
     }
 
     if (condition != nullptr) {