Splint does not allow #defined constants to be used in function constraints unless
they are defined with the constant anotation.
For example in the code below after the line
#define SIZE1024
you would add
/*@constant int SIZE=1024@*/
(In most other cases Splint does handle #defined co
I was able to verify the problem and I'll try to put together a patch for the internal
error in the next few days.
-David
On Thu, Jun 27, 2002 at 06:33:31PM +0200, Enrico Scholz wrote:
> Hello,
>
> while trying to check the following program-fragment which copies the
> content of one list int
Hello,
while trying to check the following program-fragment which copies the
content of one list into another one, splint generates bounds-checking
warnings.
The first one probably appears because 'src->elems[i]->data' may contain
uninitialized values. The
(maxRead(src->elems[]
