X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..45c166515f89d53f712f6c832ebcea6f2543452c:/test/clauses.expect

diff --git a/test/clauses.expect b/test/clauses.expect
index 0177ee6..03ddaef 100644
--- a/test/clauses.expect
+++ b/test/clauses.expect
@@ -1,40 +1,41 @@
 
 clauses.c: (in function f)
 clauses.c:6:5: Variable x is released in true branch, but live in continuation.
-   clauses.c:5:13: Storage x is released
+   clauses.c:6:5: in true branch:
+   clauses.c:5:13: Storage x released
 clauses.c:11:5: Variable y is released in while body, but live if loop is not
                    taken.
-   clauses.c:10:13: Storage y is released
+   clauses.c:11:5: in while body:
+   clauses.c:10:13: Storage y released
 clauses.c:20:5: Variable z2 is released in false branch, but live in true
                    branch.
-   clauses.c:19:13: Storage z2 is released
+   clauses.c:20:5: in false branch:
+   clauses.c:19:13: Storage z2 released
 clauses.c:20:5: Variable z is released in true branch, but live in false
                    branch.
-   clauses.c:15:13: Storage z is released
+   clauses.c:20:5: in true branch:
+   clauses.c:15:13: Storage z released
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 clauses3.c: (in function h)
 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
-   clauses3.c:46:10: Storage x->x is released
+   clauses3.c:46:10: Storage x->x released
 clauses3.c: (in function m)
 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
-   clauses3.c:60:13: Storage x->x is released
+   clauses3.c:60:13: Storage x->x released
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected
 
-Warning: selecting unix library.  Unix library is ad hoc addition to POSIX
-library.  Recommend use +posixlib to select POSIX library instead. Use
--warnunixlib to suppress this message.
 clauses3.c: (in function h)
 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
-   clauses3.c:46:10: Storage x->x is released
+   clauses3.c:46:10: Storage x->x released
 clauses3.c: (in function m)
 clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
                      free (x->x)
 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
-   clauses3.c:60:13: Storage x->x is released
+   clauses3.c:60:13: Storage x->x released
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected