Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / for.expect

diff --git a/test/for.expect b/test/for.expect
index 49c96888bf75e7588284268b0241db678a1ce2c2..e75990d2de3f28b254fbf0c67db3df51efa56171 100644 (file)
--- a/test/for.expect
+++ b/test/for.expect
@@ -1,9 +1,10 @@
 
 for.c: (in function f)
 for.c:13:5: Possible out-of-bounds store:
+    t[i]
     Unable to resolve constraint:
     requires i @ for.c:13:7 <= 10
      needed to satisfy precondition:
     requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected