S
Splint bringt ja einige Header, wie stdio.h, selbst mit.
Was mich nun wirklich wundert ist, wenn man als Include-Pfad die Splint-eigenen Header angibt (-IC:\splint\lib), dann gibt es von Splint (das Original) befunde:
C:\splint\bin\splint.exe -IC:\splint\lib -larchpath C:\splint\lib
-lclimportdir C:\splint\imports -D_M_IX86=400 -DWIN32 -D_NTSYSTEM -D_WIN3
2_WINNT=0x0400 -DWINVER=600 -DNOGDI -DNOKERNEL -DNOUSER -DWIN32_LEAN_AND_MEAN -l
ikelybool -D__int64=long -D_int64=int -D_wtoi=atoi -DSTRICT -DDECLSPEC_NORETURN=
"C:\Dokumente und Einstellungen\stefan\Eigene Dateien\example.c"
Splint 3.1.2 --- 25 Aug 2010
C:\splint\lib\stdio.h(10,34): Constant FILENAME_MAX declared with inconsistent
type: arbitrary unsigned integral type
A function, variable or constant is redefined with a different type. (Use
-incondefs to inhibit warning)
load file standard.lcd: Specification of FILENAME_MAX: int
C:\splint\lib\stdio.h(11,34): Constant FOPEN_MAX declared with inconsistent
type: arbitrary unsigned integral type
load file standard.lcd: Specification of FOPEN_MAX: int
C:\splint\lib\stdio.h(12,19): Constant _IOFBF declared with inconsistent type:
boolean
load file standard.lcd: Specification of _IOFBF: size_t
C:\splint\lib\stdio.h(13,19): Constant _IOLBF declared with inconsistent type:
boolean
load file standard.lcd: Specification of _IOLBF: size_t
C:\splint\lib\stdio.h(14,19): Constant _IONBF declared with inconsistent type:
boolean
load file standard.lcd: Specification of _IONBF: size_t
C:\splint\lib\stdio.h(17,34): Constant L_tmpnam declared with inconsistent
type: arbitrary unsigned integral type
load file standard.lcd: Specification of L_tmpnam: int
C:\splint\lib\stdio.h(18,34): Constant SEEK_CUR declared with inconsistent
type: arbitrary unsigned integral type
load file standard.lcd: Specification of SEEK_CUR: int
C:\splint\lib\stdio.h(19,34): Constant SEEK_END declared with inconsistent
type: arbitrary unsigned integral type
load file standard.lcd: Specification of SEEK_END: int
C:\splint\lib\stdio.h(20,34): Constant SEEK_SET declared with inconsistent
type: arbitrary unsigned integral type
load file standard.lcd: Specification of SEEK_SET: int
C:\splint\lib\stdio.h(21,34): Constant TMP_MAX declared with inconsistent type:
arbitrary unsigned integral type
load file standard.lcd: Specification of TMP_MAX: int
C:\splint\lib\stdio.h(59,32): Parse Error:
Inconsistent function parameter syntax: off_t :
<any>. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.
Weiss jemand warum?