Re: Question on nullwhentrue annotation

2002-09-12 Thread riso
OK, I add : #include Thank you! 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 splin

Re: Question on nullwhentrue annotation

2002-09-12 Thread David Evans
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 foun

Question on nullwhentrue annotation

2002-09-12 Thread riso
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 : truenu