Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

[splint.git] / test / simplebufferConstraintTests.expect

diff --git a/test/simplebufferConstraintTests.expect b/test/simplebufferConstraintTests.expect
index e5e79d450575f9ba9fe39271585c0a2886f52b7f..3db1c55e0eb5102e18e9a3d1951ab333952e23b6 100644 (file)
--- a/test/simplebufferConstraintTests.expect
+++ b/test/simplebufferConstraintTests.expect
@@ -3,7 +3,7 @@ m.c: (in function t)
 m.c:9:1: Index of possibly null pointer f: f
    m.c:8:5: Storage f may become null
 sizeof.c: (in function f)
-sizeof.c:17:1: Possible out-of-bounds store:
+sizeof.c:17:1: Likely out-of-bounds store:
     x[(sizeof(x))]
     Unable to resolve constraint:
     requires 2 >= 3
@@ -12,7 +12,7 @@ sizeof.c:17:1: Possible out-of-bounds store:
 test3.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test3.c: (in function t)
-test3.c:9:3: Possible out-of-bounds store:
+test3.c:9:3: Likely out-of-bounds store:
     g[101]
     Unable to resolve constraint:
     requires 99 >= 101