X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..b2d6351a4779b8f0c4e781915f41191b8a3c1150:/test/ulstypes.expect diff --git a/test/ulstypes.expect b/test/ulstypes.expect index 5b7c753..89a6eed 100644 --- a/test/ulstypes.expect +++ b/test/ulstypes.expect @@ -11,9 +11,9 @@ ulstypes.c:15:10: Return value type unsigned int does not match declared type ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int: -15 -Finished LCLint checking --- 8 code errors found, as expected +Finished checking --- 8 code warnings, as expected -Finished LCLint checking --- no code errors found +Finished checking --- no warnings ulstypes.c:3:23: Contradictory long and short type qualifiers ulstypes.c: (in function f) @@ -51,4 +51,4 @@ ulstypes.c:2:10: Variable exported but not used outside ulstypes: li ulstypes.c:5:10: Function exported but not used outside ulstypes: f ulstypes.c:16:1: Definition of f -Finished LCLint checking --- 28 code errors found, as expected +Finished checking --- 28 code warnings, as expected