On Sun, 2008-03-30 12:00:27 -0700, James Dennett wrote: > On Sun, Mar 30, 2008 at 4:14 AM, Ludolf Holzheid > <[EMAIL PROTECTED]> 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: [EMAIL PROTECTED] D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
