X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b73d1009d4a3494951c129e49f50f8b4c795deb1..35e8712de8a20811e536e7506deb87e9492a710d:/test/clauses.expect diff --git a/test/clauses.expect b/test/clauses.expect index b726830..03ddaef 100644 --- a/test/clauses.expect +++ b/test/clauses.expect @@ -29,9 +29,6 @@ clauses3.c:61:5: Storage x->x is released in one path, but live in another. Finished checking --- 2 code warnings, as expected -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 released