[splint-discuss] Selective warning disabling

[Ludolf Holzheid]

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?
> 
> /*@i<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: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------