]> andersk Git - splint.git/commitdiff
Updated library headers to include some missing functions.
authordrl7x <drl7x>
Mon, 24 Sep 2001 22:02:19 +0000 (22:02 +0000)
committerdrl7x <drl7x>
Mon, 24 Sep 2001 22:02:19 +0000 (22:02 +0000)
Fixed some stuff in test.

lib/ansi.lcd
lib/ansistrict.lcd
lib/posix.lcd
lib/posixstrict.lcd
lib/unix.lcd
lib/unixstrict.lcd
src/Headers/herald.h
src/Headers/local_constants.h
test/tests2.2.out [deleted file]

index 52b638248af917ec94cecf05028ff8ab3ba3eabf..a71171877a7d836523dc7100247883b7c9fc6e7f 100644 (file)
 ^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
 ^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
-constraints
 vsnprintf
 pre:
 C
index 2a8146d7ccf998b5fcdfb925d910254b85653153..6a189ce1dfc48e66ab9e22d62e8af65fa0dcee5d 100644 (file)
 ^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
 ^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
-constraints
 vsnprintf
 pre:
 C
index e4da9359e505d07b23237ae7d6d25aff0adbbd5b..2bf730f59cd762a5381743979fbf872e07458e44 100644 (file)
 *1 (Constant)
 ^764 5$#REG_BASIC#REG_EXTENDED#REG_ICASE#REG_NOSUB#REG_NEWLINE#REG_NOSPEC#REG_PEND#REG_DUMP#REG_NOMATCH#REG_BADPAT#REG_ECOLLATE#REG_ECTYPE#REG_EESCAPE#REG_ESUBREG#REG_EBRACK#REG_EPAREN#REG_EBRACE#REG_BADBR#REG_ERANGE#REG_ESPACE#REG_BADRPT#REG_EMPTY#REG_ASSERT#REG_INVARG#REG_ATOI#REG_ITOA#REG_NOTBOL#REG_NOTEOL#REG_STARTEND#REG_TRACE#REG_LARGE#REG_BACKR
 ;; Library constraints
-constraints
 vsnprintf
 pre:
 C
index 44dc1293890ad892d7fecfe0b793f81e83783db5..d8aeb53423a8812ab28517e0cac862096f658aa5 100644 (file)
 *1 (Constant)
 ^764 5$#REG_BASIC#REG_EXTENDED#REG_ICASE#REG_NOSUB#REG_NEWLINE#REG_NOSPEC#REG_PEND#REG_DUMP#REG_NOMATCH#REG_BADPAT#REG_ECOLLATE#REG_ECTYPE#REG_EESCAPE#REG_ESUBREG#REG_EBRACK#REG_EPAREN#REG_EBRACE#REG_BADBR#REG_ERANGE#REG_ESPACE#REG_BADRPT#REG_EMPTY#REG_ASSERT#REG_INVARG#REG_ATOI#REG_ITOA#REG_NOTBOL#REG_NOTEOL#REG_STARTEND#REG_TRACE#REG_LARGE#REG_BACKR
 ;; Library constraints
-constraints
 vsnprintf
 pre:
 C
index 9ea20e99645a08301d813ba4b51912b7645697de..484ad3e653d38537ae486010d8593c62d9f72759 100644 (file)
 ^1577 1670@6@0@1@1@0@0@@1@tp0$@0#snprintf
 ^1578 1679@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam
 ;; Library constraints
-constraints
 setvbuf
 pre:
 C
index 0377f4ce1ba39994a41fbfbae8844dd970a3c6a3..905e72e734e2fb65972b8beb2d12e77791e02c6a 100644 (file)
 ^1556 1503$@0@@1@tp0$@0#stpcpy
 ^1557 1506$@0@@1@tp0$@0#stpncpy
 ;; Library constraints
-constraints
 vsnprintf
 pre:
 C
index 41109ac7d22c8a3e0b5bad4323603427bc765ac9..bcb3a88145a80c86301aba1273e0755a9b112a6b 100644 (file)
@@ -4,4 +4,4 @@
 /*@constant observer char *LCL_PARSE_VERSION;@*/
 # define LCL_PARSE_VERSION "LCLint 3.0.0.16"
 /*@constant observer char *LCL_COMPILE;@*/
-# define LCL_COMPILE "Compiled using gcc -Wall -g on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by evans"
+# define LCL_COMPILE "Compiled using gcc -DSTDC_HEADERS=1 on Linux matthews.cs.Virginia.EDU 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
index 59668c381b0bfeadad196ce9509be87760bdd51f..fb040339d531030101162ddc74ddb0bfec42da97 100644 (file)
@@ -2,6 +2,6 @@
 /*@constant observer char *SYSTEM_LIBDIR;@*/
 # define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH "/usr/local/lclint/lib"
+# define DEFAULT_LARCHPATH ".:/af9/drl7x/reTmp/LCLintDev/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint/imports"
+# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/reTmp/LCLintDev/imports"
diff --git a/test/tests2.2.out b/test/tests2.2.out
deleted file mode 100644 (file)
index 86109b2..0000000
+++ /dev/null
@@ -1,86 +0,0 @@
-  Note: expect difference in name of unclosed file.
-
-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.
-Unclosed file at exit: /tmp/cl33AAA.c
-
-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.12412 seconds and 5 git commands to generate.