From e0daa1fbaa4a9b9cc93cbe56833dd6d374785b56 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 26 Nov 2018 13:46:41 +0000
Subject: [PATCH] Also detect violations of lower bounds as invalid dereference

This fixes the result reporting for loops/invert_string_false-valid-deref.c
---
 tool-wrapper.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index ff3268d..0be5cc3 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -52,7 +52,7 @@ parse_result()
       grep -Eq "^(\[.*\] |[[:space:]]*)dereference failure:" ; then
     echo 'FALSE(valid-deref)'
   elif tail -n 50 $LOG.ok | \
-      grep -Eq "^(\[.*\] |[[:space:]]*)array.* upper bound in " ; then
+      grep -Eq "^(\[.*\] |[[:space:]]*)array.* (lower|upper) bound in " ; then
     echo 'FALSE(valid-deref)'
   elif tail -n 50 $LOG.ok | \
       grep -Eq "^[[:space:]]+mem(cpy|set|move) (source region readable|destination region writeable)" ; then