On Tue, 2007-12-04 16:53:54 +0100, Yegor Ryabkov wrote: > 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>.
You may use most (all) of the splint flags in code annotations. See section 1.3.2 of the manual. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Floßwörthstraße 41 e-mail: [EMAIL PROTECTED] D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
