]> andersk Git - splint.git/blobdiff - test/ansireserved.out
Made some additional changes to the makefile. Now it builds correctly.
[splint.git] / test / ansireserved.out
index eb377aeec683782f763546c84ca2d487373766a6..6cb3efa6c7a925560d8e1c99d56125c91b257bec 100644 (file)
@@ -1,3 +1,4 @@
+gmake[3]: Entering directory `/tmp/LCLintDev/test'
 
 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
@@ -49,17 +50,13 @@ ansireserved.c:16:20: Name wctomb is reserved for the standard library
 
 Finished LCLint checking --- 11 code errors found, as expected
 
+Cannot find standard library: ansi.lcd
+     Check LARCH_PATH environment variable.
 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
     <errno.h>. (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)
@@ -76,9 +73,6 @@ 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
+Finished LCLint checking --- 10 code errors found, expected 12
+gmake[3]: *** [ansireserved] Error 1
+gmake[3]: Leaving directory `/tmp/LCLintDev/test'
This page took 0.035883 seconds and 4 git commands to generate.