3 #ifndef __CPROVER_TIME_H_INCLUDED
5 #define __CPROVER_TIME_H_INCLUDED
24 # ifndef __CPROVER_TIME_H_INCLUDED
26 # define __CPROVER_TIME_H_INCLUDED
31 time_t _time64(time_t *tloc)
43 #if defined(_WIN32) && defined(_USE_32BIT_TIME_T)
45 # ifndef __CPROVER_TIME_H_INCLUDED
47 # define __CPROVER_TIME_H_INCLUDED
50 __time32_t __VERIFIER_nondet_time32_t(
void);
52 __time32_t _time32(__time32_t *tloc)
54 __time32_t res = __VERIFIER_nondet_time32_t();
64 #ifndef __CPROVER_TIME_H_INCLUDED
66 #define __CPROVER_TIME_H_INCLUDED
71 struct tm *
gmtime(
const time_t *clock)
76 #ifdef __CPROVER_CUSTOM_BITVECTOR_ANALYSIS
77 __CPROVER_event(
"invalidate_pointer",
"gmtime_result");
78 struct tm *gmtime_result;
82 static struct tm return_value;
89 #ifndef __CPROVER_TIME_H_INCLUDED
91 #define __CPROVER_TIME_H_INCLUDED
96 struct tm *
gmtime_r(
const time_t *clock,
struct tm *result)
105 #ifndef __CPROVER_TIME_H_INCLUDED
107 #define __CPROVER_TIME_H_INCLUDED
117 #ifdef __CPROVER_CUSTOM_BITVECTOR_ANALYSIS
118 __CPROVER_event(
"invalidate_pointer",
"localtime_result");
119 struct tm *localtime_result;
121 return localtime_result;
123 static struct tm return_value;
124 return &return_value;
130 #ifndef __CPROVER_TIME_H_INCLUDED
132 #define __CPROVER_TIME_H_INCLUDED
146 #ifndef __CPROVER_TIME_H_INCLUDED
148 #define __CPROVER_TIME_H_INCLUDED
164 #ifndef __CPROVER_TIME_H_INCLUDED
166 #define __CPROVER_TIME_H_INCLUDED
182 #ifndef __CPROVER_TIME_H_INCLUDED
184 #define __CPROVER_TIME_H_INCLUDED
190 #ifdef __CPROVER_CUSTOM_BITVECTOR_ANALYSIS
191 __CPROVER_event(
"invalidate_pointer",
"asctime_result");
192 char *asctime_result;
194 return asctime_result;
196 static char asctime_result[1];
197 return asctime_result;
203 #ifndef __CPROVER_TIME_H_INCLUDED
205 #define __CPROVER_TIME_H_INCLUDED
211 #ifdef __CPROVER_CUSTOM_BITVECTOR_ANALYSIS
212 __CPROVER_event(
"invalidate_pointer",
"ctime_result");
217 static char ctime_result[1];
224 #ifndef __CPROVER_TIME_H_INCLUDED
226 # define __CPROVER_TIME_H_INCLUDED
246 #ifndef __CPROVER_TIME_H_INCLUDED
248 # define __CPROVER_TIME_H_INCLUDED
255 __CPROVER_size_t max,
struct tm * gmtime_r(const time_t *clock, struct tm *result)
time_t __VERIFIER_nondet_time_t(void)
struct tm * localtime(const time_t *clock)
time_t timegm(struct tm *timeptr)
char * asctime(const struct tm *timeptr)
__CPROVER_size_t strftime(char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)
char * ctime(const time_t *clock)
time_t time(time_t *tloc)
__CPROVER_size_t __VERIFIER_nondet_size_t(void)
struct tm * gmtime(const time_t *clock)
__CPROVER_size_t _strftime(char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)
struct tm * localtime_r(const time_t *clock, struct tm *result)
time_t mktime(struct tm *timeptr)