Hello, Is there a way to suppress a specific type of warning for a block of code?
/[EMAIL PROTECTED]<n>@*/ looks like a solution, but it's still not a perfect way; is there any other means to do this? "Appendix C -> Annotations -> Suppressing warnings" only contains i, i<n>, t and t<n>. Thanks in advance, Egor. _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
