/usr/share/splint/imports/time.lcl is in splint-data 3.1.2.dfsg1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | /*
** time.h
*/
imports <stdlib> ;
typedef struct timeval {
long tv_sec;
long tv_usec;
} __timeval;
typedef struct timezone {
int tz_minuteswest;
int tz_dsttime;
} __timezone;
enum { DST_NONE, DST_USA, DST_AUST, DST_WET, DST_MET, DST_EET } __timezones;
| bool : int | timerisset(struct timeval tvp) { ensures true; }
void timerclear(struct timeval tvp);
constant int ITIMER_REAL;
constant int ITIMER_VIRTUAL;
constant int ITIMER_PROF;
typedef struct itimerval {
struct timeval it_interval;
struct timeval it_value;
} __itimerval;
typedef struct tm {
int tm_sec ;
int tm_min ;
int tm_hour ;
int tm_mday ;
int tm_mon ;
int tm_year ;
int tm_wday ;
int tm_yday ;
int tm_isdst ;
long tm_gmtoff ;
char *tm_zone ;
} __tm;
typedef int time_t ;
typedef int clock_t ;
constant int CLOCKS_PER_SEC ;
char * asctime( struct tm *__tm ) { ensures true; }
clock_t clock( void ) { ensures true; }
char * ctime( time_t *__clock );
double difftime( time_t __time1, time_t __time0 ) { ensures true; }
struct tm * gmtime( time_t *__clock ) { ensures true; }
struct tm * localtime( time_t *__clock ) { ensures true; }
time_t mktime( struct tm *__timeptr ) { ensures true; }
size_t strftime( char *__s, size_t __maxsize,
char *__format, struct tm *__tm ) { ensures true; }
time_t time( time_t *__tloc ) {ensures true; }
char *tzname[];
char *timezone() { ensures true; }
|