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
Hello,
I try to find an annotation for the recvmsg() function, but had only little
success in it. The program below is a simplified version demonstrating my
problems.
The main issue is the non-detected definition of the 'ptr' parameter of
bar() by the foo() function. I hoped that the define
