time.c File Reference

#include <time.h>
#include <errno.h>

Include dependency graph for time.c:

Go to the source code of this file.

Macros
#define	__CPROVER_TIME_H_INCLUDED
#define	__CPROVER_ERRNO_H_INCLUDED

Functions
time_t	__VERIFIER_nondet_time_t (void)
time_t	__time64 (time_t *)
time_t	time (time_t *tloc)
struct tm *	gmtime (const time_t *clock)
struct tm *	gmtime_r (const time_t *clock, struct tm *result)
struct tm *	localtime (const time_t *clock)
struct tm *	localtime_r (const time_t *clock, struct tm *result)
time_t	mktime (struct tm *timeptr)
time_t	timegm (struct tm *timeptr)
char *	asctime (const struct tm *timeptr)
char *	ctime (const time_t *clock)
__CPROVER_size_t	__VERIFIER_nondet_size_t (void)
__CPROVER_size_t	strftime (char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)
__CPROVER_size_t	_strftime (char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)
int	__VERIFIER_nondet_int (void)
long	__VERIFIER_nondet_long (void)
int	clock_gettime (clockid_t clockid, struct timespec *tp)

Macro Definition Documentation

__CPROVER_ERRNO_H_INCLUDED

#define __CPROVER_ERRNO_H_INCLUDED

Definition at line 293 of file time.c.

__CPROVER_TIME_H_INCLUDED

#define __CPROVER_TIME_H_INCLUDED

Definition at line 5 of file time.c.

Function Documentation

__time64()

time_t __time64

(

time_t *

tloc

)

Definition at line 27 of file time.c.

__VERIFIER_nondet_int()

int __VERIFIER_nondet_int

(

void

)

__VERIFIER_nondet_long()

long __VERIFIER_nondet_long

(

void

)

__VERIFIER_nondet_size_t()

__CPROVER_size_t __VERIFIER_nondet_size_t

(

void

)

__VERIFIER_nondet_time_t()

time_t __VERIFIER_nondet_time_t

(

void

)

_strftime()

__CPROVER_size_t _strftime	(	char *	s,
		__CPROVER_size_t	max,
		const char *	format,
		const struct tm *	tm )

Definition at line 268 of file time.c.

asctime()

char * asctime

(

const struct tm *

timeptr

)

Definition at line 202 of file time.c.

clock_gettime()

int clock_gettime	(	clockid_t	clockid,
		struct timespec *	tp )

Definition at line 304 of file time.c.

ctime()

char * ctime

(

const time_t *

clock

)

Definition at line 223 of file time.c.

gmtime()

struct tm * gmtime

(

const time_t *

clock

)

Definition at line 86 of file time.c.

gmtime_r()

struct tm * gmtime_r	(	const time_t *	clock,
		struct tm *	result )

Definition at line 111 of file time.c.

localtime()

struct tm * localtime

(

const time_t *

clock

)

Definition at line 127 of file time.c.

localtime_r()

struct tm * localtime_r	(	const time_t *	clock,
		struct tm *	result )

Definition at line 152 of file time.c.

mktime()

time_t mktime

(

struct tm *

timeptr

)

Definition at line 170 of file time.c.

strftime()

__CPROVER_size_t strftime	(	char *	s,
		__CPROVER_size_t	max,
		const char *	format,
		const struct tm *	tm )

Definition at line 247 of file time.c.

time()

time_t time

(

time_t *

tloc

)

Definition at line 13 of file time.c.

timegm()

time_t timegm

(

struct tm *

timeptr

)

Definition at line 188 of file time.c.