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