X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ac0860d89d6c20341ebbf08e726ad2eb0f7681e8..16c024b587f5ddc115928d5cca7095508aa208d9:/test/tests2.2.expect diff --git a/test/tests2.2.expect b/test/tests2.2.expect index 49ce385..70d2a03 100644 --- a/test/tests2.2.expect +++ b/test/tests2.2.expect @@ -2,58 +2,58 @@ boolops.c: (in function main) boolops.c:12:3: Assignment of int to Kzam: b = 12 -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected mbool.h:1:17: Type implemented as macro: bool -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected boolenum.c: (in function main) boolenum.c:11:8: Use of == with BOOLEAN variables (risks inconsistency because of multiple true values): a == TRUE -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected break.c: (in function f) break.c:9:4: Dereference of possibly null pointer x: *x break.c:1:24: Storage x may become null -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected bstring.c:4:14: Initial value of s4[0] is type char *, expects char: "hullo" bstring.c:4:23: Initial value of s4[1] is type char *, expects char: "g'bye" -Finished LCLint checking --- 2 code errors found, as expected +Finished checking --- 2 code warnings, as expected decl.c:3:21: Structure struct tm declared with fields { int x; }, specified with fields { int tm_sec; int tm_min; int tm_hour;, ... } - load file ansi.lcd:961:1: Specification of struct tm + load file standard.lcd: Specification of struct tm decl.c:3:17: Field tm_sec in specified corresponds to x in declaration - load file ansi.lcd:637:1: Specification of tm_sec + load file standard.lcd: Specification of tm_sec -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected enumbool.c:1:34: Member of boolean enumerated type definition does not match name set to represent TRUE or FALSE: false enumbool.c:1:34: Member of boolean enumerated type definition does not match name set to represent TRUE or FALSE: true -Finished LCLint checking --- 2 code errors found, as expected +Finished checking --- 2 code warnings, as expected -Finished LCLint checking --- no code errors found +Finished checking --- no warnings -Finished LCLint checking --- no code errors found +Finished checking --- no warnings extension.c:2:18: Parse Error: New function scope inside function. (For help on - parse errors, see lclint -help parseerrors.) + parse errors, see splint -help parseerrors.) *** Cannot continue. -Finished LCLint checking --- no code errors found +Finished checking --- no warnings nestext.c: (in function f) nestext.c:3:26: Declaration using extern inside function scope: int test(void) -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected sizeofarray.c:1:12: Function parameter x declared as manifest array (size constant is meaningless) @@ -63,7 +63,7 @@ sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter: sizeofarray.c:10:16: Return value type size_t does not match declared type int: sizeof((a)) -Finished LCLint checking --- 3 code errors found, as expected +Finished checking --- 3 code warnings, as expected rex.c: (in function main) rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from @@ -77,8 +77,8 @@ rex.c:19:12: Only storage *(*(*(re.children)->children)->children)->parent (type struct rx_hash *) derived from variable declared in this scope is not released (memory leak) -Finished LCLint checking --- 4 code errors found, as expected +Finished checking --- 4 code warnings, as expected struct.c:13:6: Function main declared to return void, should return int -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected