]> andersk Git - splint.git/blobdiff - test/clauses.expect
Committed to enable merge.
[splint.git] / test / clauses.expect
index 36ca6ffc9cd6b60e56d9c97c04786f9d7fd3a0d2..3ef45751e91b44ae0f56bd30bf73eba7f6d6c191 100644 (file)
@@ -25,9 +25,9 @@ clauses3.c:61:5: Storage x->x is released in one path, but live in another.
 
 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.
+Command Line: 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
This page took 0.474445 seconds and 4 git commands to generate.