X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/68de3f33cfd8b4bd66fe22f6069e2658082bdf58..35b9a1d988c06908076e3a6eeae55b1147879607:/test/unsignedcompare.expect

diff --git a/test/unsignedcompare.expect b/test/unsignedcompare.expect
index 5db7a80..07b67aa 100644
--- a/test/unsignedcompare.expect
+++ b/test/unsignedcompare.expect
@@ -1,14 +1,9 @@
-lclint +posixlib unsignedcompare.c -expect 2
 
 unsignedcompare.c: (in function test)
 unsignedcompare.c:5:3: Assignment of ssize_t to unsigned long int:
                           res = read(fd, buffer, cnt)
-  To allow arbitrary integral types to match long unsigned, use
-  +longunsignedintegral.
 unsignedcompare.c:7:7: Comparison of unsigned value involving zero: res <= 0
-  An unsigned value is used in a comparison with zero in a way that is either a
-  bug or confusing. (-unsignedcompare will suppress message)
 unsignedcompare.c:12:7: Comparison of unsigned value involving zero: res < 0
 unsignedcompare.c:12:18: Comparison of unsigned value involving zero: res >= 0
 
-Finished LCLint checking --- 4 code errors found, expected 2
+Finished checking --- 4 code warnings, as expected