]> andersk Git - splint.git/blobdiff - test/structassign.out
Fixed up for win32 building (winconfig.h required)
[splint.git] / test / structassign.out
index 17fb12b3293a90d43aa54670f7b18480a55de2fb..14d5a008ac763c92121340cd43e37a6d6f8ef03b 100644 (file)
@@ -1,6 +1,4 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
 structassign.c: (in function copyrecord)
 structassign.c:15:15: Released storage x.name reachable from parameter at
                          return point
@@ -14,12 +12,7 @@ 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:37:21: Unrecognized identifier: malloc
-structassign.c:38:3: Unrecognized identifier: assert
-structassign.c:38:21: Unrecognized identifier: NULL
-structassign.c:39:3: Unrecognized identifier: strcpy
-structassign.c:43:3: Unrecognized identifier: printf
 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 --- 9 code errors found, expected 4
+Finished checking --- 4 code warnings, as expected
This page took 0.047844 seconds and 4 git commands to generate.