]> andersk Git - splint.git/blobdiff - test/bufferTest.expect
Added some expect files.
[splint.git] / test / bufferTest.expect
index 3fbcc7ae4fb74426a258c039fa33696de6db7ef1..4aeb1c36829d40b97a4580025185acd9d96e702e 100644 (file)
@@ -1,7 +1,7 @@
 
 test4.c: (in function t)
 test4.c:6:3: Variable g used before definition
-test4.c:15:2: Unresolved constraint:
+test4.c:6:3: Unresolved constraint:
     Lclint is unable to resolve Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
     100 )  needed to satisfy Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
     100 ) 
@@ -9,10 +9,10 @@ test6.c:2:6: Function t defined more than once
    test4.c:15:1: Previous definition of t
 test6.c: (in function t)
 test6.c:5:4: Variable g used before definition
-test6.c:7:2: Unresolved constraint:
+test6.c:6:3: Unresolved constraint:
     Lclint is unable to resolve Requires: : MAXSET ((g @ test6.c:5:4 ) )  >=  (
     1 )  needed to satisfy Requires: : MAXSET ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
-test6.c:7:2: Unresolved constraint:
+test6.c:6:10: Unresolved constraint:
     Lclint is unable to resolve Requires: : MAXREAD ((g @ test6.c:5:4 ) )  >= 
     ( 2 )  needed to satisfy Requires: : MAXREAD ((g @ test6.c:6:10 ) )  >=  (
     1 ) 
This page took 0.034823 seconds and 4 git commands to generate.