[splint-discuss] Exporting declarations

[Jonathan and Caroline Moore]

Are you returning something with static duration?

Some code fragments will help pin down the insecurity splint is highlighting.

Jonathan

2009/5/25  <splint at coreland.ath.cx>:
> Hello.
>
> I'm writing a program that uses functions defined in an external library
> (as some people do, you know). Splint is giving me warnings such as:
>
> copy.h:18:3: Constant exported, but not specified: COPY_OK
> copy.h:40:25: Function exported, but not specified: copy_init
>  A function is exported, but not specified. (Use -exportfcn to inhibit
>  warning)
>
> I've been over the manual a couple of times but can't see how I'm supposed
> to specify 'copy_init'. Am I supposed to use the external LCL specification
> language? I would rather write a specification that just suppress warnings.
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>



-- 
Jonathan (and Caroline)

Jonathan and Caroline Moore
JandCMoore at gmail.com (Jonathan)
CandJMoore at gmail.com (Caroline)
http://jandcmoore.googlepages.com/