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

Reply via email to