From: drl7x Date: Thu, 15 Nov 2001 21:25:07 +0000 (+0000) Subject: Removed .out files from the repository because they are automaticaly gnerated durrin... X-Git-Tag: Alpha-3_0_0_19~13 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/5c8657f80ef22fff29c269a5d33317902bf3601b Removed .out files from the repository because they are automaticaly gnerated durring make test and have no propose after that. --- diff --git a/test/abstptr.out b/test/abstptr.out deleted file mode 100644 index 1b1d5a3..0000000 --- a/test/abstptr.out +++ /dev/null @@ -1,25 +0,0 @@ - -abstptr.c: (in function main) -abstptr.c:13:3: Assignment of abst * to void *: vp = ap -abstptr.c:14:3: Assignment of abst * to int *: ip = ap2 -abstptr.c:15:3: Assignment of int * to abst *: ap = ip -abstptr.c:16:17: Cast from underlying abstract type abst *: (void *)ap -abstptr.c:17:8: Dereference of null pointer ap: *ap - abstptr.c:15:8: Storage ap becomes null -abstptr.c:19:16: Cast from underlying abstract type abst *: (void *)&a -abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b -abstptr.c:21:3: Assignment of int * to abst *: ap = &b -abstptr.c:22:3: Assignment of int to abst: *ap = b - -Finished LCLint checking --- 9 code errors found, as expected - -abstptr.c: (in function main) -abstptr.c:14:3: Assignment of abst * to int *: ip = ap2 -abstptr.c:15:3: Assignment of int * to abst *: ap = ip -abstptr.c:17:8: Dereference of null pointer ap: *ap - abstptr.c:15:8: Storage ap becomes null -abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b -abstptr.c:21:3: Assignment of int * to abst *: ap = &b -abstptr.c:22:3: Assignment of int to abst: *ap = b - -Finished LCLint checking --- 6 code errors found, as expected diff --git a/test/abstract.out b/test/abstract.out deleted file mode 100644 index 815b38b..0000000 --- a/test/abstract.out +++ /dev/null @@ -1,22 +0,0 @@ - -commentcmd.c:1:13: Mutable abstract type abst1 declared without pointer - indirection: int (violates assignment semantics) -commentcmd.c:1:20: Mutable abstract type abst2 declared without pointer - indirection: int (violates assignment semantics) -commentcmd.c:2:13: Mutable abstract type abst3 declared without pointer - indirection: int (violates assignment semantics) -commentcmd.c: (in function main) -commentcmd.c:11:22: Cast to abstract type abst2: (abst2)i -commentcmd.c:16:22: Cast to abstract type abst1: (abst1)i -commentcmd.c:17:22: Cast to abstract type abst2: (abst2)i -commentcmd.c:18:22: Cast to abstract type abst3: (abst3)i -commentcmd.c:22:22: Cast to abstract type abst1: (abst1)i -commentcmd.c:24:22: Cast to abstract type abst3: (abst3)i -commentcmd.c:34:22: Cast to abstract type abst1: (abst1)i -commentcmd.c:40:22: Cast to abstract type abst1: (abst1)i -commentcmd.c:41:22: Cast to abstract type abst2: (abst2)i -commentcmd.c:46:22: Cast to abstract type abst1: (abst1)i -commentcmd.c:47:22: Cast to abstract type abst2: (abst2)i -commentcmd.c:48:22: Cast to abstract type abst3: (abst3)i - -Finished LCLint checking --- 15 code errors found, as expected diff --git a/test/alttypes.out b/test/alttypes.out deleted file mode 100644 index b1c269f..0000000 --- a/test/alttypes.out +++ /dev/null @@ -1,11 +0,0 @@ - -alttypes.c:19:20: Function f2 inconsistently redeclared to return alternate - types int | bool (types match, but alternates are not identical, so - checking may not be correct) - alttypes.c:17:20: Previous declaration of f2: int | void -alttypes.c:25:20: Variable x inconsistently redeclared with alternate types int - | char (types match, but alternates are not identical, so checking may not - be correct) - alttypes.c:24:33: Previous declaration of x: int | char | bool - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/ansireserved.out b/test/ansireserved.out deleted file mode 100644 index eb377ae..0000000 --- a/test/ansireserved.out +++ /dev/null @@ -1,84 +0,0 @@ - -ansireserved.c:9: Name EVANS is reserved for future ANSI library extensions. - Macros beginning with E and a digit or uppercase letter may be added to - . (See ANSI, Section 4.13.1) -ansireserved.c:1:5: Name decimal_point is reserved for the standard library -ansireserved.c:2:5: Name srand is reserved for the standard library -ansireserved.c:3:5: Name labs is reserved for the standard library -ansireserved.c:4:5: Name _x is in the implementation name space (any identifier - beginning with underscore) -ansireserved.c:5:5: Name atan2f is reserved for future ANSI library extensions. - The names of all existing functions in suffixed with 'f' or 'l' - may be added to . (See ANSI, Section 4.13.4) -ansireserved.c:7:13: Name wcst is reserved for future ANSI library extensions. - Functions that begin with "mem" or "wcs" and a lowercase letter letter may - be added to . (See ANSI, Section 4.13.8) -ansireserved.c:11:5: Name isaFish is reserved for future ANSI library - extensions. Functions beginning with "is" or "to" and a lowercase letter - may be added to . (See ANSI, Section 4.13.2) -ansireserved.c: (in function isaFish) -ansireserved.c:16:20: Name wctomb is reserved for the standard library - -Finished LCLint checking --- 9 code errors found, as expected - -ansireserved.c:9: Name EVANS is reserved for future ANSI library extensions. - Macros beginning with E and a digit or uppercase letter may be added to - . (See ANSI, Section 4.13.1) -ansireserved.c:1:5: Name decimal_point is reserved for the standard library -ansireserved.c:2:5: Name srand is reserved for the standard library -ansireserved.c:3:5: Name labs is reserved for the standard library -ansireserved.c:4:5: Name _x is in the implementation name space (any identifier - beginning with underscore) -ansireserved.c:5:5: Name atan2f is reserved for future ANSI library extensions. - The names of all existing functions in suffixed with 'f' or 'l' - may be added to . (See ANSI, Section 4.13.4) -ansireserved.c:7:13: Name wcst is reserved for future ANSI library extensions. - Functions that begin with "mem" or "wcs" and a lowercase letter letter may - be added to . (See ANSI, Section 4.13.8) -ansireserved.c:11:5: Name isaFish is reserved for future ANSI library - extensions. Functions beginning with "is" or "to" and a lowercase letter - may be added to . (See ANSI, Section 4.13.2) -ansireserved.c: (in function isaFish) -ansireserved.c:13:20: Name powl is reserved for future ANSI library extensions. - The names of all existing functions in suffixed with 'f' or 'l' - may be added to . (See ANSI, Section 4.13.4) -ansireserved.c:15:22: Name memory is reserved for future ANSI library - extensions. Functions that begin with "mem" or "wcs" and a lowercase - letter letter may be added to . (See ANSI, Section 4.13.8) -ansireserved.c:16:20: Name wctomb is reserved for the standard library - -Finished LCLint checking --- 11 code errors found, as expected - -ansireserved.c:9: Name EVANS is reserved for future ANSI library extensions. - Macros beginning with E and a digit or uppercase letter may be added to - . (See ANSI, Section 4.13.1) -ansireserved.c:1:5: Name decimal_point is reserved for the standard library -ansireserved.c:2:5: Function srand inconsistently declared as variable: int - load file ansi.lcd:897:1: Specification of srand: - [function (unsigned int) returns void] -ansireserved.c:2:5: Name srand is reserved for the standard library -ansireserved.c:3:5: Function labs inconsistently declared as variable: int - load file ansi.lcd:919:1: Specification of labs: - [function (long int) returns long int] -ansireserved.c:3:5: Name labs is reserved for the standard library -ansireserved.c:4:5: Name _x is in the implementation name space (any identifier - beginning with underscore) -ansireserved.c:5:5: Name atan2f is reserved for future ANSI library extensions. - The names of all existing functions in suffixed with 'f' or 'l' - may be added to . (See ANSI, Section 4.13.4) -ansireserved.c:7:13: Name wcst is reserved for future ANSI library extensions. - Functions that begin with "mem" or "wcs" and a lowercase letter letter may - be added to . (See ANSI, Section 4.13.8) -ansireserved.c:11:5: Name isaFish is reserved for future ANSI library - extensions. Functions beginning with "is" or "to" and a lowercase letter - may be added to . (See ANSI, Section 4.13.2) -ansireserved.c: (in function isaFish) -ansireserved.c:16:20: Name wctomb is reserved for the standard library -ansireserved.c:5:5: Function atan2f declared but not defined - -Finished LCLint checking --- 12 code errors found, as expected - -ansireserved2.c:4:2: Name _s1 is in the implementation name space (any - identifier beginning with underscore) - -Finished LCLint checking --- 1 code error found, as expected diff --git a/test/argorder.out b/test/argorder.out deleted file mode 100644 index 7fae137..0000000 --- a/test/argorder.out +++ /dev/null @@ -1,86 +0,0 @@ - -argorder.c: (in function f) -argorder.c:8:20: Argument 2 modifies z, used by argument 3 (order of evaluation - of actual parameters is undefined): printf("%d %d", z++, z) -argorder.c:10:13: Argument 1 modifies i, used by argument 2 (order of - evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j) -argorder.c:10:13: Argument 1 modifies j, used by argument 3 (order of - evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j) -argorder.c:10:25: Argument 2 modifies i, used by argument 1 (order of - evaluation of actual parameters is undefined): f((i++, j++), (i = 3), j) - -Finished LCLint checking --- 4 code errors found, as expected - -argorder2.c: (in function g) -argorder2.c:16:12: Argument 1 modifies i, used by argument 2 (order of - evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2)) -argorder2.c:16:21: Argument 2 modifies i, used by argument 1 (order of - evaluation of actual parameters is undefined): f(f(1, 2), f(1, 2)) -argorder2.c:17:12: Argument 1 modifies i, used by argument 2 (order of - evaluation of actual parameters is undefined): f(f(1, 2), h()) -argorder2.c:18:12: Argument 1 modifies i, used by argument 2 (order of - evaluation of actual parameters is undefined): f(f(1, 2), i) -argorder2.c:19:14: Argument 1 modifies i, used by argument 2 (order of - evaluation of actual parameters is undefined): f(i++, i) - -Finished LCLint checking --- 5 code errors found, as expected - -argorder3.c: (in function f) -argorder3.c:7:8: Expression has undefined behavior (value of left operand i is - modified by right operand i++): i = i++ -argorder3.c:8:11: Expression has undefined behavior (left operand uses i, - modified by right operand): a[i] = i++ -argorder3.c:9:12: Expression has undefined behavior (value of right operand - modified by left operand): a[i++] = i -argorder3.c:10:13: Expression has undefined behavior (value of right operand - modified by left operand): i++ * i -argorder3.c:11:12: Expression has undefined behavior (value of left operand i - is modified by right operand i++): i * i++ -argorder3.c:12:14: Expression has undefined behavior (left operand uses i, - modified by right operand): --i * ++i -argorder3.c:12:14: Expression has undefined behavior (left operand modifies i, - used by right operand): --i * ++i -argorder3.c:13:2: Path with no return in function declared to return int - -Finished LCLint checking --- 8 code errors found, as expected - -argorder4.c: (in function h) -argorder4.c:19:21: Expression has undefined behavior (left operand uses glob, - modified by right operand): f() + g() -argorder4.c:25:18: Expression has undefined behavior (left operand uses glob, - modified by right operand): f() + (++glob) -argorder4.c:29:18: Expression has undefined behavior (left operand uses glob, - modified by right operand): g() + h() -argorder4.c:29:18: Expression has undefined behavior (left operand modifies - glob, used by right operand): g() + h() -argorder4.c:35:16: Argument 1 modifies file system state, used by argument 2 - (order of evaluation of actual parameters is undefined): - add((printf("hullo"), 3), (printf("goodbye"), 4)) -argorder4.c:35:16: Argument 1 modifies *stdout, set by argument 2 (order of - evaluation of actual parameters is undefined): - add((printf("hullo"), 3), (printf("goodbye"), 4)) -argorder4.c:35:38: Argument 2 modifies file system state, used by argument 1 - (order of evaluation of actual parameters is undefined): - add((printf("hullo"), 3), (printf("goodbye"), 4)) -argorder4.c:35:38: Argument 2 modifies *stdout, set by argument 1 (order of - evaluation of actual parameters is undefined): - add((printf("hullo"), 3), (printf("goodbye"), 4)) -argorder4.c:35:10: Unreachable code: return (add((pri... - -Finished LCLint checking --- 9 code errors found, as expected - -argorder4.c: (in function h) -argorder4.c:35:10: Unreachable code: return (add((pri... - -Finished LCLint checking --- 1 code error found, as expected - -argorder5.c: (in function f) -argorder5.c:8:9: Variable name used after being released - argorder5.c:8:17: Storage name released -argorder5.c:9:19: Variable name used after being released - argorder5.c:9:12: Storage name released -argorder5.c:10:28: Argument 2 modifies *name, used by argument 1 (order of - evaluation of actual parameters is undefined): - test2(copystring(name), f(name)) - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/args.out b/test/args.out deleted file mode 100644 index 38b6a3f..0000000 --- a/test/args.out +++ /dev/null @@ -1,27 +0,0 @@ - -args.c: (in function sumn) -args.c:14:7: Assignment of char * to int: y = va_arg(args, char *) -args.c:15:19: First argument to va_arg is not a va_list (type void *): yaba -args.c: (in function test) -args.c:22:7: Function sumn called with 0 args, expects at least 1 -args.c:24:12: Function sumn expects arg 1 to be int gets char *: s -args.c:27:7: Function test called with 3 args, expects 2 -args.c:37:5: Function severalargs declared with 3 args, specified with 2 - args.lcl:1: Specification of severalargs -args.c:37:23: Parameter 1, c, of function severalargs has inconsistent type: - declared char, specified int - args.lcl:1: Specification of severalargs -args.c:37:30: Parameter 2, y, of function severalargs has inconsistent type: - declared int, specified char * - args.lcl:1: Specification of severalargs -args.c:43:5: Function severalargs2 declared with 1 arg, specified with 2 - args.lcl:2: Specification of severalargs2 -args.c:48:5: Function voidargs declared with 1 arg, specified with 0 - args.lcl:7: Specification of voidargs -args.c:59:33: Parameter 3, f, of function many1 has inconsistent type: - declared float, specified ... - args.lcl:4: Specification of many1 -args.c:73:5: Function many3 declared with 1 arg, specified with 3 - args.lcl:6: Specification of many3 - -Finished LCLint checking --- 12 code errors found, as expected diff --git a/test/blocks.out b/test/blocks.out deleted file mode 100644 index 06db454..0000000 --- a/test/blocks.out +++ /dev/null @@ -1,64 +0,0 @@ - -blocks.c: (in function f) -blocks.c:3:15: Body of if statement is empty -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:21:16: Body of if clause of if statement is empty -blocks.c:22:9: Body of else clause of if statement is empty - -Finished LCLint checking --- 4 code errors found, as expected - -blocks.c: (in function f) -blocks.c:3:15: Body of if statement is empty -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:6:15: Body of if statement is not a block: x++ -blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 } -blocks.c:19:8: Body of else clause of if statement is not a block: x = 4 -blocks.c:21:16: Body of if clause of if statement is empty -blocks.c:22:9: Body of else clause of if statement is empty - -Finished LCLint checking --- 7 code errors found, as expected - -blocks.c: (in function f) -blocks.c:4:18: Body of while statement is empty -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:7:18: Body of while statement is not a block: x++ - -Finished LCLint checking --- 3 code errors found, as expected - -blocks.c: (in function f) -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:12:23: Body of for statement is empty -blocks.c:13:23: Body of for statement is not a block: x++ - -Finished LCLint checking --- 3 code errors found, as expected - -blocks.c: (in function f) -blocks.c:3:15: Body of if statement is empty -blocks.c:4:18: Body of while statement is empty -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:12:23: Body of for statement is empty -blocks.c:21:16: Body of if clause of if statement is empty -blocks.c:22:9: Body of else clause of if statement is empty - -Finished LCLint checking --- 6 code errors found, as expected - -blocks.c: (in function f) -blocks.c:3:15: Body of if statement is empty -blocks.c:4:18: Body of while statement is empty -blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -blocks.c:6:15: Body of if statement is not a block: x++ -blocks.c:7:18: Body of while statement is not a block: x++ -blocks.c:12:23: Body of for statement is empty -blocks.c:13:23: Body of for statement is not a block: x++ -blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 } -blocks.c:19:8: Body of else clause of if statement is not a block: x = 4 -blocks.c:21:16: Body of if clause of if statement is empty -blocks.c:22:9: Body of else clause of if statement is empty - -Finished LCLint checking --- 11 code errors found, as expected diff --git a/test/break.out b/test/break.out deleted file mode 100644 index fa6d9c7..0000000 --- a/test/break.out +++ /dev/null @@ -1,33 +0,0 @@ - -break.c: (in function f) -break.c:12:4: Break preceded by loopbreak is breaking a switch -break.c:17:14: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:3:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:34:24: Break preceded by innerbreak is not in a deep loop - -Finished LCLint checking --- 4 code errors found, as expected - -break.c: (in function f) -break.c:12:4: Break preceded by loopbreak is breaking a switch -break.c:14:4: Break statement in switch inside loop -break.c:21:8: Break statement in nested loop -break.c:17:14: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:3:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:34:24: Break preceded by innerbreak is not in a deep loop - -Finished LCLint checking --- 6 code errors found, as expected - -break.c: (in function f) -break.c:12:4: Break preceded by loopbreak is breaking a switch -break.c:14:4: Break statement in switch inside loop -break.c:17:14: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:3:10: Suspected infinite loop. No value used in loop test (x) is - modified by test or loop body. -break.c:34:24: Break preceded by innerbreak is not in a deep loop - -Finished LCLint checking --- 5 code errors found, as expected diff --git a/test/bufferTest.out b/test/bufferTest.out deleted file mode 100644 index e69de29..0000000 diff --git a/test/cases.out b/test/cases.out deleted file mode 100644 index d6d0f44..0000000 --- a/test/cases.out +++ /dev/null @@ -1,42 +0,0 @@ - -cases.c: (in function f) -cases.c:12:10: Fall through case (no preceding break) -cases.c:13:11: Variable i used before definition -cases.c:30:10: Fall through case (no preceding break) -cases.c:37:13: Fall through case (no preceding break) -cases.c:40:2: Path with no return in function declared to return int - -Finished LCLint checking --- 5 code errors found, as expected - -cases2.c: (in function f2) -cases2.c:26:5: Variable x is released in one possible execution, but live in - other possible execution. - cases2.c:23:16: Storage x is released -cases2.c: (in function f3) -cases2.c:37:5: Variable x is released in one possible execution, but live in - other possible execution. - cases2.c:36:16: Storage x is released - -Finished LCLint checking --- 2 code errors found, as expected - -cases2.c: (in function f2) -cases2.c:26:5: Variable x is released in one possible execution, but live in - other possible execution. - cases2.c:23:16: Storage x is released -cases2.c: (in function f3) -cases2.c:37:5: Variable x is released in one possible execution, but live in - other possible execution. - cases2.c:36:16: Storage x is released -cases2.c:1:24: Function g declared but not defined - -Finished LCLint checking --- 3 code errors found, as expected - -cases2.c: (in function f2) -cases2.c:28:12: Variable x used after being released - cases2.c:23:16: Storage x released -cases2.c: (in function f3) -cases2.c:39:12: Variable x used after being released - cases2.c:36:16: Storage x released -cases2.c:1:24: Function g declared but not defined - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/cast.out b/test/cast.out deleted file mode 100644 index a1d0963..0000000 --- a/test/cast.out +++ /dev/null @@ -1,40 +0,0 @@ - -cast.c:1:13: Mutable abstract type abst1 declared without pointer indirection: - int (violates assignment semantics) -cast.c:1:20: Mutable abstract type abst2 declared without pointer indirection: - int (violates assignment semantics) -cast.c: (in function main) -cast.c:6:13: Variable b initialized to type int, expects abst2: 3 -cast.c:7:25: Cast to underlying abstract type abst2 *: - (abst2 *)malloc(sizeof(abst2)) -cast.c:11:10: Dereference of possibly null pointer ip: *ip - cast.c:9:14: Storage ip may become null -cast.c:12:10: Dereference of possibly null pointer bp: *bp - cast.c:7:15: Storage bp may become null -cast.c:12:9: Assignment of int to abst2: *bp = 5 -cast.c:13:21: Cast to abstract type abst1: (abst1)ip -cast.c:14:24: Cast to underlying abstract type abst1 *: (abst1 *)ip -cast.c:15:22: Cast to underlying abstract type FILE *: (FILE *)ip -cast.c:16:21: Redundant cast involving abstract type abst1: (abst1)a -cast.c:17:22: Cast from underlying abstract type abst1 *: (int *)ap -cast.c:18:22: Cast from underlying abstract type FILE *: (int *)f -cast.c:19:22: Cast from underlying abstract type abst1: (int *)a -cast.c:20:21: Cast from abstract type abst2: (abst1)b -cast.c:20:21: Cast to abstract type abst1: (abst1)b -cast.c:21:24: Cast to underlying abstract type abst1 *: (abst1 *)bp -cast.c:21:24: Cast from underlying abstract type abst2 *: (abst1 *)bp -cast.c:22:19: Owned storage ap not released before return - cast.c:21:10: Storage ap becomes owned -cast.c:22:19: Last reference ip to owned storage a not released before return - cast.c:20:10: Original reference lost - -Finished LCLint checking --- 20 code errors found, as expected - -cast2.c: (in function f1) -cast2.c:9:10: Implicitly temp storage x returned as implicitly only: x -cast2.c:9:10: Function returns reference to parameter x: x -cast2.c: (in function f2) -cast2.c:15:10: Implicitly dependent storage x returned as implicitly only: - (abst1)x - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/charlit.out b/test/charlit.out deleted file mode 100644 index 979deac..0000000 --- a/test/charlit.out +++ /dev/null @@ -1,31 +0,0 @@ - -charlit.c: (in function f) -charlit.c:3:11: Variable x initialized to type char, expects int: 'a' - A character constant is used as an int. Use +charintliteral to allow - character constants to be used as ints. (This is safe since the actual type - of a char constant is int.) -charlit.c:6:7: Incompatible types for + (int, char): x + 'c' -charlit.c:8:10: Return value type char does not match declared type int: 'a' -charlit.c:12:14: Variable u initialized to type int, expects unsigned int: -3 - To ignore signs in type comparisons use +ignoresigns - -Finished LCLint checking --- 4 code errors found, as expected - -charlit.c: (in function f) -charlit.c:3:11: Variable x initialized to type char, expects int: 'a' - A character constant is used as an int. Use +charintliteral to allow - character constants to be used as ints. (This is safe since the actual type - of a char constant is int.) -charlit.c:4:14: Variable z initialized to type int, expects double: 3 - An int literal is used as any numeric type (including float and long long). - Use +numliteral to allow int literals to be used as any numeric type. -charlit.c:6:7: Incompatible types for + (int, char): x + 'c' -charlit.c:8:10: Return value type char does not match declared type int: 'a' -charlit.c:11:18: Initial value of s[1] is type int, expects short int: -1 - To ignore type qualifiers in type comparisons use +ignorequals. -charlit.c:12:14: Variable u initialized to type int, expects unsigned int: -3 - To ignore signs in type comparisons use +ignoresigns - -Finished LCLint checking --- 6 code errors found, as expected - -Finished LCLint checking --- no code errors found diff --git a/test/clauses.out b/test/clauses.out deleted file mode 100644 index 0177ee6..0000000 --- a/test/clauses.out +++ /dev/null @@ -1,40 +0,0 @@ - -clauses.c: (in function f) -clauses.c:6:5: Variable x is released in true branch, but live in continuation. - clauses.c:5:13: Storage x is released -clauses.c:11:5: Variable y is released in while body, but live if loop is not - taken. - clauses.c:10:13: Storage y is released -clauses.c:20:5: Variable z2 is released in false branch, but live in true - branch. - clauses.c:19:13: Storage z2 is released -clauses.c:20:5: Variable z is released in true branch, but live in false - branch. - clauses.c:15:13: Storage z is released - -Finished LCLint checking --- 4 code errors found, as expected - -Finished LCLint checking --- no code errors found - -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 -clauses3.c: (in function m) -clauses3.c:61:5: Storage x->x is released in one path, but live in another. - clauses3.c:60:13: Storage x->x is released - -Finished LCLint checking --- 2 code errors found, 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. -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 -clauses3.c: (in function m) -clauses3.c:60:13: Possibly null storage x->x passed as non-null param: - free (x->x) -clauses3.c:61:5: Storage x->x is released in one path, but live in another. - clauses3.c:60:13: Storage x->x is released - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/commentchar.out b/test/commentchar.out deleted file mode 100644 index caf9346..0000000 --- a/test/commentchar.out +++ /dev/null @@ -1,17 +0,0 @@ - -commentchar.c:14:1: Syntactic commentchar comment is not followed by a - whitespace character: 5 -commentchar.c:15:1: Cannot restore commentchar -commentchar.c:10:5: Variable x redefined - commentchar.c:6:5: Previous definition of x -commentchar.c:10:9: Variable x initialized to type char, expects int: 'c' - -Finished LCLint checking --- 4 code errors found, as expected - -commentchar.c:14:1: Syntactic commentchar comment is not followed by a - whitespace character: 5 -commentchar.c:15:1: Cannot restore commentchar -commentchar.c:1:26: Unrecognized identifier in modifies comment: x -commentchar.c:6:9: Variable x initialized to type char, expects int: 'c' - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/compdestroy.out b/test/compdestroy.out deleted file mode 100644 index 1583694..0000000 --- a/test/compdestroy.out +++ /dev/null @@ -1,39 +0,0 @@ - -compdestroy.c: (in function sip_free2) -compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released - storage is not released (memory leak): x->ips - -Finished LCLint checking --- 1 code error found, as expected - -compdestroy.c: (in function sip_free) -compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released - storage may not have been released: x->ips -compdestroy.c: (in function sip_free2) -compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released - storage is not released (memory leak): x->ips - -Finished LCLint checking --- 2 code errors found, as expected - -compdestroy.c: (in function sip_free) -compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter: - x->ips[i] - compdestroy.c:15:13: Storage x->ips[] becomes probably dead -compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released - storage may not have been released: x->ips -compdestroy.c: (in function sip_free2) -compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released - storage is not released (memory leak): x->ips - -Finished LCLint checking --- 3 code errors found, as expected - -compdestroy.c: (in function sip_free) -compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter: - x->ips[i] - compdestroy.c:15:13: Storage x->ips[] becomes probably dead -compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released - storage may not have been released: x->ips -compdestroy.c: (in function sip_free2) -compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released - storage is not released (memory leak): x->ips - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/controldepth.out b/test/controldepth.out deleted file mode 100644 index c1cae02..0000000 --- a/test/controldepth.out +++ /dev/null @@ -1,16 +0,0 @@ - -controldepth.c: (in function f) -controldepth.c:8:15: Maximum control nesting depth (2) exceeded - Maximum number of control levels exceeded. (-controlnestdepth will suppress - message) -controldepth.c:15:17: Maximum control nesting depth (2) exceeded - -Finished LCLint checking --- 2 code errors found, as expected - -controldepth.c: (in function f) -controldepth.c:6:15: Maximum control nesting depth (1) exceeded - Maximum number of control levels exceeded. (-controlnestdepth will suppress - message) -controldepth.c:11:13: Maximum control nesting depth (1) exceeded - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/csyntax.out b/test/csyntax.out deleted file mode 100644 index ff3ef0b..0000000 --- a/test/csyntax.out +++ /dev/null @@ -1,24 +0,0 @@ -csyntax.c:20:5: Function main declared with 1 arg, should have 2 (int argc, - char *argv[]) - -csyntax2.c: (in function mapping_create) -csyntax2.c:13:3: Assignment of size_t to int: x = sizeof((t)) -csyntax2.c:14:3: Assignment of size_t to int: x = sizeof(*t) - -csyntax3.c:3:4: Function main declared to return a1, should return int - -csyntax13.c: (in function f) -csyntax13.c:9:11: Variable isrs shadows outer declaration - csyntax13.c:7:9: Previous definition of isrs: isr_t - -csyntax16.c: (in function main) -csyntax16.c:18:11: Variable getbuiltout used before definition -csyntax16.c: (in function getbuiltout) -csyntax16.c:43:14: Variable qpolygon used before definition - -csyntax17.c: (in function f) -csyntax17.c:11:11: Variable x initialized to type EID_UNIT_NUM, expects int: - (EID_UNIT_NUM)3 -csyntax17.c:12:2: Path with no return in function declared to return int -csyntax17.c:11:7: Variable x declared but not used - diff --git a/test/czechnames.out b/test/czechnames.out deleted file mode 100644 index 02f01e2..0000000 --- a/test/czechnames.out +++ /dev/null @@ -1,43 +0,0 @@ - -Finished LCLint checking --- no code errors found - -czechnames.c:5:5: Variable michelob_light name violates Czech naming - convention. Czech prefix michelob is not the name of a type. - Variable name is not consistent with Czech naming convention. (Setting either - -czechvars or -namechecks will suppress message) -czechnames.c:26:5: Function budweiser name is not consistent with Czech naming - convention. Accessible types: pivo - Function or iterator name is not consistent with Czech naming convention. - (Setting either -czechfcns or -namechecks will suppress message) - -Finished LCLint checking --- 2 code errors found, as expected - -czechnames.c:26:5: Function budweiser name is not consistent with Czech naming - convention. Accessible types: pivo - Function or iterator name is not consistent with Czech naming convention. - (Setting either -czechfcns or -namechecks will suppress message) - -Finished LCLint checking --- 1 code error found, as expected - -czechnames.c:4:5: Variable pivo_pyet name violates Czech naming convention. - Czech prefix pivo names an abstract type that is not accessible. - Use +accessczech to allow access to type in functions named _. -czechnames.c:5:5: Variable michelob_light name violates Czech naming - convention. Czech prefix michelob is not the name of a type. - Variable name is not consistent with Czech naming convention. (Setting either - -czechvars or -namechecks will suppress message) -czechnames.c:8:17: Constant pivo_devenast name violates Czech naming - convention. Czech prefix pivo names an abstract type that is not - accessible. - Use +accessczech to allow access to type in functions named _. -czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention. - Czech prefix pivo names an abstract type that is not accessible. - Use +accessczech to allow access to type in functions named _. -czechnames.c: (in function pivo_yedno) -czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1 - An abstraction barrier is broken. If necessary, use /*@access @*/ to - allow access to an abstract type. (-abstract will suppress message) -czechnames.c:26:5: Function budweiser name is not consistent with Czech naming - convention. Accessible types: pivo - -Finished LCLint checking --- 6 code errors found, as expected diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs index 2dea5b7..8ed498c 100644 --- a/test/db1/employee.lcs +++ b/test/db1/employee.lcs @@ -88,15 +88,15 @@ %LCLop 9 : -> int %LCLop MALE : -> _eemployee0e_Enum %LCLop FEMALE : -> _eemployee0e_Enum +%LCLop gender_ANY : -> _eemployee0e_Enum %LCLop __ * __ :int, int -> int %LCLop __ * __ :double, double -> double -%LCLop gender_ANY : -> _eemployee0e_Enum %LCLop true : -> bool %LCLop false : -> bool %LCLop MGR : -> _eemployee1e_Enum %LCLop NONMGR : -> _eemployee1e_Enum -%LCLop __ \and __ :bool, bool -> bool %LCLop job_ANY : -> _eemployee1e_Enum +%LCLop __ \and __ :bool, bool -> bool %LCLop __ \or __ :bool, bool -> bool %LCLop __ \eq __ :bool, bool -> bool %LCLop __ \eq __ :int, int -> bool diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs index 7763798..69d4ff5 100644 --- a/test/db1/empset.lcs +++ b/test/db1/empset.lcs @@ -39,9 +39,6 @@ %LCLsort __semployee0s_Struct_Arr arr _semployee0s_Struct nil %LCLsort __semployee0s_Struct_Tuple_Vec vec _semployee0s_Struct_Tuple __semployee0s_Struct_Arr %LCLsort _employee synonym _semployee0s_Struct nil -%LCLsort eref immutable nil nil -%LCLsort map immutable nil nil -%LCLsort _map_Obj obj map nil %LCLsort empset immutable nil nil %LCLsort _empset_Obj mutable empset nil %LCLSortTableEnd @@ -91,33 +88,33 @@ %LCLop 7 : -> int %LCLop 8 : -> int %LCLop 9 : -> int -%LCLop MALE : -> _eemployee0e_Enum +%LCLtag eemployee0e enum +%LCLop gender_ANY : -> _eemployee0e_Enum %LCLop FEMALE : -> _eemployee0e_Enum +%LCLop MALE : -> _eemployee0e_Enum %LCLop __ * __ :int, int -> int %LCLop __ * __ :double, double -> double -%LCLop gender_ANY : -> _eemployee0e_Enum %LCLop true : -> bool -%LCLtag eemployee0e enum +%LCLtag eemployee1e enum +%LCLop job_ANY : -> _eemployee1e_Enum %LCLop false : -> bool -%LCLop MGR : -> _eemployee1e_Enum %LCLop NONMGR : -> _eemployee1e_Enum +%LCLop MGR : -> _eemployee1e_Enum %LCLop __ \and __ :bool, bool -> bool -%LCLop job_ANY : -> _eemployee1e_Enum %LCLop __ \or __ :bool, bool -> bool +%LCLtag semployee0s struct %LCLop __ \eq __ :bool, bool -> bool %LCLop __ \eq __ :int, int -> bool %LCLop __ \eq __ :double, double -> bool %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool %LCLop __ \eq __ :char, char -> bool %LCLop \not __ :bool -> bool -%LCLtag eemployee1e enum %LCLop __ \neq __ :bool, bool -> bool %LCLop __ \neq __ :int, int -> bool %LCLop __ \neq __ :double, double -> bool %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool %LCLop __ \neq __ :char, char -> bool %LCLop { __ } :char -> _char_Vec -%LCLtag semployee0s struct %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr %LCLop __ |- __ :_char_Vec, char -> _char_Vec @@ -132,21 +129,21 @@ %LCLop __ \geq __ :int, int -> bool %LCLop __ \geq __ :double, double -> bool %LCLop null : -> char -%LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int -%LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj -%LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec -%LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr -%LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj -%LCLop __ \select salary :_semployee0s_Struct_Tuple -> int -%LCLop __ \select salary :_semployee0s_Struct -> _int_Obj -%LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr -%LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum -%LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj -%LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj -%LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj +%LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum +%LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj +%LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj +%LCLop __ \select salary :_semployee0s_Struct_Tuple -> int +%LCLop __ \select salary :_semployee0s_Struct -> _int_Obj +%LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj +%LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec +%LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr +%LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int +%LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj +%LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr +%LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj %LCLop NIL : -> __char_Obj_Ptr %LCLop NIL : -> __semployee0s_Struct_Ptr %LCLop - __ :int -> int @@ -171,8 +168,6 @@ %LCLop sizeof :double -> int %LCLop sizeof :_eemployee0e_Enum -> int %LCLop sizeof :_eemployee1e_Enum -> int -%LCLop sizeof :eref -> int -%LCLop sizeof :map -> int %LCLop sizeof :empset -> int %LCLop isSub :_char_Vec, int -> bool %LCLop isSub :__char_Obj_Arr, int -> bool diff --git a/test/decl.out b/test/decl.out deleted file mode 100644 index ede7398..0000000 --- a/test/decl.out +++ /dev/null @@ -1,27 +0,0 @@ - -decl.c: (in function main) -decl.c:7:3: Call to non-function (type [function (int) returns int] **): x -decl.c:8:2: Path with no return in function declared to return int - -Finished LCLint checking --- 2 code errors found, as expected - -decl.c:3:5: Function main declared without parameter list -decl.c: (in function main) -decl.c:7:3: Call to non-function (type [function (int) returns int] **): x -decl.c:8:2: Path with no return in function declared to return int -decl.c:1:5: Function test declared but not defined -decl.c:1:5: Function test exported but not declared in header file - -Finished LCLint checking --- 5 code errors found, as expected - -decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers - are not identical in variable declarations): int * - decl2.h:3:12: Previous declaration of glob2: int [] -decl2.c:4:5: Variable glob2 redefined - decl2.c:3:6: Previous definition of glob2 -decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char - decl2.h:4:12: Previous declaration of glob3: int -decl2.c:9:5: Variable glob redefined - decl2.c:8:5: Previous definition of glob - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/enum.out b/test/enum.out deleted file mode 100644 index 7491c1e..0000000 --- a/test/enum.out +++ /dev/null @@ -1,72 +0,0 @@ - -enum.c:2:16: Enumerator member cero declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:16: Specification of cero: enum { cero, uno, dos } -enum.c:2:22: Enumerator member uno declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:22: Specification of uno: enum { cero, uno, dos } -enum.c:2:27: Enumerator member dos declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:27: Specification of dos: enum { cero, uno, dos } -enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but - specified with members { cero, uno, dos } - enum.lcl:2:33: Specification of stype -enum.c:4:22: Enumerator member siete declared with inconsistent type: - enum _itag { siete } - enum.lcl:3:23: Specification of siete: enum _ietag { siete } -enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified - with fields { int a; int b; int c; } - enum.lcl:6:41: Specification of st2 - enum.lcl:7:1: Field present in specification, missing in declaration: int c -enum.c: (in function f) -enum.c:15:7: Value a[] used before definition -enum.c:23:6: Missing cases in switch: two, three -enum.c:30:12: Case in switch not mtype member: three -enum.c:36:8: Missing case in switch: threem -enum.c:38:10: Duplicate case in switch: one -enum.c:47:2: Path with no return in function declared to return int -enum.c:51:8: Enumerator member hasta declared with inconsistent type: - enum { hasta, pasta, yummy } - enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta } -enum.c:51:15: Enumerator member pasta declared with inconsistent type: - enum { hasta, pasta, yummy } - enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta } -enum.lcl:3:9: Enum tag enum _ietag specified but not defined -enum.lcl:8:22: Enum member yasta specified but not defined - -Finished LCLint checking --- 16 code errors found, as expected - -enum.c:2:16: Enumerator member cero declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:16: Specification of cero: enum { cero, uno, dos } -enum.c:2:22: Enumerator member uno declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:22: Specification of uno: enum { cero, uno, dos } -enum.c:2:27: Enumerator member dos declared with inconsistent type: - enum { cero, uno, dos, tres } - enum.lcl:2:27: Specification of dos: enum { cero, uno, dos } -enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but - specified with members { cero, uno, dos } - enum.lcl:2:33: Specification of stype -enum.c:4:22: Enumerator member siete declared with inconsistent type: - enum _itag { siete } - enum.lcl:3:23: Specification of siete: enum _ietag { siete } -enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified - with fields { int a; int b; int c; } - enum.lcl:6:41: Specification of st2 - enum.lcl:7:1: Field present in specification, missing in declaration: int c -enum.c: (in function f) -enum.c:15:7: Value a[] used before definition -enum.c:30:12: Case in switch not mtype member: three -enum.c:38:10: Duplicate case in switch: one -enum.c:47:2: Path with no return in function declared to return int -enum.c:51:8: Enumerator member hasta declared with inconsistent type: - enum { hasta, pasta, yummy } - enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta } -enum.c:51:15: Enumerator member pasta declared with inconsistent type: - enum { hasta, pasta, yummy } - enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta } -enum.lcl:3:9: Enum tag enum _ietag specified but not defined -enum.lcl:8:22: Enum member yasta specified but not defined - -Finished LCLint checking --- 14 code errors found, as expected diff --git a/test/exports.out b/test/exports.out deleted file mode 100644 index d77c753..0000000 --- a/test/exports.out +++ /dev/null @@ -1,20 +0,0 @@ - -Warning: setting +typeuse redundant with current value -exports.h:1:13: Type exported, but not specified: myint -exports.h:3:12: Variable exported, but not specified: glob -exports.h:5:12: Function exported, but not specified: f -exports.h:1:13: Type myint declared but not used -exports.h:3:12: Variable glob declared but not used - exports.c:3:5: Definition of glob -exports.h:5:12: Function f declared but not used - exports.c:8:1: Definition of f - -Finished LCLint checking --- 6 code errors found, as expected - -exports.h:1:13: Type exported, but not specified: myint -exports.h:3:12: Variable exported, but not specified: glob -exports.h:5:12: Function exported, but not specified: f - -Finished LCLint checking --- 3 code errors found, as expected - -Finished LCLint checking --- no code errors found diff --git a/test/external.out b/test/external.out deleted file mode 100644 index a160763..0000000 --- a/test/external.out +++ /dev/null @@ -1,52 +0,0 @@ - -Finished LCLint checking --- no code errors found - -external.c:2:5: External identifier Func is not distinguishable from func in - the first 6 characters because alphabetical case is ignored - external.c:1:5: Declaration of func -external.c:8:5: External identifier longfunction2 is not distinguishable from - longfunction1 in the first 6 characters (longfu) - external.c:7:5: Declaration of longfunction1 - -Finished LCLint checking --- 2 code errors found, as expected - -external.c:2:5: External identifier Func is not distinguishable from func in - the first 3 characters because alphabetical case is ignored - external.c:1:5: Declaration of func -external.c:5:5: External identifier small2 is not distinguishable from small1 - in the first 3 characters (sma) - external.c:4:5: Declaration of small1 -external.c:8:5: External identifier longfunction2 is not distinguishable from - longfunction1 in the first 3 characters (lon) - external.c:7:5: Declaration of longfunction1 - -Finished LCLint checking --- 3 code errors found, as expected - -external.c:2:5: External identifier Func is not distinguishable from func in - the first 3 characters because alphabetical case is ignored - external.c:1:5: Declaration of func -external.c:5:5: External identifier small2 is not distinguishable from small1 - in the first 3 characters (sma) - external.c:4:5: Declaration of small1 -external.c:8:5: External identifier longfunction2 is not distinguishable from - longfunction1 in the first 3 characters (lon) - external.c:7:5: Declaration of longfunction1 - -Finished LCLint checking --- 3 code errors found, as expected - -external.c:2:5: External identifier Func is not distinguishable from func in - the first 3 characters because alphabetical case is ignored - external.c:1:5: Declaration of func -external.c:5:5: External identifier small2 is not distinguishable from small1 - in the first 3 characters (sma) - external.c:4:5: Declaration of small1 -external.c:7:5: External identifier longfunction1 is not distinguishable from - LONG_MAX in the first 3 characters because alphabetical case is ignored - load file ansi.lcd:785:1: Specification of LONG_MAX - One or more additional indistinguishable external names not reported -external.c:8:5: External identifier longfunction2 is not distinguishable from - LONG_MAX in the first 3 characters because alphabetical case is ignored - load file ansi.lcd:785:1: Specification of LONG_MAX - One or more additional indistinguishable external names not reported - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/fields.out b/test/fields.out deleted file mode 100644 index d4deb3f..0000000 --- a/test/fields.out +++ /dev/null @@ -1,44 +0,0 @@ - -fields.c: (in function pair_create1) -fields.c:37:10: Storage p->z reachable from return value is owned (should be - dependent) - fields.c:34:3: Storage p->z becomes owned -fields.c: (in function mangle) -fields.c:43:2: Released storage p->x reachable from parameter at return point - fields.c:42:9: Storage p->x is released -fields.c: (in function mangle2) -fields.c:49:2: Storage p->y reachable from parameter is dependent (should be - owned) - fields.c:48:3: Storage p->y becomes dependent -fields.c: (in function mangle3) -fields.c:55:10: Storage p->y reachable from return value is dependent (should - be owned) - fields.c:54:3: Storage p->y becomes dependent -fields.c: (in function f) -fields.c:60:3: Owned storage p->x (type int *) not released before assignment: - p->x = NULL -fields.c:62:18: Function returns with null storage derivable from parameter - p->x - fields.c:60:10: Storage p->x becomes null - -Finished LCLint checking --- 6 code errors found, as expected - -fields2.c: (in function pair_copy) -fields2.c:21:16: Storage p->x reachable from parameter is kept (should be - implicitly only) - fields2.c:17:3: Storage p->x becomes kept -fields2.c:21:16: Storage p->y reachable from parameter is kept (should be - implicitly only) - fields2.c:18:3: Storage p->y becomes kept -fields2.c: (in function pair_create) -fields2.c:30:3: Only storage p->y assigned to dependent: p->z = p->y -fields2.c:35:10: Storage p->y reachable from return value is unqualified - (should be implicitly only) -fields2.c: (in function pair_swankle) -fields2.c:43:14: Storage p->x reachable from passed parameter is kept (should - be implicitly only): p - fields2.c:42:3: Storage p->x becomes kept - -Finished LCLint checking --- 5 code errors found, as expected - -Finished LCLint checking --- no code errors found diff --git a/test/flags.out b/test/flags.out deleted file mode 100644 index 8716003..0000000 --- a/test/flags.out +++ /dev/null @@ -1,42 +0,0 @@ - -flags.c:1:9: Variable x initialized to type char, expects int: 'c' -flags.c:5:9: Variable y - initialized to type - char, expects int: - 'c' -flags.c:7:18: Warning: - Value for linelen - must be at least 20 - (given 13) -flags.c:11:5: - Internal identifier - xx2 is not - distinguishable - from xx1 in the - first 2 characters - (xx) - flags.c:10:5: - Declaration of - xx1 -flags.c:13:18: - Semantic comment - attempts to restore - flag linelen. A - flag for setting a - value cannot be - restored. -flags.c:15:17: Semantic comment attempts to set global flag dump. A - global flag cannot be set locally. -flags.c:16:22: Flag macrovarprefix (in semantic comment) must be - followed by an argument -flags.c:17:26: Flag macrovarprefix (in semantic comment) must be - followed by an argument -flags.c:18:20: Flag linelen must be followed by a positive number - number. Followed by asdf - -Finished LCLint checking --- 8 code errors found, as expected - -flags.c:1:9: Variable x initialized to type char, expects int: 'c' -flags.c:5:9: Variable y initialized to type char, expects int: 'c' - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/funcpointer.out b/test/funcpointer.out deleted file mode 100644 index 33be783..0000000 --- a/test/funcpointer.out +++ /dev/null @@ -1,32 +0,0 @@ - -funcpointer.c: (in function func2) -funcpointer.c:13:27: Possibly null storage returned as non-null: - (int *)malloc(sizeof(int)) -funcpointer.c:13:27: Returned storage not completely defined (storage pointed - to by [result of malloc] is undefined): (int *)malloc(sizeof(int)) -funcpointer.c: (in function func5) -funcpointer.c:19:28: Immediate address &i returned as implicitly only: &i -funcpointer.c: (in function main) -funcpointer.c:28:3: Assignment of [function (void) returns int] to f1: - t1 = func1 -funcpointer.c:29:3: Assignment of [function (void) returns int ***] to f1: - t1 = func4 -funcpointer.c:33:3: Assignment of [function (void) returns int *] to f2: - t2 = func2 -funcpointer.c:36:3: Assignment of [function (void) returns int **] to f3 *: - t3p = func3 -funcpointer.c:38:3: Assignment of [function (void) returns int *] to f4 *: - t4 = func2 -funcpointer.c:41:7: Call to non-function (type f1): (t1) -funcpointer.c:43:3: Assignment of int *** to int *: xp = (*t1)() -funcpointer.c:44:8: Call to non-function (type f4 *): (t4) -funcpointer.c:46:3: Assignment of [function (void) returns int] to f6: - t6 = func1 -funcpointer.c:46:3: Invalid left-hand side of assignment (function type f6): t6 -funcpointer.c:47:3: Invalid left-hand side of assignment (function type f6): t6 -funcpointer.c:48:10: Function (t6) called with 0 args, expects 2 -funcpointer.c:49:10: Function (t6) called with 1 args, expects 2 -funcpointer.c:50:11: Function (t6) called with 1 args, expects 2 -funcpointer.c:50:10: Function ((t6)(3)) called with 0 args, expects 1 - -Finished LCLint checking --- 18 code errors found, as expected diff --git a/test/glob.out b/test/glob.out deleted file mode 100644 index fc0a32c..0000000 --- a/test/glob.out +++ /dev/null @@ -1,31 +0,0 @@ - -glob.c: (in function useGlob) -glob.lcl:3: Global z listed but not used -glob.c: (in function dontuseGlob) -glob.c:13:11: Undocumented use of global x -glob.c: (in function callsUseGlob) -glob.c:23:11: Called procedure useGlob may access global y -glob.c:23:11: Called procedure useGlob may access global z - -Finished LCLint checking --- 4 code errors found, as expected - -glob.c: (in function dontuseGlob) -glob.c:13:11: Undocumented use of global x -glob.c: (in function callsUseGlob) -glob.c:23:11: Called procedure useGlob may access global y -glob.c:23:11: Called procedure useGlob may access global z - -Finished LCLint checking --- 3 code errors found, as expected - -glob.c: (in function useGlob) -glob.lcl:3: Global z listed but not used -glob.c: (in function dontuseGlob) -glob.c:13:11: Undocumented use of global x -glob.c: (in function unspec) -glob.c:18:11: Undocumented use of global y -glob.c:18:15: Undocumented use of global z -glob.c: (in function callsUseGlob) -glob.c:23:11: Called procedure useGlob may access global y -glob.c:23:11: Called procedure useGlob may access global z - -Finished LCLint checking --- 6 code errors found, as expected diff --git a/test/globals.out b/test/globals.out deleted file mode 100644 index a8b08b3..0000000 --- a/test/globals.out +++ /dev/null @@ -1,61 +0,0 @@ - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict -globals.c: (in function noglobs) -globals.c:13:3: Undocumented use of global checkstrict -globals.c: (in function specglobs) -globals.c:19:3: Undocumented use of global check -globals.c:21:3: Undocumented use of global checkstrict - -Finished LCLint checking --- 5 code errors found, as expected - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict -globals.c: (in function noglobs) -globals.c:13:3: Undocumented use of global checkstrict -globals.c: (in function specglobs) -globals.c:18:3: Undocumented use of global imp -globals.c:19:3: Undocumented use of global check -globals.c:21:3: Undocumented use of global checkstrict - -Finished LCLint checking --- 6 code errors found, as expected - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict -globals.c: (in function noglobs) -globals.c:13:3: Undocumented use of global checkstrict -globals.c: (in function specglobs) -globals.c:18:3: Undocumented use of global imp -globals.c:19:3: Undocumented use of global check -globals.c:21:3: Undocumented use of global checkstrict - -Finished LCLint checking --- 6 code errors found, as expected - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict - -Finished LCLint checking --- 2 code errors found, as expected - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict -globals.c: (in function noglobs) -globals.c:11:3: Undocumented use of global check -globals.c:13:3: Undocumented use of global checkstrict -globals.c: (in function specglobs) -globals.c:19:3: Undocumented use of global check -globals.c:21:3: Undocumented use of global checkstrict - -Finished LCLint checking --- 6 code errors found, as expected - -globals.c:5:41: Redundant checked qualifier on doubled -globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict -globals.c: (in function noglobs) -globals.c:10:3: Undocumented use of global imp -globals.c:11:3: Undocumented use of global check -globals.c:13:3: Undocumented use of global checkstrict -globals.c: (in function specglobs) -globals.c:18:3: Undocumented use of global imp -globals.c:19:3: Undocumented use of global check -globals.c:21:3: Undocumented use of global checkstrict - -Finished LCLint checking --- 8 code errors found, as expected diff --git a/test/impabstract.out b/test/impabstract.out deleted file mode 100644 index 6a18929..0000000 --- a/test/impabstract.out +++ /dev/null @@ -1,33 +0,0 @@ - -Finished LCLint checking --- no code errors found - -impabstract.c: (in function f) -impabstract.c:11:7: Left operand of < is abstract type (mint): m < 2 - An abstraction barrier is broken. If necessary, use /*@access @*/ to - allow access to an abstract type. (-abstract will suppress message) -impabstract.c:13:14: Return value type mint does not match declared type int: m - Underlying types match, but mint is an abstract type that is not accessible - here. - -Finished LCLint checking --- 2 code errors found, as expected - -impabstract.c:2:28: Mutable abstract type cint declared without pointer - indirection: int (violates assignment semantics) - LCL semantics requires that a mutable type exhibits sharing semantics. In - order for objects to be shared a indirection is necessary in the - representation. A mutable type may be represented by a pointer or an abstract - mutable type. Handles into static data are fine, too, but will generate this - error message unless it is suppressed. (-mutrep will suppress message) -impabstract.c:2:28: Datatype cint inconsistently declared as concrete type - A function, variable or constant is redefined with a different type. - (-incondefs will suppress message) - impabstract.lcl:2:1: Specification of cint -impabstract.c: (in function f) -impabstract.c:6:7: Left operand of > is abstract type (cint): c > 3 - An abstraction barrier is broken. If necessary, use /*@access @*/ to - allow access to an abstract type. (-abstract will suppress message) -impabstract.c:8:14: Return value type cint does not match declared type int: c - Underlying types match, but cint is an abstract type that is not accessible - here. - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/init.out b/test/init.out deleted file mode 100644 index 8b68bd5..0000000 --- a/test/init.out +++ /dev/null @@ -1,46 +0,0 @@ - -init.c:1:16: Global c[0] initialized to null value: c[0] = NULL -init.c:1:43: Initial value of c[2][2] is type int, expects char: 3 -init.c:1:48: Global c[3] initialized to null value: c[3] = NULL -init.c:4:23: Global st.uname initialized to null value: st.uname = NULL -init.c:4:29: Initial value of st.y is type double, expects int: 1.2 -init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char * - name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL -init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3 -init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL -init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]: - 1, 2, 3, 4, 3.4, 6, 4 -init.c:10:27: Initial value of a[4] is type double, expects int: 3.4 -init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2 -init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]: - { 1, 2 }, { 3, 4 } -init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 } -init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 } - -Finished LCLint checking --- 14 code errors found, as expected - -init.c:1:16: Global c[0] initialized to null value: c[0] = NULL -init.c:1:22: Read-only string literal storage used as initial value for - unqualified storage: c[1] = "hullo" -init.c:1:43: Initial value of c[2][2] is type int, expects char: 3 -init.c:1:48: Global c[3] initialized to null value: c[3] = NULL -init.c:4:7: Read-only string literal storage used as initial value for - unqualified storage: st.name = "bob" -init.c:4:23: Global st.uname initialized to null value: st.uname = NULL -init.c:4:29: Initial value of st.y is type double, expects int: 1.2 -init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char * - name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL -init.c:8:9: Read-only string literal storage used as initial value for - unqualified storage: st2[1].name = "charly" -init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3 -init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL -init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]: - 1, 2, 3, 4, 3.4, 6, 4 -init.c:10:27: Initial value of a[4] is type double, expects int: 3.4 -init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2 -init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]: - { 1, 2 }, { 3, 4 } -init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 } -init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 } - -Finished LCLint checking --- 17 code errors found, as expected diff --git a/test/inparam.out b/test/inparam.out deleted file mode 100644 index 72a0e1e..0000000 --- a/test/inparam.out +++ /dev/null @@ -1,14 +0,0 @@ - -inparam.c: (in function f) -inparam.c:8:16: Passed storage x not completely defined (*x is undefined): - unknown (x) -inparam.c:12:16: Passed storage x not completely defined (*x is undefined): - inparam (x) - -Finished LCLint checking --- 2 code errors found, as expected - -inparam.c: (in function f) -inparam.c:12:16: Passed storage x not completely defined (*x is undefined): - inparam (x) - -Finished LCLint checking --- 1 code error found, as expected diff --git a/test/internal.out b/test/internal.out deleted file mode 100644 index 38ad1f9..0000000 --- a/test/internal.out +++ /dev/null @@ -1,78 +0,0 @@ - -internal.c: (in function f1) -internal.c:21:9: Variable e1 shadows outer declaration - internal.c:12:7: Previous definition of e1: int - -Finished LCLint checking --- 1 code error found, as expected - -internal.c:4:5: Internal identifier iwonderhowmanycharactersaresignificant2 is - not distinguishable from iwonderhowmanycharactersaresignificant1 in the - first 31 characters (iwonderhowmanycharactersaresign) - internal.c:3:5: Declaration of iwonderhowmanycharactersaresignificant1 -internal.c: (in function f1) -internal.c:21:9: Variable e1 shadows outer declaration - internal.c:12:7: Previous definition of e1: int - -Finished LCLint checking --- 2 code errors found, as expected - -internal.c:4:5: Internal identifier iwonderhowmanycharactersaresignificant2 is - not distinguishable from iwonderhowmanycharactersaresignificant1 in the - first 28 characters (iwonderhowmanycharactersares) - internal.c:3:5: Declaration of iwonderhowmanycharactersaresignificant1 -internal.c:6:5: Internal identifier manycharactersaresignificant2 is not - distinguishable from manycharactersaresignificant1 in the first 28 - characters (manycharactersaresignificant) - internal.c:5:5: Declaration of manycharactersaresignificant1 -internal.c: (in function f1) -internal.c:21:9: Variable e1 shadows outer declaration - internal.c:12:7: Previous definition of e1: int - -Finished LCLint checking --- 3 code errors found, as expected - -internal.c: (in function f1) -internal.c:15:8: Internal identifier Alphabet is not distinguishable from - alphabet without case sensitivity - internal.c:14:7: Declaration of alphabet -internal.c:21:9: Variable e1 shadows outer declaration - internal.c:12:7: Previous definition of e1: int -internal.c:23:11: Internal identifier lcAse is not distinguishable from lcase - without case sensitivity - internal.c:18:7: Declaration of lcase - -Finished LCLint checking --- 3 code errors found, as expected - -internal.c:10:6: Internal identifier f1 is not distinguishable from fl except - by lookalike characters - internal.c:8:12: Declaration of fl -internal.c: (in function f1) -internal.c:13:9: Internal identifier el is not distinguishable from e1 except - by lookalike characters - internal.c:12:7: Declaration of e1 -internal.c:15:8: Internal identifier Alphabet is not distinguishable from - alphabet without case sensitivity - internal.c:14:7: Declaration of alphabet -internal.c:17:8: Internal identifier alphabetlsoup is not distinguishable from - alphabet1soup except by lookalike characters - internal.c:16:7: Declaration of alphabet1soup -internal.c:21:9: Variable e1 shadows outer declaration - internal.c:12:7: Previous definition of e1: int -internal.c:21:9: Internal identifier e1 is not distinguishable from el except - by lookalike characters - internal.c:13:9: Declaration of el -internal.c:22:9: Internal identifier a1phabet is not distinguishable from - alphabet except by lookalike characters - internal.c:14:7: Declaration of alphabet -internal.c:23:11: Internal identifier lcAse is not distinguishable from lcase - without case sensitivity - internal.c:18:7: Declaration of lcase -internal.c:25:9: Internal identifier sS2 is not distinguishable from s52 except - by lookalike characters - internal.c:24:9: Declaration of s52 -internal.c:26:9: Internal identifier s5Z is not distinguishable from s52 except - by lookalike characters - internal.c:24:9: Declaration of s52 -internal.c:28:9: Internal identifier num0 is not distinguishable from numO - except by lookalike characters - internal.c:27:9: Declaration of numO - -Finished LCLint checking --- 11 code errors found, as expected diff --git a/test/iter.out b/test/iter.out deleted file mode 100644 index 65d4e38..0000000 --- a/test/iter.out +++ /dev/null @@ -1,52 +0,0 @@ - -iter.lcl:3:6: Iterator has no yield parameters: noYield -iter.c: (in function test) -iter.c:9:14: Unrecognized identifier: x -iter.c:14:16: Yield parameter shadows local declaration: i - iter.c:6:7: Declaration of i -iter.c:18:8: Iter intFor not balanced with end_intFor -iter.c:14:12: Iter intFor expects arg 2 to be int gets char: c -iter.c:20:20: Variable i used before definition -iter.c:20:20: Yield parameter is not simple identifier: i + 3 -iter.c:24:24: Iter intFor not balanced with end_intFor: end_arrayElements -iter.h: (in iter intFor) -iter.h:1:27: Parameter ___x name is not consistent with macro variable - namespace prefix "m_" -iter.h: (in iter arrayElements) -iter.h:7:31: Parameter ___x name is not consistent with macro variable - namespace prefix "m_" -iter.h:7:43: Variable ___c name is not consistent with macro variable namespace - prefix "m_" -iter.h:7:55: Variable ___b name is not consistent with macro variable namespace - prefix "m_" -iter.h:8:1: Macro parameter j used in conditionally executed code (may or may - not be evaluated exactly once) (in post loop test) -iter.lcl:3:6: Iterator noYield specified but not defined -iter.lcl:3:6: Iterator finalizer end_noYield specified but not defined - -Finished LCLint checking --- 1 spec error found, as expected - 14 code errors found, as expected - -iter2.c: (in function test) -iter2.c:9:14: Unrecognized identifier: x -iter2.c:14:16: Yield parameter shadows local declaration: i - iter2.c:6:7: Declaration of i -iter2.c:17:8: Iter intFor not balanced with end_intFor -iter2.c:14:12: Iter intFor expects arg 2 to be int gets char: c -iter2.c:19:17: Variable i used before definition -iter2.c:19:17: Yield parameter is not simple identifier: i + 3 -iter2.c:22:24: Iter intFor not balanced with end_intFor: end_arrayElements -iter2.h: (in iter intFor) -iter2.h:2:27: Parameter ___x name is not consistent with macro variable - namespace prefix "m_" -iter2.h: (in iter arrayElements) -iter2.h:8:31: Parameter ___x name is not consistent with macro variable - namespace prefix "m_" -iter2.h:8:43: Variable ___c name is not consistent with macro variable - namespace prefix "m_" -iter2.h:8:55: Variable ___b name is not consistent with macro variable - namespace prefix "m_" -iter2.h:9:1: Macro parameter j used in conditionally executed code (may or may - not be evaluated exactly once) (in post loop test) - -Finished LCLint checking --- 12 code errors found, as expected diff --git a/test/libs.out b/test/libs.out deleted file mode 100644 index e58debb..0000000 --- a/test/libs.out +++ /dev/null @@ -1,196 +0,0 @@ - -libs.c: (in function compare2) -libs.c:14:10: Observer storage returned without qualification: "ok" - libs.c:14:10: Storage becomes observer -libs.c: (in function leave) -libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" -libs.c:21:3: Unreachable code: exit(i) -libs.c: (in function print) -libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:30:3: Format string parameter to printf is not a compile-time constant: - s -libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:33:3: Assignment of int to char: c = fgetc(f) -libs.c:34:3: Assignment of int to char: c = getc(f) -libs.c: (in function main) -libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, - int) returns int]: compare -libs.c:46:10: Function bsearch called with 4 args, expects 5 -libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... -libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x -libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:54:11: Unrecognized identifier: SIGHUP -libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] - * gets [function (int, int) returns int]: compare -libs.c:54:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, c... -libs.c:55:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, l... - -Finished LCLint checking --- 18 code errors found, as expected - -libs.c: (in function compare2) -libs.c:14:10: Observer storage returned without qualification: "ok" - libs.c:14:10: Storage becomes observer -libs.c: (in function leave) -libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" -libs.c:21:3: Unreachable code: exit(i) -libs.c: (in function print) -libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:30:3: Format string parameter to printf is not a compile-time constant: - s -libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:33:3: Assignment of int to char: c = fgetc(f) -libs.c:34:3: Assignment of int to char: c = getc(f) -libs.c: (in function main) -libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, - int) returns int]: compare -libs.c:46:10: Function bsearch called with 4 args, expects 5 -libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... -libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x -libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:54:11: Unrecognized identifier: SIGHUP -libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] - * gets [function (int, int) returns int]: compare -libs.c:54:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, c... -libs.c:55:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, l... - -Finished LCLint checking --- 22 code errors found, as expected - -libs.c: (in function compare2) -libs.c:14:10: Observer storage returned without qualification: "ok" - libs.c:14:10: Storage becomes observer -libs.c: (in function leave) -libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" -libs.c:21:3: Unreachable code: exit(i) -libs.c: (in function print) -libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:29:3: Undocumented modification of *f possible from call to fprintf: - fprintf(f, s) -libs.c:30:3: Format string parameter to printf is not a compile-time constant: - s -libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:33:7: Undocumented modification of *f possible from call to fgetc: - fgetc(f) -libs.c:33:3: Assignment of int to char: c = fgetc(f) -libs.c:34:7: Undocumented modification of *f possible from call to getc: - getc(f) -libs.c:34:3: Assignment of int to char: c = getc(f) -libs.c: (in function main) -libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, - int) returns int]: compare -libs.c:46:10: Function bsearch called with 4 args, expects 5 -libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... -libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x -libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:54:11: Unrecognized identifier: SIGHUP -libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] - * gets [function (int, int) returns int]: compare -libs.c:54:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, c... -libs.c:55:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, l... - -Finished LCLint checking --- 25 code errors found, as expected - -libs.c: (in function compare2) -libs.c:14:10: Observer storage returned without qualification: "ok" - libs.c:14:10: Storage becomes observer -libs.c: (in function leave) -libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" -libs.c:21:3: Unreachable code: exit(i) -libs.c: (in function print) -libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:29:3: Undocumented modification of *f possible from call to fprintf: - fprintf(f, s) -libs.c:29:3: Return value (type int) ignored: fprintf(f, s) -libs.c:30:3: Format string parameter to printf is not a compile-time constant: - s -libs.c:30:3: Called procedure printf may access global stdout -libs.c:30:3: Undocumented modification of *stdout possible from call to printf: - printf(s) -libs.c:30:3: Return value (type int) ignored: printf(s) -libs.c:31:12: Undocumented use of global stderr -libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: - s -libs.c:31:3: Undocumented modification of *stderr possible from call to - fprintf: fprintf(stderr, s) -libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s) -libs.c:33:7: Called procedure fgetc may access global errno -libs.c:33:7: Undocumented modification of *f possible from call to fgetc: - fgetc(f) -libs.c:33:7: Undocumented modification of errno possible from call to fgetc: - fgetc(f) -libs.c:33:3: Assignment of int to char: c = fgetc(f) -libs.c:34:7: Undocumented modification of *f possible from call to getc: - getc(f) -libs.c:34:3: Assignment of int to char: c = getc(f) -libs.c: (in function main) -libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, - int) returns int]: compare -libs.c:46:10: Function bsearch called with 4 args, expects 5 -libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... -libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:51:3: Called procedure qsort may access global errno -libs.c:51:3: Undocumented modification of errno possible from call to qsort: - qsort(NULL, x, x, ([function () returns int] *)compare) -libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x -libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x -libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x -libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) - returns int] * gets [function () returns char] *: - ([function () returns char] *)compare2 -libs.c:52:3: Called procedure qsort may access global errno -libs.c:52:3: Undocumented modification of errno possible from call to qsort: - qsort(x, x, x, ([function () returns char] *)compare2) -libs.c:54:11: Unrecognized identifier: SIGHUP -libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] - * gets [function (int, int) returns int]: compare -libs.c:54:3: Called procedure signal may access global errno -libs.c:54:3: Undocumented modification of errno possible from call to signal: - signal(SIGHUP, compare) -libs.c:54:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, c... -libs.c:55:3: Called procedure signal may access global errno -libs.c:55:3: Undocumented modification of errno possible from call to signal: - signal(SIGHUP, leave) -libs.c:55:3: Return value (type [function (int) returns void]) ignored: - signal(SIGHUP, l... - -Finished LCLint checking --- 42 code errors found, as expected diff --git a/test/lintcomments.out b/test/lintcomments.out deleted file mode 100644 index 0336249..0000000 --- a/test/lintcomments.out +++ /dev/null @@ -1,27 +0,0 @@ - -lintcomments.c: (in function f) -lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment -lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment -lintcomments.c:11:13: Fall through case (no preceding break) -lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@notreached@*/ semantic comment. - -Finished LCLint checking --- 4 code errors found, as expected - -lintcomments.c: (in function f) -lintcomments.c:11:13: Fall through case (no preceding break) - -Finished LCLint checking --- 1 code error found, as expected - -lintcomments.c: (in function f) -lintcomments.c:9:10: Fall through case (no preceding break) -lintcomments.c:10:10: Fall through case (no preceding break) -lintcomments.c:11:13: Fall through case (no preceding break) -lintcomments.c:24:8: Unreachable code: i++ - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/list.out b/test/list.out deleted file mode 100644 index ee785f8..0000000 --- a/test/list.out +++ /dev/null @@ -1,11 +0,0 @@ - -list.c: (in function list_addh) -list.c:24:5: Variable e is kept in true branch, but not kept in continuation. - list.c:23:7: Storage e becomes kept -list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined - field: next -list.c: (in function list_addh2) -list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined - field: next - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/macrosef.out b/test/macrosef.out deleted file mode 100644 index ea001c1..0000000 --- a/test/macrosef.out +++ /dev/null @@ -1,34 +0,0 @@ - -macrosef.c: (in macro f) -macrosef.c:2:14: Macro parameter y used more than once -macrosef.c: (in function m) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - file system state: (printf("yo\n"), 3) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - *stdout: (printf("yo\n"), 3) -macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument may modify - *p: g(p) - -Finished LCLint checking --- 4 code errors found, as expected - -macrosef.c: (in macro f) -macrosef.c:2:14: Macro parameter y used more than once -macrosef.c: (in function m) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - file system state: (printf("yo\n"), 3) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - *stdout: (printf("yo\n"), 3) - -Finished LCLint checking --- 3 code errors found, as expected - -macrosef.c: (in macro f) -macrosef.c:2:14: Macro parameter y used more than once -macrosef.c: (in function m) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - file system state: (printf("yo\n"), 3) -macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify - *stdout: (printf("yo\n"), 3) -macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument calls - unconstrained function g (no guarantee it will not modify something): g(p) - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/merge.out b/test/merge.out deleted file mode 100644 index 3b93b60..0000000 --- a/test/merge.out +++ /dev/null @@ -1,11 +0,0 @@ - -merge.c: (in function f2) -merge.c:33:4: Variable y used in inconsistent state - merge.c:30:28: Storage y becomes inconsistent (released on one branch) -merge.c:33:4: Dereference of possibly null pointer y: *y - merge.c:21:12: Storage y may become null -merge.c: (in function f3) -merge.c:51:4: Dereference of possibly null pointer y: *y - merge.c:50:7: Storage y may become null - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/modifies.out b/test/modifies.out deleted file mode 100644 index 09ac059..0000000 --- a/test/modifies.out +++ /dev/null @@ -1,22 +0,0 @@ - -modifies.c:7:29: Modifies list uses internalState which is a variable and has - special meaning in a modifies list. (Special meaning assumed.) - modifies.c:4:25: Declaration of internalState -modifies.c:13:26: Modifies list uses fileSystem which is a parameter and has - special meaning in a modifies list. (Special meaning assumed.) -modifies.c:17:5: Globals list for f6 includes internal state, mstat, but - previously declared without globals internalState. - modifies.c:15:5: Declaration of f6 -modifies.c:17:5: Modifies list for f6 includes internal state, but previously - declared without modifies internal. - modifies.c:15:5: Declaration of f6 -modifies.c: (in function f1) -modifies.c:24:3: Undocumented modification of mstat: mstat++ -modifies.c: (in function g2) -modifies.c:37:1: Function g2 specified to modify internal state but no internal - state is modified - modifies.h:3:12: Declaration of g2 -modclient.c: (in function mod) -modclient.c:3:3: Statement has no effect: (void)f1(p) - -Finished LCLint checking --- 7 code errors found, as expected diff --git a/test/modtest.out b/test/modtest.out deleted file mode 100644 index b91492f..0000000 --- a/test/modtest.out +++ /dev/null @@ -1,59 +0,0 @@ - -modtest.c: (in function g) -modtest.lcl:15: Global x listed but not used -modtest.lcl:15: Global y listed but not used -modtest.c:9:12: Parameter a not used -modtest.c:9:22: Parameter p not used -modtest.c: (in function f) -modtest.c:16:3: Undocumented modification of i[3]: i[3] = y -modtest.c:17:3: Undocumented modification of j[2]: j[2] = x -modtest.c:22:3: Undocumented modification of y: y++ -modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 -modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) -modtest.c:26:3: Return value (type int) ignored: g(j, i) - -Finished LCLint checking --- 10 code errors found, as expected - -modtest.c: (in function g) -modtest.lcl:15: Global x listed but not used -modtest.lcl:15: Global y listed but not used -modtest.c:9:12: Parameter a not used -modtest.c:9:22: Parameter p not used -modtest.c: (in function f) -modtest.c:16:3: Undocumented modification of i[3]: i[3] = y -modtest.c:17:3: Undocumented modification of j[2]: j[2] = x -modtest.c:22:3: Undocumented modification of y: y++ -modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 -modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) -modtest.c:26:3: Return value (type int) ignored: g(j, i) -modtest.c: (in function h) -modtest.c:33:3: Undocumented modification of y: y++ -modtest.c:34:10: Undocumented modification of x possible from call to g: - g(a, &x) -modtest.c:34:10: Undocumented modification of y possible from call to g: - g(a, &x) - -Finished LCLint checking --- 13 code errors found, as expected - -modtest.c: (in function g) -modtest.lcl:15: Global x listed but not used -modtest.lcl:15: Global y listed but not used -modtest.c:12:1: Suspect object listed in modifies of g not modified: x - modtest.lcl:15: Specification of g -modtest.c:12:1: Suspect object listed in modifies of g not modified: y - modtest.lcl:15: Specification of g -modtest.c:9:12: Parameter a not used -modtest.c:9:22: Parameter p not used -modtest.c: (in function f) -modtest.c:16:3: Undocumented modification of i[3]: i[3] = y -modtest.c:17:3: Undocumented modification of j[2]: j[2] = x -modtest.c:22:3: Undocumented modification of y: y++ -modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 -modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) -modtest.c:26:3: Return value (type int) ignored: g(j, i) -modtest.c:29:1: Suspect object listed in modifies of f not modified: ai[6] - modtest.lcl:8: Specification of f -modtest.c:29:1: Suspect object listed in modifies of f not modified: tstp->a - modtest.lcl:8: Specification of f - -Finished LCLint checking --- 14 code errors found, as expected diff --git a/test/moduncon.out b/test/moduncon.out deleted file mode 100644 index dfde8e6..0000000 --- a/test/moduncon.out +++ /dev/null @@ -1,57 +0,0 @@ - -moduncon.c: (in function g) -moduncon.c:12:10: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:13:22: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:13:16: Undetected modification possible from call to unconstrained - function mmod: mmod -moduncon.c:13:10: Undetected modification possible from call to unconstrained - function umod: umod - -Finished LCLint checking --- 4 code errors found, as expected - -moduncon.c: (in function f) -moduncon.c:6:22: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:6:22: New fresh storage (type int *) passed as implicitly temp (not - released): umod(x) -moduncon.c:6:16: Undetected modification possible from call to unconstrained - function mmod: mmod -moduncon.c:6:16: New fresh storage (type int *) passed as implicitly temp (not - released): mmod(umod(x)) -moduncon.c:6:10: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:6:3: Statement has no effect (possible undected modification through - call to unconstrained functions umod, mmod): (void)umod(mmod(... -moduncon.c: (in function g) -moduncon.c:12:10: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:12:3: Statement has no effect (possible undected modification - through call to unconstrained function umod): (void)umod(x) -moduncon.c:13:22: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:13:22: New fresh storage (type int *) passed as implicitly temp (not - released): umod(x) -moduncon.c:13:16: Undetected modification possible from call to unconstrained - function mmod: mmod -moduncon.c:13:16: New fresh storage (type int *) passed as implicitly temp (not - released): mmod(umod(x)) -moduncon.c:13:10: Undetected modification possible from call to unconstrained - function umod: umod -moduncon.c:13:3: Statement has no effect (possible undected modification - through call to unconstrained functions umod, mmod): (void)umod(mmod(... -moduncon.c:1:6: Function mmod declared but not defined -moduncon.c:2:6: Function umod declared but not defined -moduncon.c:4:5: Function f declared but not used - moduncon.c:8:1: Definition of f -moduncon.c:10:5: Function g declared but not used - moduncon.c:15:1: Definition of g -moduncon.c:1:6: Function mmod exported but not declared in header file -moduncon.c:2:6: Function umod exported but not declared in header file -moduncon.c:4:5: Function f exported but not declared in header file - moduncon.c:8:1: Definition of f -moduncon.c:10:5: Function g exported but not declared in header file - moduncon.c:15:1: Definition of g - -Finished LCLint checking --- 22 code errors found, as expected diff --git a/test/mongoincludes.out b/test/mongoincludes.out deleted file mode 100644 index a996071..0000000 --- a/test/mongoincludes.out +++ /dev/null @@ -1,124 +0,0 @@ - -minc1.h:1: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:1: Include site - mongoincludes.c:1: Include site -minc1.h:2: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:1: Include site -minc1.h:3: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:1: Include site -minc2.h:1: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:1: Maximum include nesting depth (1, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (1, current depth 5) exceeded - minc3.h:1: Include site - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:2: Maximum include nesting depth (1, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc2.h:2: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (1, current depth 4) exceeded - minc2.h:2: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc2.h:3: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc1.h:4: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:1: Include site -minc3.h:1: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:4: Include site - mongoincludes.c:1: Include site -minc3.h:2: Maximum include nesting depth (1, current depth 3) exceeded - minc1.h:4: Include site - mongoincludes.c:1: Include site -minc2.h:1: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:2: Include site -minc2.h:2: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:2: Include site -minc2.h:3: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:2: Include site -minc3.h:1: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:3: Include site -minc3.h:2: Maximum include nesting depth (1, current depth 2) exceeded - mongoincludes.c:3: Include site - -Finished LCLint checking --- 19 code errors found, as expected - -minc4.h:1: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:1: Include site - mongoincludes.c:1: Include site -minc2.h:1: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:1: Maximum include nesting depth (2, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (2, current depth 5) exceeded - minc3.h:1: Include site - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:2: Maximum include nesting depth (2, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc2.h:2: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (2, current depth 4) exceeded - minc2.h:2: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc2.h:3: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:1: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:4: Include site - mongoincludes.c:1: Include site -minc3.h:2: Maximum include nesting depth (2, current depth 3) exceeded - minc1.h:4: Include site - mongoincludes.c:1: Include site - -Finished LCLint checking --- 10 code errors found, as expected - -minc3.h:1: Maximum include nesting depth (3, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (3, current depth 5) exceeded - minc3.h:1: Include site - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc3.h:2: Maximum include nesting depth (3, current depth 4) exceeded - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site -minc4.h:1: Maximum include nesting depth (3, current depth 4) exceeded - minc2.h:2: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site - -Finished LCLint checking --- 4 code errors found, as expected - -minc4.h:1: Maximum include nesting depth (4, current depth 5) exceeded - minc3.h:1: Include site - minc2.h:1: Include site - minc1.h:3: Include site - mongoincludes.c:1: Include site - -Finished LCLint checking --- 1 code error found, as expected - -Finished LCLint checking --- no code errors found diff --git a/test/mystrncat.out b/test/mystrncat.out deleted file mode 100644 index 4bb212d..0000000 --- a/test/mystrncat.out +++ /dev/null @@ -1,24 +0,0 @@ - -mystrncat.c: (in function func) -mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is - undefined): mystrncat (buffer, ...) -mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined): - mystrncat (b, ...) -mystrncat.c:12:3: Possible out-of-bounds store: - Unable to resolve constraint: - requires maxRead(buffer @ mystrncat.c:12:13) <= 0 - needed to satisfy precondition: - requires maxSet(buffer @ mystrncat.c:12:13) >= maxRead(buffer @ - mystrncat.c:12:13) + 255 - derived from mystrncat precondition: - requires maxSet() >= maxRead() + -mystrncat.c:13:3: Possible out-of-bounds store: - Unable to resolve constraint: - requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0 - needed to satisfy precondition: - requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) + - 255 - derived from mystrncat precondition: - requires maxSet() >= maxRead() + - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/noeffect.out b/test/noeffect.out deleted file mode 100644 index 394f14c..0000000 --- a/test/noeffect.out +++ /dev/null @@ -1,13 +0,0 @@ - -noeffect.c: (in macro exprNode_swap) -noeffect.c:3:59: Assignment to macro parameter: e1 - A macro parameter is used as the left side of an assignment expression. This - exhibits behavior that could not be implemented by a function. (-macroassign - will suppress message) -noeffect.c:3:72: Assignment to macro parameter: e2 -noeffect.c:2:18: File static function exprNode_swap declared but not used - A function is declared but not used. Use /*@unused@*/ in front of function - header to suppress message. (-fcnuse will suppress message) - noeffect.c:3: Definition of exprNode_swap - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/null.out b/test/null.out deleted file mode 100644 index 192475a..0000000 --- a/test/null.out +++ /dev/null @@ -1,179 +0,0 @@ - -null1.c: (in function f) -null1.c:19:20: Implicitly temp storage x returned as only: x -null1.c:19:20: Possibly null storage x returned as non-null: x - null1.c:10:35: Storage x may become null -null1.c:19:22: Fresh storage y not released before return - null1.c:12:41: Fresh storage y allocated -null1.c:31:4: Dereference of possibly null pointer y: *y - null1.c:12:12: Storage y may become null -null1.c:34:5: Possibly null storage z passed as non-null param: g (z) - null1.c:25:7: Storage z may become null -null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z) -null1.c:39:14: Dereference of null pointer z: *z - null1.c:25:7: Storage z becomes null -null1.c:43:22: Dereference of possibly null pointer z4: *z4 - null1.c:42:8: Storage z4 may become null -null1.c:46:25: Dereference of possibly null pointer z2: *z2 - null1.c:26:8: Storage z2 may become null -null1.c:49:11: Dereference of possibly null pointer z3: *z3 - null1.c:27:8: Storage z3 may become null -null1.c:55:4: Dereference of possibly null pointer z2: *z2 - null1.c:51:8: Storage z2 may become null -null1.c:59:23: Dereference of possibly null pointer z5: *z5 - null1.c:57:8: Storage z5 may become null -null1.c:67:10: Possibly null storage z returned as non-null: z - null1.c:25:7: Storage z may become null -null1.c:67:12: Fresh storage z3 not released before return - null1.c:27:3: Fresh storage z3 allocated - -Finished LCLint checking --- 14 code errors found, as expected - -null1.c: (in function f) -null1.c:19:20: Implicitly temp storage x returned as only: x -null1.c:19:22: Fresh storage y not released before return - null1.c:12:41: Fresh storage y allocated -null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z) -null1.c:67:12: Fresh storage z3 not released before return - null1.c:27:3: Fresh storage z3 allocated - -Finished LCLint checking --- 4 code errors found, as expected - -null2.c: (in function f) -null2.c:15:10: Left operand of && is non-boolean (int *): x1 && (*x1 == 3) -null2.c:16:19: Dereference of possibly null pointer x2: *x2 - null2.c:10:55: Storage x2 may become null -null2.c:17:18: Dereference of possibly null pointer x3: *x3 - null2.c:11:21: Storage x3 may become null -null2.c:17:10: Left operand of || is non-boolean (int *): x3 || (*x3 == 3) -null2.c:20:27: Dereference of possibly null pointer x1: *x1 - null2.c:10:35: Storage x1 may become null -null2.c:23:7: Left operand of && is non-boolean (int *): x4 && (*x4 == 3) -null2.c:30:8: Dereference of possibly null pointer x4: *x4 - null2.c:11:41: Storage x4 may become null -null2.c:35:14: Implicitly temp storage x3 returned as only: (x3) -null2.c:35:14: Possibly null storage x3 returned as non-null: (x3) - null2.c:11:21: Storage x3 may become null -null2.c:39:10: Implicitly temp storage x1 returned as only: (x1) - -Finished LCLint checking --- 10 code errors found, as expected - -null3.c: (in function f3) -null3.c:16:4: Dereference of possibly null pointer gnip: *gnip - null3.c:3:25: Storage gnip may become null -null3.c: (in function f) -null3.c:27:4: Dereference of possibly null pointer arg0: *arg0 -null3.c:37:8: Dereference of possibly null pointer z: *z - null3.c:25:12: Storage z may become null -null3.c:38:16: Only storage aip not released before return - null3.c:22:66: Storage aip becomes only -null3.c:44:4: Dereference of possibly null pointer arg2: *arg2 -null3.c:52:4: Dereference of possibly null pointer gnip: *gnip - null3.c:51:10: Storage gnip may become null -null3.c:53:9: Variable z used after being released - null3.c:51:3: Storage z released -null3.c:53:3: Only storage gip (type int *) not released before assignment (z - aliases gnip): gip = z - null3.c:5:17: Storage gip becomes only -null3.c:55:3: Only storage gnip (type nip) not released before assignment: - gnip = aip - null3.c:53:3: Storage gnip becomes only -null3.c:60:14: Returned storage y not completely defined (*y is undefined): y -null3.c:60:16: Function returns with non-null global gip referencing null - storage - null3.c:53:9: Storage gip may become null -null3.c:65:14: Possibly null storage y returned as non-null: y - null3.c:24:12: Storage y may become null -null3.c:65:14: Returned storage y not completely defined (*y is undefined): y -null3.c:65:16: Function returns with non-null global gip referencing null - storage - null3.c:53:9: Storage gip may become null -null3.c: (in function f2) -null3.c:73:4: Dereference of possibly null pointer gnip: *gnip - null3.c:55:10: Storage gnip may become null - -Finished LCLint checking --- 15 code errors found, as expected - -null3.c: (in function f3) -null3.c:16:4: Dereference of possibly null pointer gnip: *gnip - null3.c:3:25: Storage gnip may become null -null3.c: (in function f) -null3.c:27:4: Dereference of possibly null pointer arg0: *arg0 -null3.c:35:13: Possibly null storage y passed as non-null param: free (y) - null3.c:24:12: Storage y may become null -null3.c:37:8: Dereference of possibly null pointer z: *z - null3.c:25:12: Storage z may become null -null3.c:38:16: Only storage aip not released before return - null3.c:22:66: Storage aip becomes only -null3.c:44:4: Dereference of possibly null pointer arg2: *arg2 -null3.c:52:4: Dereference of possibly null pointer gnip: *gnip - null3.c:51:10: Storage gnip may become null -null3.c:53:9: Variable z used after being released - null3.c:51:3: Storage z released -null3.c:53:3: Only storage gip (type int *) not released before assignment (z - aliases gnip): gip = z - null3.c:5:17: Storage gip becomes only -null3.c:55:3: Only storage gnip (type nip) not released before assignment: - gnip = aip - null3.c:53:3: Storage gnip becomes only -null3.c:60:14: Returned storage y not completely defined (*y is undefined): y -null3.c:60:16: Function returns with non-null global gip referencing null - storage - null3.c:53:9: Storage gip may become null -null3.c:65:14: Possibly null storage y returned as non-null: y - null3.c:24:12: Storage y may become null -null3.c:65:14: Returned storage y not completely defined (*y is undefined): y -null3.c:65:16: Function returns with non-null global gip referencing null - storage - null3.c:53:9: Storage gip may become null -null3.c: (in function f2) -null3.c:73:4: Dereference of possibly null pointer gnip: *gnip - null3.c:55:10: Storage gnip may become null - -Finished LCLint checking --- 16 code errors found, as expected - -null4.c: (in function g) -null4.c:43:3: Only storage p (type int *) not released before assignment: - p = malloc(24) - null4.c:3:28: Storage p becomes only - -Finished LCLint checking --- 1 code error found, as expected - -null5.c:5:29: Qualifier falsenull used with function returning char (should - return bool) -null5.c:6:29: Qualifier falsenull used with function having 2 arguments (should - have 1) -null5.c: (in function g2) -null5.c:26:15: Dereference of possibly null pointer y: *y - null5.c:18:25: Storage y may become null -null5.c: (in function g3) -null5.c:37:11: Dereference of null pointer y: *y - null5.c:30:25: Storage y becomes null - -Finished LCLint checking --- 4 code errors found, as expected - -null6.c:7:36: Function f1 declared with notnull parameter x of abstract type - mnull -null6.c: (in function f) -null6.c:11:11: Dereference of possibly null pointer x: *x -null6.c: (in function f6) -null6.c:68:10: Possibly null storage x returned as non-null: x - null6.c:61:31: Storage x may become null -null6.c: (in function f7) -null6.c:84:10: Possibly null storage x returned as non-null: x - null6.c:81:11: Storage x may become null - -Finished LCLint checking --- 4 code errors found, as expected - -null6.c:7:36: Function f1 declared with notnull parameter x of abstract type - mnull -null6.c: (in function f) -null6.c:11:11: Dereference of possibly null pointer x: *x -null6.c: (in function f6) -null6.c:68:10: Possibly null storage x returned as non-null: x - null6.c:61:31: Storage x may become null -null6.c: (in function f7) -null6.c:84:10: Possibly null storage x returned as non-null: x - null6.c:81:11: Storage x may become null - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/observer.out b/test/observer.out deleted file mode 100644 index cc38d96..0000000 --- a/test/observer.out +++ /dev/null @@ -1,57 +0,0 @@ - -observer.c: (in function stx_name) -observer.c:9:10: Function returns reference to parameter x: (x->name) -observer.c:9:10: Return value exposes rep of stx: (x->name) -observer.c:9:20: Released storage x->name reachable from parameter at return - point - observer.c:9:10: Storage x->name is released -observer.c: (in function f) -observer.c:33:3: Suspect modification of observer s: *s = 'x' -observer.c:34:9: Function call may modify observer s: s - observer.c:32:7: Storage s becomes observer -observer.c:34:9: Observer storage s passed as only param: free (s) - observer.c:32:7: Storage s becomes observer -observer.c:38:9: Exposed storage s passed as only param: free (s) - observer.c:36:3: Storage s becomes exposed -observer.c:41:10: Observer storage *s reachable from unqualified return value -observer.c:41:10: Observer storage s returned without qualification: s - observer.c:40:7: Storage s becomes observer - -Finished LCLint checking --- 9 code errors found, as expected - -observer.c: (in function stx_name) -observer.c:9:10: Function returns reference to parameter x: (x->name) -observer.c:9:20: Released storage x->name reachable from parameter at return - point - observer.c:9:10: Storage x->name is released -observer.c: (in function f) -observer.c:33:3: Suspect modification of observer s: *s = 'x' -observer.c:34:9: Function call may modify observer s: s - observer.c:32:7: Storage s becomes observer -observer.c:34:9: Observer storage s passed as only param: free (s) - observer.c:32:7: Storage s becomes observer -observer.c:38:9: Exposed storage s passed as only param: free (s) - observer.c:36:3: Storage s becomes exposed -observer.c:41:10: Observer storage *s reachable from unqualified return value -observer.c:41:10: Observer storage s returned without qualification: s - observer.c:40:7: Storage s becomes observer - -Finished LCLint checking --- 8 code errors found, as expected - -observer.c: (in function stx_name) -observer.c:9:20: Released storage x->name reachable from parameter at return - point - observer.c:9:10: Storage x->name is released -observer.c: (in function f) -observer.c:33:3: Suspect modification of observer s: *s = 'x' -observer.c:34:9: Function call may modify observer s: s - observer.c:32:7: Storage s becomes observer -observer.c:34:9: Observer storage s passed as only param: free (s) - observer.c:32:7: Storage s becomes observer -observer.c:38:9: Exposed storage s passed as only param: free (s) - observer.c:36:3: Storage s becomes exposed -observer.c:41:10: Observer storage *s reachable from unqualified return value -observer.c:41:10: Observer storage s returned without qualification: s - observer.c:40:7: Storage s becomes observer - -Finished LCLint checking --- 7 code errors found, as expected diff --git a/test/oldstyle.out b/test/oldstyle.out deleted file mode 100644 index 6f1bbde..0000000 --- a/test/oldstyle.out +++ /dev/null @@ -1,10 +0,0 @@ - -oldstyle.c: (in function f1) -oldstyle.c:5:8: Dereference of non-pointer (int): *y -oldstyle.c:10:5: Function f2 declared with 1 arg, specified with 2 - oldstyle.lcl:2: Specification of f2 -oldstyle.c:15:12: Parameter 2, y, of function f3 has inconsistent type: - declared char, specified char * - oldstyle.lcl:4:1: Specification of y: char * - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/outglob.out b/test/outglob.out deleted file mode 100644 index 2d60d5b..0000000 --- a/test/outglob.out +++ /dev/null @@ -1,20 +0,0 @@ - -outglob.c: (in function g) -outglob.c:5:20: Undef global x3 used before definition -outglob.c: (in function f) -outglob.c:15:14: Undef global x1 used before definition -outglob.c:15:17: Function returns with global x2 undefined - outglob.lcl:3: Storage x2 becomes undefined -outglob.c:15:17: Function returns with global x3 undefined - outglob.lcl:3: Storage x3 becomes undefined -outglob.c:21:10: Undef global x1 used before definition -outglob.c:22:10: Global x2 used by function undefined before call: g -outglob.c:27:10: Undef global x3 used before definition -outglob.c:37:14: Function returns with global x3 undefined - outglob.lcl:3: Storage x3 becomes undefined -outglob.c:41:13: Function returns with global x2 undefined - outglob.lcl:3: Storage x2 becomes undefined -outglob.c:41:13: Function returns with global x3 undefined - outglob.lcl:3: Storage x3 becomes undefined - -Finished LCLint checking --- 10 code errors found, as expected diff --git a/test/outparam.out b/test/outparam.out deleted file mode 100644 index 83705a7..0000000 --- a/test/outparam.out +++ /dev/null @@ -1,20 +0,0 @@ - -outparam.c: (in function h) -outparam.c:8:3: Variable u1 used before definition -outparam.c:12:7: Field s->a used before definition -outparam.c: (in function f) -outparam.c:21:7: Value *a used before definition -outparam.c: (in function g) -outparam.c:37:5: Unallocated storage c passed as out parameter to f: c -outparam.c:37:8: Variable b used before definition -outparam.c:39:5: Unallocated storage d passed as out parameter to f: d -outparam.c:41:7: Variable t used before definition -outparam.c:42:7: Variable t2 used before definition -outparam.c:42:3: Assignment of int to st: s = t2->a -outparam.c:44:3: Variable t3 used before definition -outparam.c:47:5: Arrow access from possibly null pointer t4: t4->a - outparam.c:46:8: Storage t4 may become null -outparam.c:48:13: Fresh storage t4 not released before return - outparam.c:46:3: Fresh storage t4 allocated - -Finished LCLint checking --- 12 code errors found, as expected diff --git a/test/preds.out b/test/preds.out deleted file mode 100644 index 39770b2..0000000 --- a/test/preds.out +++ /dev/null @@ -1,69 +0,0 @@ - -preds.c: (in function f) -preds.c:10:7: Test expression for if not bool, type int: *p - Test expression type is not boolean or int. (-predboolint will suppress - message) -preds.c:15:8: Operand of ! is non-boolean (int): !(*p) - The operand of a boolean operator is not a boolean. Use +ptrnegate to allow ! - to be used on pointers. (-boolops will suppress message) -preds.c:20:7: Test expression for if is assignment expression: b1 = b2 - The condition test is an assignment expression. Probably, you mean to use == - instead of =. If an assignment is intended, add an extra parentheses nesting - (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress - message) -preds.c:25:7: Test expression for if not bool, type char: (c = 'a') - Test expression type is not boolean. (-predboolothers will suppress message) -preds.c:30:7: Use of == with bool variables (risks inconsistency because of - multiple true values): b1 == b2 - Two bool values are compared directly using a C primitive. This may produce - unexpected results since all non-zero values are considered TRUE, so - different TRUE values may not be equal. The file bool.h (included in - lclint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will - suppress message) -preds.c:35:7: Test expression for if not bool, type char: c - -Finished LCLint checking --- 6 code errors found, as expected - -preds.c: (in function f) -preds.c:20:7: Test expression for if is assignment expression: b1 = b2 - The condition test is an assignment expression. Probably, you mean to use == - instead of =. If an assignment is intended, add an extra parentheses nesting - (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress - message) - -Finished LCLint checking --- 1 code error found, as expected - -preds.c: (in function f) -preds.c:5:8: Operand of ! is non-boolean (int *): !p - The operand of ! operator is a pointer. (+ptrnegate will suppress message) -preds.c:10:7: Test expression for if not bool, type int: *p - Test expression type is not boolean or int. (-predboolint will suppress - message) -preds.c:15:8: Operand of ! is non-boolean (int): !(*p) - The operand of a boolean operator is not a boolean. Use +ptrnegate to allow ! - to be used on pointers. (-boolops will suppress message) -preds.c:20:7: Test expression for if is assignment expression: b1 = b2 - The condition test is an assignment expression. Probably, you mean to use == - instead of =. If an assignment is intended, add an extra parentheses nesting - (e.g., if ((a = b)) ...) to suppress this message. (-predassign will suppress - message) -preds.c:25:7: Test expression for if not bool, type char: (c = 'a') - Test expression type is not boolean. (-predboolothers will suppress message) -preds.c:30:7: Use of == with bool variables (risks inconsistency because of - multiple true values): b1 == b2 - Two bool values are compared directly using a C primitive. This may produce - unexpected results since all non-zero values are considered TRUE, so - different TRUE values may not be equal. The file bool.h (included in - lclint/lib) provides bool_equal for safe bool comparisons. (-boolcompare will - suppress message) -preds.c:35:7: Test expression for if not bool, type char: c -bool.h:21:13: Function bool_initMod declared but not used - A function is declared but not used. Use /*@unused@*/ in front of function - header to suppress message. (-fcnuse will suppress message) -bool.h:24:29: Function bool_unparse declared but not used -bool.h:27:13: Function bool_not declared but not used -bool.h:30:13: Function bool_equal declared but not used -preds.c:3:5: Function f declared but not used - preds.c:41:1: Definition of f - -Finished LCLint checking --- 12 code errors found, as expected diff --git a/test/prefixes.out b/test/prefixes.out deleted file mode 100644 index ccc63c5..0000000 --- a/test/prefixes.out +++ /dev/null @@ -1,161 +0,0 @@ - -Finished LCLint checking --- no code errors found - -prefixes.c:20: Parameterized macro has no prototype or specification: mf -prefixes.c: (in macro mf) -prefixes.c:20:37: Variable y name is not consistent with macro variable - namespace prefix "m_" -prefixes.c:20:37: Variable y declared but not used -prefixes.c:20:26: Variable m_x declared but not used - -Finished LCLint checking --- 4 code errors found, as expected - -prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type - namespace prefix "T" -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "T" - -Finished LCLint checking --- 2 code errors found, as expected - -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "^" - -Finished LCLint checking --- 1 code error found, as expected - -prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type - namespace prefix "^*" -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "^*" - -Finished LCLint checking --- 2 code errors found, as expected - -prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type - namespace prefix "^%*" -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "^%*" - -Finished LCLint checking --- 2 code errors found, as expected - -prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type - namespace prefix "^~*" -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "^~*" - -Finished LCLint checking --- 2 code errors found, as expected - -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "^" -prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file - static), but matches the user-defined type namespace prefix "^" -prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file - static), but matches the user-defined type namespace prefix "^" -prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file - static), but matches the user-defined type namespace prefix "^" -prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file - static), but matches the user-defined type namespace prefix "^" -prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file - static), but matches the user-defined type namespace prefix "^" -prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a - external), but matches the user-defined type namespace prefix "^" - -Finished LCLint checking --- 7 code errors found, as expected - -prefixes.c:8:12: Variable V3int name is not consistent with file static - namespace prefix "^^" -prefixes.c:9:12: Variable sint name is not consistent with file static - namespace prefix "^^" -prefixes.c:10:12: Variable Xqmxt name is not consistent with file static - namespace prefix "^^" -prefixes.c:11:12: Variable XqmXt name is not consistent with file static - namespace prefix "^^" - -Finished LCLint checking --- 4 code errors found, as expected - -prefixes.c:6:12: Variable FSint name is not consistent with file static - namespace prefix "^#" -prefixes.c:7:12: Variable TYint name is not consistent with file static - namespace prefix "^#" -prefixes.c:9:12: Variable sint name is not consistent with file static - namespace prefix "^#" -prefixes.c:10:12: Variable Xqmxt name is not consistent with file static - namespace prefix "^#" -prefixes.c:11:12: Variable XqmXt name is not consistent with file static - namespace prefix "^#" - -Finished LCLint checking --- 5 code errors found, as expected - -prefixes.c:6:12: Variable FSint name is not consistent with file static - namespace prefix "^?&x" -prefixes.c:7:12: Variable TYint name is not consistent with file static - namespace prefix "^?&x" -prefixes.c:8:12: Variable V3int name is not consistent with file static - namespace prefix "^?&x" -prefixes.c:9:12: Variable sint name is not consistent with file static - namespace prefix "^?&x" -prefixes.c:11:12: Variable XqmXt name is not consistent with file static - namespace prefix "^?&x" - -Finished LCLint checking --- 5 code errors found, as expected - -prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable - namespace prefix "G" - -Finished LCLint checking --- 1 code error found, as expected - -prefixes.c:14:12: Variable Gint name is not consistent with global variable - namespace prefix "&G?_^" - -Finished LCLint checking --- 1 code error found, as expected - -prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace - prefix "G" -prefixes.c:2:13: Datatype QINT name is not consistent with external namespace - prefix "G" -prefixes.c:3:13: Datatype tint name is not consistent with external namespace - prefix "G" -prefixes.c:15:12: Variable aGb_Xint name is not consistent with external - namespace prefix "G" -prefixes.c:18:12: Function g name is not consistent with external namespace - prefix "G" - -Finished LCLint checking --- 5 code errors found, as expected - -prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type - namespace prefix "T" -prefixes.c:3:13: Datatype tint name is not consistent with user-defined type - namespace prefix "T" -prefixes.c:15:12: Variable aGb_Xint name is not consistent with external - namespace prefix "G" -prefixes.c:18:12: Function g name is not consistent with external namespace - prefix "G" - -Finished LCLint checking --- 4 code errors found, as expected - -prefixes.c:20: Expanded macro mf name is not a local variable (it is a - unchecked macro), but matches the local variable namespace prefix "?*" -prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a - external), but matches the local variable namespace prefix "?*" -prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external), - but matches the local variable namespace prefix "?*" -prefixes.c:3:13: Datatype tint name is not a local variable (it is a external), - but matches the local variable namespace prefix "?*" -prefixes.c:6:12: Variable FSint name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:7:12: Variable TYint name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:8:12: Variable V3int name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:9:12: Variable sint name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file - static), but matches the local variable namespace prefix "?*" -prefixes.c:14:12: Variable Gint name is not a local variable (it is a - external), but matches the local variable namespace prefix "?*" -prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a - external), but matches the local variable namespace prefix "?*" -prefixes.c:18:12: Function g name is not a local variable (it is a external), - but matches the local variable namespace prefix "?*" - -Finished LCLint checking --- 13 code errors found, as expected diff --git a/test/printflike.out b/test/printflike.out deleted file mode 100644 index 8527939..0000000 --- a/test/printflike.out +++ /dev/null @@ -1,30 +0,0 @@ - -printflike.c:2:5: Function mprint is marked printflike, but has no elipsis - parameter -printflike.c:5:5: Function kprint is marked printflike, but has no elipsis - parameter -printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis - parameter -printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with either /*@printflike@*/, /*@scanflike@*/ or - /*@messagelike@*/. -printflike.c:16:35: Multiple special function codes: - printflike, messagelike (first code is ignored) -printflike.c:17:5: Function qxprint is marked messagelike, but the argument - before the elipsis has type int (should be char *) - -Finished LCLint checking --- 6 code errors found, as expected - -printflike.c:2:5: Function mprint is marked printflike, but has no elipsis - parameter -printflike.c:5:5: Function kprint is marked printflike, but has no elipsis - parameter -printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis - parameter -printflike.c:16:35: Multiple special function codes: - printflike, messagelike (first code is ignored) -printflike.c:17:5: Function qxprint is marked messagelike, but the argument - before the elipsis has type int (should be char *) - -Finished LCLint checking --- 5 code errors found, as expected diff --git a/test/rc.out b/test/rc.out deleted file mode 100644 index feac499..0000000 --- a/test/rc.out +++ /dev/null @@ -1,35 +0,0 @@ - -rc.c: (in function f) -rc.c:3:10: Observer storage returned without qualification: - "a flag\"wicked cool" - rc.c:3:10: Storage becomes observer - -Finished LCLint checking --- 1 code error found, as expected - -rc.c: (in function f) -rc.c:3:10: Return value type int does not match declared type char *: 12 - -Finished LCLint checking --- 1 code error found, as expected - -rc2.lclintrc:1:18: Warning: setting +boolint redundant with current value -rc.c: (in function f) -rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\" - rc.c:3:10: Storage becomes observer - -Finished LCLint checking --- 1 code error found, as expected - -rc2.lclintrc:1:18: Warning: setting +boolint redundant with current value -rc.c: (in function f) -rc.c:3:10: Unrecognized identifier: MYSTERY - -Finished LCLint checking --- 1 code error found, as expected - -rc3.lclintrc:2:1: Bad flag syntax (+ or - expected, + is assumed): - internalnamelen 73 - A flag is not recognized or used in an incorrect way (-badflag will suppress - message) -rc3.lclintrc:5:24: Flag dump must be followed by an argument -rc.c: (in function f) -rc.c:3:10: Unrecognized identifier: MYSTERY - -Finished LCLint checking --- 1 code error found, as expected diff --git a/test/refcounts.out b/test/refcounts.out deleted file mode 100644 index 4575ec7..0000000 --- a/test/refcounts.out +++ /dev/null @@ -1,23 +0,0 @@ - -refcounts.c: (in function rp_release) -refcounts.c:18:13: Reference counted storage passed as only param: free (x) -refcounts.c: (in function rp_temp) -refcounts.c:24:10: New reference returned as temp reference: rp_create2() -refcounts.c: (in function rp_f) -refcounts.c:32:3: Kill reference parameter r2 (type rp) not released before - assignment: r2 = rp_temp() - refcounts.c:27:50: Storage r2 becomes newref -refcounts.c: (in function rp_ref) -refcounts.c:48:10: Reference counted storage returned without modifying - reference count: x -refcounts.c: (in function rp_waste) -refcounts.c:63:13: New reference z2 not released before return - refcounts.c:60:23: Storage z2 becomes newref -refcounts.c: (in function rp_waste2) -refcounts.c:71:3: New reference z2 (type rp) not released before assignment: - z2 = rp_ref(z1) - refcounts.c:69:23: Storage z2 becomes newref -refcounts.c:72:13: New reference z2 not released before return - refcounts.c:71:3: Storage z2 becomes newref - -Finished LCLint checking --- 7 code errors found, as expected diff --git a/test/release.out b/test/release.out deleted file mode 100644 index 026e363..0000000 --- a/test/release.out +++ /dev/null @@ -1,6 +0,0 @@ - -release.c: (in function f) -release.c:25:12: Owned storage z not released before return - release.c:22:7: Storage z becomes owned - -Finished LCLint checking --- 1 code error found, as expected diff --git a/test/repexpose.out b/test/repexpose.out deleted file mode 100644 index 73cc349..0000000 --- a/test/repexpose.out +++ /dev/null @@ -1,124 +0,0 @@ - -repexpose.c: (in function abst_create) -repexpose.c:8:4: Arrow access from possibly null pointer a: a->name - repexpose.c:5:12: Storage a may become null -repexpose.c:13:3: Possible undocumented modification of p->parent through alias - a->parent: a->parent = b->parent -repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: - a->name = *globstring -repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: - b->name = *globstring - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c:19:10: Storage a->name reachable from return value is kept (should - be implicitly only) - repexpose.c:17:3: Storage a->name becomes kept -repexpose.c:19:10: Returned storage *a contains 1 undefined field: im -repexpose.c:19:12: Storage *globstring reachable from global is kept (should be - unqualified) - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c: (in function abst_name) -repexpose.c:26:18: Released storage a->name reachable from parameter at return - point - repexpose.c:26:10: Storage a->name is released -repexpose.c: (in function abst_parent) -repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent -repexpose.c:45:25: Only storage a not released before return - repexpose.c:40:24: Storage a becomes only -repexpose.c: (in function immut_name) -repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) -repexpose.c: (in function abst_setIm) -repexpose.c:57:3: Undocumented modification of a->im: a->im = im - -Finished LCLint checking --- 12 code errors found, as expected - -repexpose.c: (in function abst_create) -repexpose.c:8:4: Arrow access from possibly null pointer a: a->name - repexpose.c:5:12: Storage a may become null -repexpose.c:13:3: Possible undocumented modification of p->parent through alias - a->parent: a->parent = b->parent -repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: - a->name = *globstring -repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: - b->name = *globstring - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c:19:10: Storage a->name reachable from return value is kept (should - be implicitly only) - repexpose.c:17:3: Storage a->name becomes kept -repexpose.c:19:10: Returned storage *a contains 1 undefined field: im -repexpose.c:19:12: Storage *globstring reachable from global is kept (should be - unqualified) - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c: (in function abst_name) -repexpose.c:26:10: Function returns reference to parameter a: a->name -repexpose.c:26:18: Released storage a->name reachable from parameter at return - point - repexpose.c:26:10: Storage a->name is released -repexpose.c: (in function abst_aval) -repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) -repexpose.c: (in function abst_parent) -repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent -repexpose.c:45:25: Only storage a not released before return - repexpose.c:40:24: Storage a becomes only -repexpose.c: (in function immut_name) -repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) -repexpose.c:51:10: Function returns reference to parameter im: (im->name) -repexpose.c: (in function abst_setIm) -repexpose.c:57:3: Undocumented modification of a->im: a->im = im - -Finished LCLint checking --- 15 code errors found, as expected - -repexpose.c: (in function abst_create) -repexpose.c:8:4: Arrow access from possibly null pointer a: a->name - repexpose.c:5:12: Storage a may become null -repexpose.c:10:3: Assignment of mutable parameter p to component of abstract - type abst exposes rep: a->parent = p -repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to - component of abstract type abst exposes rep: a->parent = b -repexpose.c:12:3: Assignment of mutable component of parameter p to component - of abstract type abst exposes rep: a->parent = p->parent -repexpose.c:13:3: Possible undocumented modification of p->parent through alias - a->parent: a->parent = b->parent -repexpose.c:13:3: Assignment of mutable component of parameter p (through alias - b->parent) to component of abstract type abst exposes rep: - a->parent = b->parent -repexpose.c:16:3: Assignment of global globstring to component of abstract type - abst exposes rep: a->name = *globstring -repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: - a->name = *globstring -repexpose.c:17:3: Assignment of global globstring to component of abstract type - abst exposes rep: b->name = *globstring -repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: - b->name = *globstring - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c:19:10: Storage a->name reachable from return value is kept (should - be implicitly only) - repexpose.c:17:3: Storage a->name becomes kept -repexpose.c:19:10: Returned storage *a contains 1 undefined field: im -repexpose.c:19:12: Storage *globstring reachable from global is kept (should be - unqualified) - repexpose.c:16:3: Storage *globstring becomes kept -repexpose.c: (in function abst_name) -repexpose.c:26:10: Function returns reference to parameter a: a->name -repexpose.c:26:10: Return value exposes rep of abst: a->name -repexpose.c:26:18: Released storage a->name reachable from parameter at return - point - repexpose.c:26:10: Storage a->name is released -repexpose.c: (in function abst_aval) -repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) -repexpose.c:37:10: Return value exposes rep of abst: (&(a->val)) -repexpose.c: (in function abst_parent) -repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent -repexpose.c:45:15: Return value exposes rep of abst: b->parent -repexpose.c:45:15: Return value may expose rep of abst through alias a: - b->parent -repexpose.c:45:25: Only storage a not released before return - repexpose.c:40:24: Storage a becomes only -repexpose.c: (in function immut_name) -repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) -repexpose.c:51:10: Function returns reference to parameter im: (im->name) -repexpose.c:51:10: Return value exposes rep of immut: (im->name) -repexpose.c: (in function abst_setIm) -repexpose.c:57:3: Undocumented modification of a->im: a->im = im -repexpose.lh:6:16: Variable globstring declared but not defined - -Finished LCLint checking --- 27 code errors found, as expected diff --git a/test/sharing.out b/test/sharing.out deleted file mode 100644 index e963e4c..0000000 --- a/test/sharing.out +++ /dev/null @@ -1,154 +0,0 @@ - -sharing1.c: (in function f) -sharing1.c:12:12: Only storage x not released before return - sharing1.c:8:24: Storage x becomes only -sharing1.c:13:2: Only storage x not released before return - sharing1.c:8:24: Storage x becomes only -sharing1.c: (in function f2) -sharing1.c:19:12: Only storage y not released before return - sharing1.c:15:43: Storage y becomes only -sharing1.c: (in function f3) -sharing1.c:24:3: Only storage x assigned to shared: globshared1 = x - sharing1.c:22:25: Storage x becomes only -sharing1.c:25:2: Only storage x not released before return - sharing1.c:22:25: Storage x becomes only -sharing1.c: (in function f4) -sharing1.c:29:3: Only storage zonly (type int *) not released before - assignment: zonly = x - sharing1.c:6:19: Storage zonly becomes only -sharing1.c: (in function g) -sharing1.c:41:7: Implicitly temp storage imp passed as only param: f3 (imp) -sharing1.c:42:4: Variable imp used after being released - sharing1.c:41:7: Storage imp released -sharing1.c:44:12: Immediate address &x passed as only param: f (&x, ...) -sharing1.c:44:12: Parameter 1 (&x) to function f is declared only but is - aliased by parameter 2 (&x) -sharing1.c:48:14: Possibly null storage y3 passed as non-null param: - f2 (y3, ...) - sharing1.c:37:13: Storage y3 may become null -sharing1.c:48:14: Passed storage y3 not completely defined (*y3 is undefined): - f2 (y3, ...) -sharing1.c:48:18: Parameter 2 (y3) to function f2 is declared only but is - aliased by parameter 1 (y3) -sharing1.c:50:4: Variable y3 used after being released - sharing1.c:48:18: Storage y3 released -sharing1.c:51:12: Possibly null storage y passed as non-null param: f (y, ...) - sharing1.c:35:12: Storage y may become null -sharing1.c:51:12: Passed storage y not completely defined (*y is undefined): - f (y, ...) -sharing1.c:52:12: Shared storage globshared1 passed as only param: - f (globshared1, ...) - sharing1.c:4:19: Storage globshared1 becomes shared -sharing1.c:56:9: Shared storage globshared2 passed as only param: - free (globshared2) - sharing1.c:5:19: Storage globshared2 becomes shared -sharing1.c:59:11: Variable y used after being released - sharing1.c:51:12: Storage y released -sharing1.c:59:13: Fresh storage y2 not released before return - sharing1.c:36:33: Fresh storage y2 allocated -sharing1.c:59:13: Function returns with global globonly referencing released - storage - sharing1.c:57:9: Storage globonly is released - -Finished LCLint checking --- 21 code errors found, as expected - -sharing3.c: (in function string_copy) -sharing3.c:17:10: Implicitly temp storage s returned as only: s -sharing3.c: (in function string_free1) -sharing3.c:32:9: Implicitly temp storage s passed as only param: free (s) -sharing3.c: (in function string_free3) -sharing3.c:45:2: Fresh storage t not released before return - sharing3.c:42:29: Fresh storage t allocated - -Finished LCLint checking --- 3 code errors found, as expected - -sharing4.c: (in function f) -sharing4.c:18:3: Only storage globonly1 (type char *) not released before - assignment: globonly1 = only1 - sharing4.c:1:20: Storage globonly1 becomes only -sharing4.c:23:3: Only storage globonly4 (type char *) not released before - assignment: globonly4 = shared1 - sharing4.c:4:20: Storage globonly4 becomes only -sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1 - sharing4.c:14:26: Storage shared1 becomes shared -sharing4.c:27:3: Only storage globonly5 assigned to shared: - globshared1 = globonly5 - sharing4.c:5:20: Storage globonly5 becomes only -sharing4.c:30:3: Only storage globonly1 assigned to shared (local1 aliases - globonly1): globshared1 = local1 - sharing4.c:1:20: Storage globonly1 becomes only -sharing4.c:30:3: Kept storage only1 assigned to shared (local1 aliases only1): - globshared1 = local1 - sharing4.c:18:3: Storage only1 becomes kept -sharing4.c:32:3: Only storage assigned to shared: - globshared1 = string_copy(local1) -sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2 - sharing4.c:13:37: Storage temp2 becomes temp -sharing4.c:35:3: Only storage globonly4 (type char *) not released before - assignment: globonly4 = temp1 - sharing4.c:4:20: Storage globonly4 becomes only -sharing4.c:35:3: Implicitly temp storage temp1 assigned to only: - globonly4 = temp1 -sharing4.c:38:9: Shared storage shared1 passed as only param: free (shared1) - sharing4.c:14:26: Storage shared1 becomes shared -sharing4.c:42:12: Only storage only3 not released before return - sharing4.c:12:72: Storage only3 becomes only -sharing4.c:42:12: Function returns with global globonly3 referencing released - storage - sharing4.c:21:9: Storage globonly3 is released - -Finished LCLint checking --- 13 code errors found, as expected - -sharing4.c: (in function f) -sharing4.c:18:3: Only storage globonly1 (type char *) not released before - assignment: globonly1 = only1 - sharing4.c:1:20: Storage globonly1 becomes only -sharing4.c:23:3: Only storage globonly4 (type char *) not released before - assignment: globonly4 = shared1 - sharing4.c:4:20: Storage globonly4 becomes only -sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1 - sharing4.c:14:26: Storage shared1 becomes shared -sharing4.c:27:3: Only storage globonly5 assigned to shared: - globshared1 = globonly5 - sharing4.c:5:20: Storage globonly5 becomes only -sharing4.c:30:3: Only storage globonly1 assigned to shared (local1 aliases - globonly1): globshared1 = local1 - sharing4.c:1:20: Storage globonly1 becomes only -sharing4.c:30:3: Kept storage only1 assigned to shared (local1 aliases only1): - globshared1 = local1 - sharing4.c:18:3: Storage only1 becomes kept -sharing4.c:32:3: Only storage assigned to shared: - globshared1 = string_copy(local1) -sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2 - sharing4.c:13:37: Storage temp2 becomes temp -sharing4.c:35:3: Only storage globonly4 (type char *) not released before - assignment: globonly4 = temp1 - sharing4.c:4:20: Storage globonly4 becomes only -sharing4.c:38:9: Shared storage shared1 passed as only param: free (shared1) - sharing4.c:14:26: Storage shared1 becomes shared -sharing4.c:42:12: Only storage only3 not released before return - sharing4.c:12:72: Storage only3 becomes only -sharing4.c:42:12: Function returns with global globonly3 referencing released - storage - sharing4.c:21:9: Storage globonly3 is released - -Finished LCLint checking --- 12 code errors found, as expected - -sharing5.c: (in function f) -sharing5.c:13:4: Variable only1 used after being released - sharing5.c:12:9: Storage only1 released -sharing5.c:22:5: Clauses exit with local2 referencing local storage in true - branch, shared storage in false branch - sharing5.c:21:7: Storage local2 becomes shared -sharing5.c:24:9: Shared storage shared passed as only param (local2 aliases - shared): free (local2) - sharing5.c:5:27: Storage shared becomes shared -sharing5.c:27:4: Dereference of possibly null pointer localp: *localp - sharing5.c:26:12: Storage localp may become null -sharing5.c:32:3: Fresh storage localp (type char **) not released before - assignment: localp = &only3 - sharing5.c:26:3: Fresh storage localp allocated -sharing5.c:33:2: Only storage only3 not released before return - sharing5.c:4:73: Storage only3 becomes only - -Finished LCLint checking --- 6 code errors found, as expected diff --git a/test/sizeoftest.out b/test/sizeoftest.out deleted file mode 100644 index e69de29..0000000 diff --git a/test/specclauses.out b/test/specclauses.out deleted file mode 100644 index f6b32c0..0000000 --- a/test/specclauses.out +++ /dev/null @@ -1,85 +0,0 @@ - -specclauses.c: (in function f) -specclauses.c:24:28: Only storage r.name (type char *) derived from variable - declared in this scope is not released (memory leak) -specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in - uses clause of called function: r -specclauses.c:28:28: Only storage name not released before return - specclauses.c:17:49: Storage name becomes only -specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in - defines clause of called function: &r -specclauses.c:34:17: Only storage r.name (type char *) derived from variable - declared in this scope is not released (memory leak) -specclauses.c:40:23: Field r.name used after being released - specclauses.c:39:17: Storage r.name released - -Finished LCLint checking --- 6 code errors found, as expected - -specclauses2.c:10:13: Allocates clauses includes r->year of non-dynamically - allocated type int -specclauses2.c: (in function allocYear) -specclauses2.c:14:2: Unallocated storage r->year corresponds to storage listed - in allocates clause -specclauses2.c: (in function setName1) -specclauses2.c:26:2: Undefined storage r->name corresponds to storage listed in - defines clause -specclauses2.c: (in function setName3) -specclauses2.c:37:2: Undefined storage r->name corresponds to storage listed in - sets clause - This sub-reference is undefined: *(r->name) -specclauses2.c: (in function setName4) -specclauses2.c:42:3: Implicitly only storage r->name (type char *) not released - before assignment: r->name = name -specclauses2.c: (in function allocName2) -specclauses2.c:54:2: Unallocated storage r->name corresponds to storage listed - in allocates clause -specclauses2.c: (in function freeName2) -specclauses2.c:65:2: Unreleased storage r.name corresponds to storage listed in - releases clause -specclauses2.c: (in function freeName4) -specclauses2.c:76:2: Unreleased storage r->name corresponds to storage listed - in releases clause - -Finished LCLint checking --- 8 code errors found, as expected - -specclauses3.c:7:6: Special clause accesses field of non-struct or union result - (int): *(result).name -specclauses3.c: (in function badResult) -specclauses3.c:12:10: Undefined storage ->name corresponds to storage - result->name listed in defines clause: NULL -specclauses3.c:12:10: Null storage returned as non-null: NULL -specclauses3.c: (in function createName2) -specclauses3.c:29:10: Undefined storage res->name corresponds to storage - result->name listed in defines clause: res -specclauses3.c:29:10: Possibly null storage res returned as non-null: res - specclauses3.c:28:16: Storage res may become null -specclauses3.c: (in function createName4) -specclauses3.c:55:10: Unallocated storage res->name corresponds to storage - result->name listed in allocates clause: res - -Finished LCLint checking --- 6 code errors found, as expected - -specclauses4.c: (in function usename) -specclauses4.c:13:4: Dereference of null pointer *name: **name - specclauses4.c:11:8: Storage *name becomes null -specclauses4.c: (in function callname) -specclauses4.c:27:12: Non-null storage *s corresponds to storage listed in - requires isnull clause of called function: s -specclauses4.c: (in function nullname2) -specclauses4.c:42:2: Non-null storage *name corresponds to storage listed in - ensures isnull clause - -Finished LCLint checking --- 3 code errors found, as expected - -specclauses5.c: (in function createrecord2) -specclauses5.c:31:10: Null storage r->name derivable from return value: r - specclauses5.c:30:14: Storage r->name becomes null -specclauses5.c: (in function newrecord2) -specclauses5.c:43:10: Non-observer storage r->name corresponds to storage - result->name listed in ensures observer clause: r -specclauses5.c: (in function createrecordx) -specclauses5.c:49:10: Observer storage r->name reachable from unqualified - return value - specclauses5.c:48:27: Storage r->name becomes observer - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/special.out b/test/special.out deleted file mode 100644 index 9bba758..0000000 --- a/test/special.out +++ /dev/null @@ -1,93 +0,0 @@ - -special.c: (in function f) -special.c:17:34: Variable c used before definition -special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li - special.c:19:17: Corresponding format code -special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li - special.c:20:21: Corresponding format code -special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int: - i - special.c:20:25: Corresponding format code -special.c:27:19: Variable s used before definition -special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c - special.c:29:24: Corresponding format code -special.c:29:3: Format string for printf has 1 arg, given 2 -special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char: - c - special.c:30:34: Corresponding format code -special.c:30:3: Format string for fprintf has 1 arg, given 2 -special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c - special.c:31:15: Corresponding format code -special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i - special.c:31:18: Corresponding format code -special.c:31:3: No argument corresponding to printf format code 3 (%f): - "%% %d %f %f" - special.c:31:21: Corresponding format code -special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i - special.c:34:36: Corresponding format code -special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i - special.c:37:44: Corresponding format code -special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c - special.c:37:47: Corresponding format code -special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **: - &s - special.c:37:50: Corresponding format code -special.c:40:10: Undocumented modification of gi possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:40:10: Undocumented modification of gc possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:40:10: Undocumented modification of gs possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:42:10: Undocumented modification of gs possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs) - -Finished LCLint checking --- 20 code errors found, as expected - -special.c: (in function f) -special.c:17:34: Variable c used before definition -special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li - special.c:19:17: Corresponding format code -special.c:20:43: Format argument 1 to printf (%ld) expects long int gets int: i - special.c:20:18: Corresponding format code -special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li - special.c:20:21: Corresponding format code -special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int: - i - special.c:20:25: Corresponding format code -special.c:20:60: Format argument 5 to printf (%d) expects int gets short int: - silly - special.c:20:32: Corresponding format code -special.c:27:19: Variable s used before definition -special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c - special.c:29:24: Corresponding format code -special.c:29:3: Format string for printf has 1 arg, given 2 -special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char: - c - special.c:30:34: Corresponding format code -special.c:30:3: Format string for fprintf has 1 arg, given 2 -special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c - special.c:31:15: Corresponding format code -special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i - special.c:31:18: Corresponding format code -special.c:31:3: No argument corresponding to printf format code 3 (%f): - "%% %d %f %f" - special.c:31:21: Corresponding format code -special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i - special.c:34:36: Corresponding format code -special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i - special.c:37:44: Corresponding format code -special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c - special.c:37:47: Corresponding format code -special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **: - &s - special.c:37:50: Corresponding format code -special.c:40:10: Undocumented modification of gi possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:40:10: Undocumented modification of gc possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:40:10: Undocumented modification of gs possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs) -special.c:42:10: Undocumented modification of gs possible from call to fscanf: - fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs) - -Finished LCLint checking --- 22 code errors found, as expected diff --git a/test/stack.out b/test/stack.out deleted file mode 100644 index c9f5661..0000000 --- a/test/stack.out +++ /dev/null @@ -1,14 +0,0 @@ - -stack.c: (in function stack1) -stack.c:10:2: Stack-allocated storage *x reachable from parameter x - stack.c:9:3: Storage *x becomes stack -stack.c:10:2: Stack-allocated storage glob reachable from global glob - stack.c:8:3: Storage glob becomes stack -stack.c: (in function f) -stack.c:20:14: Stack-allocated storage &x reachable from return value: &x -stack.c:31:11: Stack-allocated storage sa reachable from return value: sa -stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0] - -Finished LCLint checking --- 5 code errors found, as expected - -Finished LCLint checking --- no code errors found diff --git a/test/staticarray.out b/test/staticarray.out deleted file mode 100644 index 2a44323..0000000 --- a/test/staticarray.out +++ /dev/null @@ -1,12 +0,0 @@ - -staticarray.c: (in function foo1) -staticarray.c:9:10: Unqualified static storage buf returned as implicitly only: - buf -staticarray.c: (in function f) -staticarray.c:22:10: Implicitly temp storage outstr returned as implicitly - only: outstr -staticarray.c: (in function g) -staticarray.c:27:10: Implicitly temp storage outstr returned as implicitly - only: outstr - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/strchr.out b/test/strchr.out deleted file mode 100644 index 5a3bf3c..0000000 --- a/test/strchr.out +++ /dev/null @@ -1,7 +0,0 @@ - -strchr.c: (in function func) -strchr.c:6:4: Dereference of possibly null pointer c: *c - strchr.c:5:7: Storage c may become null -strchr.c:6:3: Suspect modification of observer c: *c = 'd' - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/strings.out b/test/strings.out deleted file mode 100644 index 19b5d44..0000000 --- a/test/strings.out +++ /dev/null @@ -1,23 +0,0 @@ - -strings.c:21:6: Function main declared to return void, should return int -strings.c: (in function main) -strings.c:24:14: Function call may modify observer: "hullo" -strings.c:25:7: Observer storage passed as only param: f3 ("hullo") - strings.c:25:7: Storage becomes observer - -Finished LCLint checking --- 3 code errors found, as expected - -strings.c:21:6: Function main declared to return void, should return int - -Finished LCLint checking --- 1 code error found, as expected - -strings.c: (in function main) -strings.c:23:14: Call to unconstrained function f1 may modify observer: "hullo" - strings.c:23:14: Storage becomes observer -strings.c:24:14: Function call may modify observer: "hullo" -strings.c:25:7: Call to unconstrained function f3 may modify observer: "hullo" - strings.c:25:7: Storage becomes observer -strings.c:25:7: Observer storage passed as only param: f3 ("hullo") - strings.c:25:7: Storage becomes observer - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/structassign.out b/test/structassign.out deleted file mode 100644 index 1543558..0000000 --- a/test/structassign.out +++ /dev/null @@ -1,18 +0,0 @@ - -structassign.c: (in function copyrecord) -structassign.c:15:15: Released storage x.name reachable from parameter at - return point - structassign.c:14:19: Storage x.name is released -structassign.c: (in function copyrecord2) -structassign.c:23:15: Released storage x.name reachable from parameter at - return point - structassign.c:22:3: Storage x.name is released -structassign.c: (in function copyrecord3) -structassign.c:28:12: Released storage x.name reachable from parameter at - return point - structassign.c:28:12: Storage x.name is released -structassign.c: (in function main) -structassign.c:45:14: Only storage rc.name (type char *) derived from variable - declared in this scope is not released (memory leak) - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/tests2.2a.out b/test/tests2.2a.out deleted file mode 100644 index 1f957e8..0000000 --- a/test/tests2.2a.out +++ /dev/null @@ -1,120 +0,0 @@ - -erik.c: (in function main) -erik.c:6:4: Return value (type int) ignored: scanf("%lf %f", ... - -Finished LCLint checking --- 1 code error found, as expected - -boolcomp.c: (in function f) -boolcomp.c:5:7: Use of == with bool variables (risks inconsistency because of - multiple true values): a == b -boolcomp.c:9:13: Use of == with bool variables (risks inconsistency because of - multiple true values): a == b -boolcomp.c:11:6: Use of != with bool variables (risks inconsistency because of - multiple true values): a != b -boolcomp.c:16:6: Use of == with bool variables (risks inconsistency because of - multiple true values): b == TRUE -boolcomp.c:20:2: Path with no return in function declared to return int - -Finished LCLint checking --- 5 code errors found, as expected - -Finished LCLint checking --- no code errors found - -addassign.c: (in function hash) -addassign.c:7:7: Incompatible types for += (int, char): h += *name++ - -Finished LCLint checking --- 1 code error found, as expected - -toralf.c: (in function func1) -toralf.c:14:3: Incompatible types for += (char *, char): s += 'c' -toralf.c:15:3: Variable i1 used before definition -toralf.c:15:9: Variable f used before definition -toralf.c: (in function func2) -toralf.c:23:8: Variable i2 used before definition -toralf.c: (in function main) -toralf.c:28:10: Null storage passed as non-null param: func1 (NULL) - -Finished LCLint checking --- 5 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -arrayparam.c:1:12: Function parameter x is incomplete type (inner array must - have bounds): int [2] [] -arrayparam.c:11:12: Function parameter x is incomplete type (inner array must - have bounds): int [] [] -arrayparam.c:16:12: Function parameter x is incomplete type (inner array must - have bounds): int [] [] [2] -arrayparam.c:21:12: Function parameter x is incomplete type (inner array must - have bounds): int [2] [] [2] -arrayparam.c:26:12: Function parameter x declared as manifest array (size - constant is meaningless) - -Finished LCLint checking --- 5 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -obviousloop.c: (in function f) -obviousloop.c:14:3: Unreachable code: x = 12 -obviousloop.c: (in function f1) -obviousloop.c:36:2: Path with no return in function declared to return int -obviousloop.c: (in function f1b) -obviousloop.c:59:3: Unreachable code: x = 12 -obviousloop.c: (in function f2) -obviousloop.c:75:3: Unreachable code: x = 12 - -Finished LCLint checking --- 4 code errors found, as expected - -bitops.c: (in function f) -bitops.c:3:11: Left operand of & is not unsigned value (int): i1 & i2 -bitops.c:3:11: Variable x initialized to type unsigned int, expects int: - i1 & i2 -bitops.c:4:21: Right operand of & is not unsigned value (int): u1 & i2 -bitops.c:5:13: Left operand of & is not unsigned value (int): i1 & i2 -bitops.c:5:13: Variable s initialized to type unsigned int, expects short int: - i1 & i2 -bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2 -bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3 -bitops.c:14:7: Left operand of ^ is not unsigned value (int): i1 ^ u1 -bitops.c:15:12: Right operand of ^ is not unsigned value (int): u1 ^ i1 -bitops.c:5:9: Variable s declared but not used -bitops.c:6:9: Variable s2 declared but not used - -Finished LCLint checking --- 11 code errors found, as expected - -bitops.c: (in function f) -bitops.c:5:13: Variable s initialized to type int, expects short int: i1 & i2 -bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2 -bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3 -bitops.c:5:9: Variable s declared but not used -bitops.c:6:9: Variable s2 declared but not used - -Finished LCLint checking --- 5 code errors found, as expected - -isalpha.c: (in function f) -isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c - -Finished LCLint checking --- 1 code error found, as expected - -isalpha.c: (in function f) -isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c - -Finished LCLint checking --- 1 code error found, as expected - -Finished LCLint checking --- no code errors found - -popik.c:7:3: Variable has unknown (implicitly int) type: dummy[0] -popik.c:7:3: Variable has unknown (implicitly int) type: dummy[1] -popik.c:7:3: Variable has unknown (implicitly int) type: dummy[2] -popik.c:7:3: Variable has unknown (implicitly int) type: dummy[3] -popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[0] -popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[1] -popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[2] -popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[3] -popik.c:1:14: File static variable dummy declared but not used -popik.c:10:24: File static variable dummy2 declared but not used -popik.c:18:14: File static variable dummy3 declared but not used - -Finished LCLint checking --- 11 code errors found, as expected diff --git a/test/tests2.4.out b/test/tests2.4.out deleted file mode 100644 index 9221f5e..0000000 --- a/test/tests2.4.out +++ /dev/null @@ -1,127 +0,0 @@ - -Finished LCLint checking --- no code errors found - -enumtest.c:1:9: Variable exported but not used outside enumtest: sig_func -enumtest.c:2:10: Variable exported but not used outside enumtest: sig_func1 - -Finished LCLint checking --- 2 code errors found, as expected - -duffs.c: (in function send) -duffs.c:7:8: Fall through case (no preceding break) -duffs.c:8:8: Fall through case (no preceding break) -duffs.c:9:8: Fall through case (no preceding break) -duffs.c:10:8: Fall through case (no preceding break) -duffs.c:11:8: Fall through case (no preceding break) -duffs.c:12:8: Fall through case (no preceding break) -duffs.c:13:8: Fall through case (no preceding break) - -Finished LCLint checking --- 7 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -bug2.c: (in function main) -bug2.c:6:8: Fall through case (no preceding break) -bug2.c:10:10: Fall through case (no preceding break) -bug2.c:16:8: Fall through case (no preceding break) -bug2.c:5:5: Statement after switch is not a case: printf("here 1") -bug2.c:20:2: Path with no return in function declared to return int - -Finished LCLint checking --- 5 code errors found, as expected - -bug3.c: (in function main) -bug3.c:8:8: Fall through case (no preceding break) -bug3.c:12:21: Variable j used before definition -bug3.c:13:2: Path with no return in function declared to return int - -Finished LCLint checking --- 3 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -hexconstants.c: (in function f) -hexconstants.c:5:10: Return value type unsigned int does not match declared - type int: m1 + m2 - -Finished LCLint checking --- 1 code error found, as expected - -hexconstants.c: (in function f) -hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int: - 0xFF -hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int: - 0142 -hexconstants.c:5:10: Return value type unsigned int does not match declared - type int: m1 + m2 -hexconstants.c:1:5: Function f exported but not declared in header file - hexconstants.c:6:1: Definition of f - -Finished LCLint checking --- 4 code errors found, as expected - -innercomment.c:1:17: Comment starts inside comment -innercomment.c:16:3: Comment starts inside comment - -Finished LCLint checking --- 2 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -offsetof.c: (in function f) -offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u) -offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct - { int m; }: offsetof(S,u.s.k) - -Finished LCLint checking --- 2 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -error.c:5:9: Variable x initialized to type char, expects int: 'a' - -Finished LCLint checking --- 1 code error found, as expected - -ulrich.c: (in function utl_calloc) -ulrich.c:14:13: Possibly null storage newblock returned as non-null: newblock - ulrich.c:12:16: Storage newblock may become null - -Finished LCLint checking --- 1 code error found, as expected - -cpptest.c: (in function test) -cpptest.c:2:11: Variable x initialized to type char, expects int: 'a' - -Finished LCLint checking --- 1 code error found, as expected - -longlong.c: (in function llf) -longlong.c:2:11: Variable m initialized to type long long, expects int: llx -longlong.c:3:3: Assignment of long long to int: m = 243LL -longlong.c:6:3: Assignment of long long to long int: lx = 5234LL -longlong.c:9:3: Assignment of long long to long int: lx = llx - -Finished LCLint checking --- 4 code errors found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -alignof.c: (in function f) -alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x) -alignof.c:3:23: Variable n initialized to type size_t, expects int: - alignof((x)) - -Finished LCLint checking --- 2 code errors found, as expected - -Spec file not found: DBL_MANT_DIG=25.lcl -Command Line: Malformed option `-D' -Cannot open file: DBL_MANT_DIG=25.c -Cannot open file: source.c - -Finished LCLint checking --- no code processed diff --git a/test/tests2.5.out b/test/tests2.5.out deleted file mode 100644 index 4aba2d1..0000000 --- a/test/tests2.5.out +++ /dev/null @@ -1,53 +0,0 @@ - -Finished LCLint checking --- no code errors found - -boolt.c: (in function test) -boolt.c:7:16: Function test expects arg 1 to be pan_bool_t gets int: 2 - -Finished LCLint checking --- 1 code error found, as expected - -uconstants.c: (in function f) -uconstants.c:2:16: Variable x0 declared but not used -uconstants.c:3:21: Variable x1 declared but not used - -Finished LCLint checking --- 2 code errors found, as expected - -hoof.c: (in function main) -hoof.c:12:16: Function init_arr expects arg 2 to be long int * gets int *: &j - -Finished LCLint checking --- 1 code error found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -booltest.c: (in function f) -booltest.c:9:12: Return value type int does not match declared type bool: i -booltest.c:8:7: Test expression for if not bool, type int: i - -Finished LCLint checking --- 2 code errors found, as expected - -Finished LCLint checking --- no code errors found - -booltest.c: (in function f) -booltest.c:9:12: Return value type int does not match declared type bool: i - -Finished LCLint checking --- 1 code error found, as expected - -Finished LCLint checking --- no code errors found - -Finished LCLint checking --- no code errors found - -immutable.c: (in function immutable_create) -immutable.c:7:6: Arrow access from possibly null pointer res: res->x - immutable.c:5:19: Storage res may become null -immutable.c:8:10: Fresh storage returned as unqualified (should be only): res - immutable.c:5:54: Fresh storage res allocated - -Finished LCLint checking --- 2 code errors found, as expected - -impabsmodule.c: (in function isTwo) -impabsmodule.c:10:7: Variable var used before definition -impabsmodule.c:10:12: Variable var2 used before definition - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/typequals.out b/test/typequals.out deleted file mode 100644 index d9fa2d8..0000000 --- a/test/typequals.out +++ /dev/null @@ -1,18 +0,0 @@ - -tq.h:3:45: Datatype tmixm inconsistently declared as immutable - tq.lcl:3:1: Specification of tmixm -tq.h:4:45: Datatype tmixa inconsistently declared as abstract type - tq.lcl:5:14: Specification of tmixa -tq.h:5:45: Datatype tmixi inconsistently declared as mutable - tq.lcl:4:1: Specification of tmixi -typequals.c: (in function f) -typequals.c:6:4: Operand of * is abstract type (tam): *xtam -typequals.c:7:4: Operand of * is abstract type (tai): *xtai - -Finished LCLint checking --- 5 code errors found, as expected - -typequals.c: (in function f) -typequals.c:6:4: Operand of * is abstract type (tam): *xtam -typequals.c:7:4: Operand of * is abstract type (tai): *xtai - -Finished LCLint checking --- 2 code errors found, as expected diff --git a/test/ud.out b/test/ud.out deleted file mode 100644 index 6630a6d..0000000 --- a/test/ud.out +++ /dev/null @@ -1,21 +0,0 @@ - -ud.c: (in function f) -ud.c:8:7: Variable y used before definition -ud.c:10:7: Variable z used before definition -ud.c:25:7: Variable z3 used before definition -ud.c:26:7: Variable z4 used before definition -ud.c:31:7: Variable z6 used before definition -ud.c:38:11: Variable j used before definition -ud.c:49:6: Variable i used before definition -ud.c:50:6: Variable z5 used before definition -ud.c:56:7: Variable z5 used before definition - -Finished LCLint checking --- 9 code errors found, as expected - -ud2.c: (in function g) -ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y -ud2.c: (in function h) -ud2.c:20:7: Passed storage &x not completely defined: f2 (&x) -ud2.c:23:7: Variable y used before definition - -Finished LCLint checking --- 3 code errors found, as expected diff --git a/test/ulstypes.out b/test/ulstypes.out deleted file mode 100644 index 5b7c753..0000000 --- a/test/ulstypes.out +++ /dev/null @@ -1,54 +0,0 @@ - -ulstypes.c:3:23: Contradictory long and short type qualifiers -ulstypes.c: (in function f) -ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li -ulstypes.c:10:3: Assignment of long int to int: loc = f(li) -ulstypes.c:11:3: Assignment of long int to int: loc = f(ui) -ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc -ulstypes.c:12:3: Assignment of long int to int: loc = f(loc) -ulstypes.c:15:10: Return value type unsigned int does not match declared type - long int: x -ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int: - -15 - -Finished LCLint checking --- 8 code errors found, as expected - -Finished LCLint checking --- no code errors found - -ulstypes.c:3:23: Contradictory long and short type qualifiers -ulstypes.c: (in function f) -ulstypes.c:7:19: Variable loli initialized to type int, expects long int: 12 -ulstypes.c:10:12: Undocumented use of global li -ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li -ulstypes.c:10:9: Undetected modification possible from call to unconstrained - function f: f -ulstypes.c:10:3: Assignment of long int to int: loc = f(li) -ulstypes.c:11:12: Undocumented use of global ui -ulstypes.c:11:9: Undetected modification possible from call to unconstrained - function f: f -ulstypes.c:11:3: Assignment of long int to int: loc = f(ui) -ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc -ulstypes.c:12:9: Undetected modification possible from call to unconstrained - function f: f -ulstypes.c:12:3: Assignment of long int to int: loc = f(loc) -ulstypes.c:14:3: Assignment of int to long int: loli = loc -ulstypes.c:15:10: Return value type unsigned int does not match declared type - long int: x -ulstypes.c:19:19: Variable x2 initialized to type int, expects unsigned int: 23 -ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int: - -15 -ulstypes.c:24:16: Variable x7 initialized to type int, expects short int: 14 -ulstypes.c:3:21: Variable si declared but not used -ulstypes.c:18:14: Variable x1 declared but not used -ulstypes.c:19:14: Variable x2 declared but not used -ulstypes.c:20:14: Variable x3 declared but not used -ulstypes.c:21:14: Variable x4 declared but not used -ulstypes.c:22:10: Variable x5 declared but not used -ulstypes.c:23:10: Variable x6 declared but not used -ulstypes.c:24:11: Variable x7 declared but not used -ulstypes.c:1:14: Variable exported but not used outside ulstypes: ui -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 diff --git a/test/union.out b/test/union.out deleted file mode 100644 index da6edcf..0000000 --- a/test/union.out +++ /dev/null @@ -1,25 +0,0 @@ - -union.c: (in function ut_create1) -union.c:16:10: Returned union *u has no defined field -union.c: (in function ut_create4) -union.c:40:3: Implicitly temp storage t assigned to implicitly only: u->ox = t -union.c: (in function ut_create5) -union.c:48:3: Implicitly temp storage t assigned to dependent: u->dx = t -union.c: (in function ut_create6) -union.c:57:10: Returned storage u->st contains 2 undefined fields: b, ip -union.c: (in function ut_create7) -union.c:66:3: Implicitly temp storage p assigned to implicitly only: - u->st.ip = p -union.c: (in function ut_mangle1) -union.c:73:2: Released storage u->ox reachable from parameter at return point - union.c:72:9: Storage u->ox is released -union.c: (in function ut_mangle2) -union.c:78:2: Released storage u->st.ip reachable from parameter at return - point - union.c:77:9: Storage u->st.ip is released -union.c: (in function ut_mangle3) -union.c:84:2: Released storage u->st.ip reachable from parameter at return - point - union.c:82:9: Storage u->st.ip is released - -Finished LCLint checking --- 8 code errors found, as expected diff --git a/test/unreachable.out b/test/unreachable.out deleted file mode 100644 index 98f1c59..0000000 --- a/test/unreachable.out +++ /dev/null @@ -1,27 +0,0 @@ - -unreachable.c: (in function f) -unreachable.c:6:4: Unreachable code: x++ -unreachable.c: (in function tu) -unreachable.c:21:7: Unreachable code: return -unreachable.c: (in function s) -unreachable.c:33:29: Unreachable code: z-- -unreachable.c:34:10: Fall through case (no preceding break) -unreachable.c:45:4: Unreachable code: z++ - -Finished LCLint checking --- 5 code errors found, as expected - -unreachable.c: (in function s) -unreachable.c:34:10: Fall through case (no preceding break) -unreachable.c:46:2: Path with no return in function declared to return int - -Finished LCLint checking --- 2 code errors found, as expected - -switch.c: (in function f3) -switch.c:31:2: Path with no return in function declared to return int -switch.c: (in function f5) -switch.c:49:6: Missing case in switch: THREE -switch.c:50:2: Path with no return in function declared to return int -switch.c: (in function f6) -switch.c:70:2: Path with no return in function declared to return int - -Finished LCLint checking --- 4 code errors found, as expected diff --git a/test/unused.out b/test/unused.out deleted file mode 100644 index 4e4a1ba..0000000 --- a/test/unused.out +++ /dev/null @@ -1,25 +0,0 @@ - -unused.c:13:6: Name _inner is in the implementation name space (any identifier - beginning with underscore) -unused.c:14:2: Name _st is in the implementation name space (any identifier - beginning with underscore) -unused.c:19:12: File static function f declared but not used - unused.c:22:1: Definition of f -unused.c:16:12: Function undef declared but not defined -unused.c:16:12: Function undef exported but not declared in header file - -Finished LCLint checking --- 5 code errors found, as expected - -unused.c:13:6: Name _inner is in the implementation name space (any identifier - beginning with underscore) -unused.c:14:2: Name _st is in the implementation name space (any identifier - beginning with underscore) -unused.c:19:12: File static function f declared but not used - unused.c:22:1: Definition of f -unused.c:16:12: Function undef declared but not defined -unused.c:1:14: Type dumbtype declared but not used -unused.c:12:11: Field silly of structure struct _inner declared but not used -unused.c:7:7: Field dumb of structure struct _st declared but not used -unused.c:16:12: Function undef exported but not declared in header file - -Finished LCLint checking --- 8 code errors found, as expected