Hi,
The bool type is used by splint, but not built in to C. You need to provide a typedefinition, or #include the one included in the Splint distribution (in lib/bool.h). --- Dave On Fri, 13 Sep 2002, riso wrote: > Hi all: > I`m a new user of the splint. In the manual of splint, I found > an example: > /*@nullwhentrue@*/ bool isNull ( /*@null@*/ char *x ); > ...... > when I use splint to parse the c file, splint told me: > Inconsistent function declaration : bool : > truenull ? > why? > Thanks you in advance, > riso >