cprover
Loading...
Searching...
No Matches
gcc_builtin_headers_tm.h
Go to the documentation of this file.
1// clang-format off
2unsigned __builtin__ITM_beginTransaction(unsigned, ...);
14void __builtin__ITM_LB(volatile void*, __CPROVER_size_t);
18void __builtin__ITM_LU1(volatile void*);
19void __builtin__ITM_LU2(volatile void*);
20void __builtin__ITM_LU4(volatile void*);
21void __builtin__ITM_LU8(volatile void*);
22void __builtin__ITM_LF(volatile void*);
23void __builtin__ITM_LD(volatile void*);
24void __builtin__ITM_LE(volatile void*);
25void __builtin__ITM_WF(volatile void*, float);
26void __builtin__ITM_WaRF(volatile void*, float);
27void __builtin__ITM_WaWF(volatile void*, float);
28void __builtin__ITM_WD(volatile void*, double);
29void __builtin__ITM_WaRD(volatile void*, double);
30void __builtin__ITM_WaWD(volatile void*, double);
31void __builtin__ITM_WE(volatile void*, long double);
32void __builtin__ITM_WaRE(volatile void*, long double);
33void __builtin__ITM_WaWE(volatile void*, long double);
34float __builtin__ITM_RF(volatile void*);
35float __builtin__ITM_RaRF(volatile void*);
36float __builtin__ITM_RaWF(volatile void*);
37float __builtin__ITM_RfWF(volatile void*);
38double __builtin__ITM_RD(double*);
39double __builtin__ITM_RaRD(double*);
40double __builtin__ITM_RaWD(double*);
41double __builtin__ITM_RfWD(double*);
42long double __builtin__ITM_RE(volatile void*);
43long double __builtin__ITM_RaRE(volatile void*);
44long double __builtin__ITM_RaWE(volatile void*);
45long double __builtin__ITM_RfWE(volatile void*);
46// clang-format on
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563
void __builtin__ITM_commitTransaction()
void __builtin__ITM_WaRF(volatile void *, float)
void __builtin__ITM_memcpyRnWt(void *, const void *, __CPROVER_size_t)
void __builtin__ITM_memcpyRtWn(void *, const void *, __CPROVER_size_t)
float __builtin__ITM_RaWF(volatile void *)
void __builtin__ITM_memmoveRtWt(void *, const void *, __CPROVER_size_t)
void __builtin__ITM_memcpyRtWt(void *, const void *, __CPROVER_size_t)
long double __builtin__ITM_RaWE(volatile void *)
void __builtin__ITM_LB(volatile void *, __CPROVER_size_t)
void __builtin__ITM_LU4(volatile void *)
void __builtin__ITM_WE(volatile void *, long double)
void __builtin__ITM_changeTransactionMode(int)
float __builtin__ITM_RaRF(volatile void *)
void * __builtin__ITM_malloc(__CPROVER_size_t)
long double __builtin__ITM_RfWE(volatile void *)
void __builtin__ITM_memsetW(void *, int, __CPROVER_size_t)
void __builtin__ITM_LU8(volatile void *)
void __builtin__ITM_commitTransactionEH(void *)
void __builtin__ITM_LD(volatile void *)
long double __builtin__ITM_RaRE(volatile void *)
void __builtin__ITM_WD(volatile void *, double)
void * __builtin__ITM_getTMCloneSafe(void *)
void __builtin__ITM_free(void *)
void __builtin__ITM_WaRD(volatile void *, double)
void __builtin__ITM_WaRE(volatile void *, long double)
void __builtin__ITM_LU2(volatile void *)
void __builtin__ITM_WaWD(volatile void *, double)
long double __builtin__ITM_RE(volatile void *)
double __builtin__ITM_RaRD(double *)
double __builtin__ITM_RD(double *)
float __builtin__ITM_RF(volatile void *)
void __builtin__ITM_abortTransaction(int)
float __builtin__ITM_RfWF(volatile void *)
void __builtin__ITM_LE(volatile void *)
double __builtin__ITM_RfWD(double *)
void __builtin__ITM_WaWF(volatile void *, float)
void __builtin__ITM_WaWE(volatile void *, long double)
void __builtin__ITM_LF(volatile void *)
void __builtin__ITM_LU1(volatile void *)
void __builtin__ITM_WF(volatile void *, float)
void * __builtin__ITM_getTMCloneOrIrrevocable(void *)
double __builtin__ITM_RaWD(double *)
unsigned __builtin__ITM_beginTransaction(unsigned,...)
void * __builtin__ITM_calloc(__CPROVER_size_t, __CPROVER_size_t)