time.c File Reference

#include <time.h>

Include dependency graph for time.c:

Macros
#define	TIME_UTC   1

Functions
time_t	__VERIFIER_nondet_time_t ()
clock_t	__VERIFIER_nondet_clock_t ()
static void	__esbmc_fill_tm_nondet (struct tm *t)
time_t	time (time_t *tloc)
double	difftime (time_t end, time_t beginning)
clock_t	clock (void)
struct tm *	localtime (const time_t *timer)
struct tm *	gmtime (const time_t *timer)
struct tm *	localtime_r (const time_t *timer, struct tm *buf)
struct tm *	gmtime_r (const time_t *timer, struct tm *buf)
static void	__esbmc_normalize_tm_mon (struct tm *timeptr)
time_t	mktime (struct tm *timeptr)
time_t	timegm (struct tm *timeptr)
char *	asctime (const struct tm *timeptr)
char *	ctime (const time_t *timer)
size_t	strftime (char *s, size_t maxsize, const char *format, const struct tm *timeptr)
int	timespec_get (struct timespec *ts, int base)
char *	asctime_r (const struct tm *timeptr, char *buf)
char *	ctime_r (const time_t *timer, char *buf)
char *	strptime (const char *s, const char *format, struct tm *tm)
static void	__esbmc_fill_timespec_nondet (struct timespec *ts)
int	clock_getres (clockid_t clk_id, struct timespec *res)
int	clock_gettime (clockid_t clk_id, struct timespec *tp)
int	clock_settime (clockid_t clk_id, const struct timespec *tp)
int	clock_nanosleep (clockid_t clk_id, int flags, const struct timespec *request, struct timespec *remain)
int	nanosleep (const struct timespec *req, struct timespec *rem)
int	timer_create (clockid_t clockid, struct sigevent *sevp, timer_t *timerid)
int	timer_delete (timer_t timerid)
int	timer_settime (timer_t timerid, int flags, const struct itimerspec *new_value, struct itimerspec *old_value)
int	timer_gettime (timer_t timerid, struct itimerspec *curr_value)
int	timer_getoverrun (timer_t timerid)
int	clock_getcpuclockid (pid_t pid, clockid_t *clock_id)
void	tzset (void)
struct tm *	getdate (const char *string)

Variables
static struct tm	__esbmc_localtime_buf
static time_t	__esbmc_localtime_last_input
static struct tm	__esbmc_gmtime_buf
static time_t	__esbmc_gmtime_last_input
static char	__esbmc_asctime_buf [26]
static char	__esbmc_ctime_buf [26]
int	daylight = 0
long	timezone = 0
char *	tzname [2] = {0, 0}
int	getdate_err = 0
static struct tm	__esbmc_getdate_buf

Macro Definition Documentation

TIME_UTC

#define TIME_UTC   1

Function Documentation

__esbmc_fill_timespec_nondet()

void __esbmc_fill_timespec_nondet ( struct timespec * ts )

static

__esbmc_fill_tm_nondet()

void __esbmc_fill_tm_nondet ( struct tm * t )

static

__esbmc_normalize_tm_mon()

void __esbmc_normalize_tm_mon ( struct tm * timeptr )

static

__VERIFIER_nondet_clock_t()

clock_t __VERIFIER_nondet_clock_t

(

)

__VERIFIER_nondet_time_t()

time_t __VERIFIER_nondet_time_t

(

)

asctime()

char * asctime

(

const struct tm *

timeptr

)

asctime_r()

char * asctime_r	(	const struct tm *	timeptr,
		char *	buf )

clock()

clock_t clock

(

void

)

clock_getcpuclockid()

int clock_getcpuclockid	(	pid_t	pid,
		clockid_t *	clock_id )

clock_getres()

int clock_getres	(	clockid_t	clk_id,
		struct timespec *	res )

clock_gettime()

int clock_gettime	(	clockid_t	clk_id,
		struct timespec *	tp )

clock_nanosleep()

int clock_nanosleep	(	clockid_t	clk_id,
		int	flags,
		const struct timespec *	request,
		struct timespec *	remain )

clock_settime()

int clock_settime	(	clockid_t	clk_id,
		const struct timespec *	tp )

ctime()

char * ctime

(

const time_t *

timer

)

ctime_r()

char * ctime_r	(	const time_t *	timer,
		char *	buf )

difftime()

double difftime	(	time_t	end,
		time_t	beginning )

getdate()

struct tm * getdate

(

const char *

string

)

gmtime()

struct tm * gmtime

(

const time_t *

timer

)

gmtime_r()

struct tm * gmtime_r	(	const time_t *	timer,
		struct tm *	buf )

localtime()

struct tm * localtime

(

const time_t *

timer

)

localtime_r()

struct tm * localtime_r	(	const time_t *	timer,
		struct tm *	buf )

mktime()

time_t mktime

(

struct tm *

timeptr

)

nanosleep()

int nanosleep	(	const struct timespec *	req,
		struct timespec *	rem )

strftime()

size_t strftime	(	char *	s,
		size_t	maxsize,
		const char *	format,
		const struct tm *	timeptr )

strptime()

char * strptime	(	const char *	s,
		const char *	format,
		struct tm *	tm )

time()

time_t time

(

time_t *

tloc

)

timegm()

time_t timegm

(

struct tm *

timeptr

)

timer_create()

int timer_create	(	clockid_t	clockid,
		struct sigevent *	sevp,
		timer_t *	timerid )

timer_delete()

int timer_delete

(

timer_t

timerid

)

timer_getoverrun()

int timer_getoverrun

(

timer_t

timerid

)

timer_gettime()

int timer_gettime	(	timer_t	timerid,
		struct itimerspec *	curr_value )

timer_settime()

int timer_settime	(	timer_t	timerid,
		int	flags,
		const struct itimerspec *	new_value,
		struct itimerspec *	old_value )

timespec_get()

int timespec_get	(	struct timespec *	ts,
		int	base )

tzset()

void tzset

(

void

)

Variable Documentation

__esbmc_asctime_buf

char __esbmc_asctime_buf[26]

static

__esbmc_ctime_buf

char __esbmc_ctime_buf[26]

static

__esbmc_getdate_buf

struct tm __esbmc_getdate_buf

static

__esbmc_gmtime_buf

struct tm __esbmc_gmtime_buf

static

__esbmc_gmtime_last_input

time_t __esbmc_gmtime_last_input

static

__esbmc_localtime_buf

struct tm __esbmc_localtime_buf

static

__esbmc_localtime_last_input

time_t __esbmc_localtime_last_input

static

daylight

int daylight = 0

getdate_err

int getdate_err = 0

timezone

long timezone = 0

tzname

char* tzname[2] = {0, 0}