CBMC
Loading...
Searching...
No Matches
gcc_builtin_headers_generic.h
Go to the documentation of this file.
1// clang-format off
2// stdarg
4void* __builtin_apply(void (*)(), void*, __CPROVER_size_t);
13
14// stdlib
18int __builtin_execl(const char*, const char*, ...);
19int __builtin_execle(const char*, const char*, ...);
20int __builtin_execlp(const char*, const char*, ...);
21int __builtin_execv(const char*, const char**);
22int __builtin_execve(const char*, const char**, const char**);
23int __builtin_execvp(const char*, const char**);
26
27// atomics
29_Bool __atomic_test_and_set(void *, int);
30void __atomic_clear(_Bool *, int);
31void __atomic_thread_fence(int);
32void __atomic_signal_fence(int);
35
36// other
40void __builtin_trap(void);
42long __builtin_expect(long, long);
43long __builtin_expect_with_probability(long, long, double);
48
54
55const char* __builtin_FILE();
56const char* __builtin_FUNCTION();
58
59void __builtin_longjmp(void*, int);
60void __builtin_return(void*);
64// clang-format on
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
void __builtin_exit(int)
void __builtin_va_start(__builtin_va_list ap,...)
int __builtin_execlp(const char *, const char *,...)
void __builtin_abort()
int __builtin_va_arg_pack_len()
int __builtin_LINE()
long __builtin_expect(long, long)
void __builtin_clear_padding()
void * __builtin_next_arg()
void __builtin_unreachable(void)
void * __builtin_speculation_safe_value_ptr(void *,...)
void __atomic_thread_fence(int)
Definition gcc.c:109
void __builtin_return(void *)
void __builtin_trap(void)
void __builtin_ms_va_end(__builtin_ms_va_list ap)
_Bool __builtin_is_constant_evaluated(void)
void * __builtin_apply(void(*)(), void *, __CPROVER_size_t)
void __atomic_signal_fence(int)
Definition gcc.c:132
void __builtin_va_copy(__builtin_va_list dest, __builtin_va_list src)
int __builtin_classify_type()
int __builtin_choose_expr(_Bool,...)
int __builtin_eh_return_data_regno(int)
long __builtin_expect_with_probability(long, long, double)
int __builtin_setjmp(void *)
void __sync_synchronize()
Definition gcc.c:36
void * __builtin_apply_args()
int __builtin_constant_p(int)
_Bool __atomic_always_lock_free(__CPROVER_size_t, void *)
Definition gcc.c:140
int __builtin_execv(const char *, const char **)
int __builtin_va_arg_pack()
void __builtin__exit(int)
int __builtin_execvp(const char *, const char **)
const char * __builtin_FUNCTION()
void __atomic_clear(_Bool *, int)
Definition gcc.c:67
void __builtin__Exit(int)
void __builtin_va_end(__builtin_va_list ap)
const char * __builtin_FILE()
void __builtin_update_setjmp_buf(void *)
unsigned __builtin_dwarf_sp_column()
int __builtin_execle(const char *, const char *,...)
_Bool __atomic_is_lock_free(__CPROVER_size_t, void *)
Definition gcc.c:149
void __builtin_init_dwarf_reg_size_table(void *)
void * __builtin_dwarf_cfa()
void __builtin_unwind_init()
_Bool __atomic_test_and_set(void *, int)
Definition gcc.c:52
int __builtin_execve(const char *, const char **, const char **)
void * __builtin_saveregs()
void __builtin_speculation_safe_value()
int __builtin_execl(const char *, const char *,...)
pid_t __builtin_fork()
void __builtin_longjmp(void *, int)
void __builtin_ms_va_start(__builtin_ms_va_list ap,...)