Have you tried using an enum instead of int? E.g.
enum legal_values {0,1,2,3,4,5};
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090317/9306ee21/attachment.html