[splint-discuss] Dependency on run time function

[Ludolf Holzheid]

On Fri, 2008-03-28 12:48:44 +0530, Vishal Bayskar wrote:
> Dear All,
> 
>             How does splint react for function that depend upon runtime 
> 
>             Like read(), gettimeofday(), calloc().

Vishal,

Proper functions depend on run time, of course. You wouldn't want to
invoke a program always producing the same results. ;-)

Joking aside, what do you think is special with these functions (and
what do you expect splint to do with them)?

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
---------------------------------------------------------------