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