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).
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 ?
> Thanks you in advance,