[splint-discuss] Dependency on run time function

[Ludolf Holzheid]

On Sun, 2008-03-30 12:00:27 -0700, James Dennett wrote:
> On Sun, Mar 30, 2008 at 4:14 AM, Ludolf Holzheid
> <lholzheid at bihl-wiedemann.de> wrote:
> >  [..]
> >  gettimeofday() is not even POSIX.
> 
> I think gettimeofday *is* POSIX.  Searching finds many quotes saying that
> "POSIX 1003.1-2001 describes gettimeofday() but not settimeofday()".
> 
> I don't know about earlier POSIX specifications.

This may be true, but at least for splint 3.1.1, you have to select
the UNIX library to get the annotated prototype for gettimeofday().

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