Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / test / bufferTest.out

diff --git a/test/bufferTest.out b/test/bufferTest.out
index 4aeb1c36829d40b97a4580025185acd9d96e702e..9261bea265e4511e645a543ca79786e288fd6973 100644 (file)
--- a/test/bufferTest.out
+++ b/test/bufferTest.out
@@ -1,20 +1,13 @@
 
 test4.c: (in function t)
 test4.c:6:3: Variable g used before definition
-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 ) 
-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: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: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 ) 
-
-Finished LCLint checking --- 6 code errors found
+constraintExpr.c:307: at source point
+test4.c:15:2: *** Internal Bug at constraintExpr.c:307: llassert failed:
+                constraintExprData_isDefined(data) [errno: 25]
+*** Last code point: aliasChecks.c:3664
+*** Previous code point: aliasChecks.c:3565
+Possible system error diagnostic: : Inappropriate ioctl for device
+     *** Please report bug to lclint-bug@cs.virginia.edu ***
+       (attempting to continue, results may be incorrect)
+lclint: llerror.c:1204: llbugaux: Assertion `0' failed.
+Abort (core dumped)