cprover
gcc_builtin_headers_generic.h
Go to the documentation of this file.
1 // stdarg
3 void __builtin_ms_va_end(void *ap);
4 void __builtin_ms_va_start(void *ap, ...);
9 void __builtin_va_end(void *ap);
10 void __builtin_va_start(void *ap, ...);
11 
12 // stdlib
13 void __builtin__Exit(int);
14 void __builtin__exit(int);
16 int __builtin_execl(const char*, const char*, ...);
17 int __builtin_execle(const char*, const char*, ...);
18 int __builtin_execlp(const char*, const char*, ...);
19 int __builtin_execv(const char*, const char**);
20 int __builtin_execve(const char*, const char**, const char**);
21 int __builtin_execvp(const char*, const char**);
22 void __builtin_exit(int);
23 
24 // stdio
25 int __builtin___fprintf_chk(void*, int, const char*, ...);
26 int __builtin___printf_chk(int, const char*, ...);
27 int __builtin___snprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, ...);
28 int __builtin___sprintf_chk(char*, int, __CPROVER_size_t, const char*, ...);
29 int __builtin___vfprintf_chk(void*, int, const char*, __builtin_va_list);
31 int __builtin___vsnprintf_chk (char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap);
32 int __builtin___vsnprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, __builtin_va_list);
33 int __builtin___vsprintf_chk(char*, int, __CPROVER_size_t, const char*, __builtin_va_list);
34 long __builtin_expect(long, long);
35 int __builtin_fprintf(void *stream, const char *fmt, ...);
36 int __builtin_fprintf_unlocked(void*, const char*, ...);
37 int __builtin_fputc(int, void*);
38 int __builtin_fputc_unlocked(int, void*);
39 int __builtin_fputs(const char *s, void *stream);
40 int __builtin_fputs_unlocked(const char*, void*);
41 int __builtin_fscanf(void *stream, const char *fmt, ...);
42 __CPROVER_size_t __builtin_fwrite(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
43 __CPROVER_size_t __builtin_fwrite_unlocked(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
44 int __builtin_printf(const char*, ...);
45 int __builtin_printf_unlocked(const char*, ...);
46 int __builtin_putc(int, void*);
47 int __builtin_putc_unlocked(int, void*);
50 int __builtin_puts(const char*);
51 int __builtin_puts_unlocked(const char*);
52 int __builtin_scanf(const char *str, const char *fmt, ...);
53 int __builtin_snprintf(char*, __CPROVER_size_t, const char*, ...);
54 int __builtin_sprintf(char*, const char*, ...);
55 int __builtin_sscanf(const char*, const char*, ...);
56 int __builtin_vfprintf(void*, const char*, __builtin_va_list);
57 int __builtin_vfscanf(void*, const char*, __builtin_va_list);
60 int __builtin_vsnprintf(char*, __CPROVER_size_t, const char*, __builtin_va_list);
61 int __builtin_vsprintf(char*, const char*, __builtin_va_list);
62 int __builtin_vsscanf(const char*, const char*, __builtin_va_list);
63 
64 // atomics
66 _Bool __atomic_test_and_set(void *, int);
67 void __atomic_clear(_Bool *, int);
70 _Bool __atomic_always_lock_free(__CPROVER_size_t, void *);
71 _Bool __atomic_is_lock_free(__CPROVER_size_t, void *);
72 
73 // other
74 int __builtin_choose_expr(_Bool, ...);
77 void __builtin_trap(void);
79 
85 
86 const char* __builtin_FILE();
87 const char* __builtin_FUNCTION();
89 
90 void __builtin_longjmp(void*, int);
91 void __builtin_return(void*);
93 int __builtin_setjmp(void*);
__builtin_fscanf
int __builtin_fscanf(void *stream, const char *fmt,...)
__builtin___printf_chk
int __builtin___printf_chk(int, const char *,...)
__builtin_va_arg_pack
int __builtin_va_arg_pack()
__builtin___vsnprintf_chk
int __builtin___vsnprintf_chk(char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap)
__builtin_vsscanf
int __builtin_vsscanf(const char *, const char *, __builtin_va_list)
__builtin___vsprintf_chk
int __builtin___vsprintf_chk(char *, int, __CPROVER_size_t, const char *, __builtin_va_list)
__builtin_execlp
int __builtin_execlp(const char *, const char *,...)
__builtin_fwrite
__CPROVER_size_t __builtin_fwrite(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
__builtin_vprintf
int __builtin_vprintf(const char *, __builtin_va_list)
__builtin_choose_expr
int __builtin_choose_expr(_Bool,...)
__builtin_execle
int __builtin_execle(const char *, const char *,...)
__builtin_fputs
int __builtin_fputs(const char *s, void *stream)
__atomic_signal_fence
void __atomic_signal_fence(int)
__builtin_fputc_unlocked
int __builtin_fputc_unlocked(int, void *)
__builtin_LINE
int __builtin_LINE()
__builtin_dwarf_cfa
void * __builtin_dwarf_cfa()
__builtin_puts
int __builtin_puts(const char *)
__builtin_eh_return_data_regno
int __builtin_eh_return_data_regno(int)
__builtin_fprintf_unlocked
int __builtin_fprintf_unlocked(void *, const char *,...)
__builtin_return
void __builtin_return(void *)
__builtin_unwind_init
void __builtin_unwind_init()
__builtin___vfprintf_chk
int __builtin___vfprintf_chk(void *, int, const char *, __builtin_va_list)
__builtin_execve
int __builtin_execve(const char *, const char **, const char **)
__builtin_dwarf_sp_column
unsigned __builtin_dwarf_sp_column()
__builtin_va_copy
void __builtin_va_copy(__builtin_va_list dest, __builtin_va_list src)
__builtin_next_arg
void * __builtin_next_arg()
__builtin_constant_p
int __builtin_constant_p(int)
__atomic_thread_fence
void __atomic_thread_fence(int)
__builtin_execvp
int __builtin_execvp(const char *, const char **)
__builtin_puts_unlocked
int __builtin_puts_unlocked(const char *)
__builtin___fprintf_chk
int __builtin___fprintf_chk(void *, int, const char *,...)
__sync_synchronize
void __sync_synchronize()
__builtin_expect
long __builtin_expect(long, long)
__builtin_saveregs
void * __builtin_saveregs()
__builtin__exit
void __builtin__exit(int)
__builtin_putc_unlocked
int __builtin_putc_unlocked(int, void *)
__builtin_init_dwarf_reg___CPROVER_size_table
void __builtin_init_dwarf_reg___CPROVER_size_table(void *)
__builtin_ms_va_end
void __builtin_ms_va_end(void *ap)
__builtin_putchar_unlocked
int __builtin_putchar_unlocked(int)
__builtin___vprintf_chk
int __builtin___vprintf_chk(int, const char *, __builtin_va_list)
__builtin_trap
void __builtin_trap(void)
__builtin_fwrite_unlocked
__CPROVER_size_t __builtin_fwrite_unlocked(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
__builtin___sprintf_chk
int __builtin___sprintf_chk(char *, int, __CPROVER_size_t, const char *,...)
__builtin_fputs_unlocked
int __builtin_fputs_unlocked(const char *, void *)
__atomic_always_lock_free
_Bool __atomic_always_lock_free(__CPROVER_size_t, void *)
__builtin_classify_type
int __builtin_classify_type()
__builtin_execl
int __builtin_execl(const char *, const char *,...)
__builtin_vfprintf
int __builtin_vfprintf(void *, const char *, __builtin_va_list)
__builtin_unreachable
void __builtin_unreachable(void)
__atomic_clear
void __atomic_clear(_Bool *, int)
__builtin_vsnprintf
int __builtin_vsnprintf(char *, __CPROVER_size_t, const char *, __builtin_va_list)
__builtin_fputc
int __builtin_fputc(int, void *)
__builtin_va_list
void ** __builtin_va_list
Definition: gcc_builtin_headers_types.h:1
__builtin_sprintf
int __builtin_sprintf(char *, const char *,...)
__builtin_update_setjmp_buf
void __builtin_update_setjmp_buf(void *)
__builtin_putchar
int __builtin_putchar(int)
__atomic_is_lock_free
_Bool __atomic_is_lock_free(__CPROVER_size_t, void *)
__builtin_longjmp
void __builtin_longjmp(void *, int)
__builtin_FILE
const char * __builtin_FILE()
__builtin_exit
void __builtin_exit(int)
__builtin_abort
void __builtin_abort()
__builtin___snprintf_chk
int __builtin___snprintf_chk(char *, __CPROVER_size_t, int, __CPROVER_size_t, const char *,...)
__builtin_setjmp
int __builtin_setjmp(void *)
__builtin_printf_unlocked
int __builtin_printf_unlocked(const char *,...)
__builtin_va_start
void __builtin_va_start(void *ap,...)
__builtin_vscanf
int __builtin_vscanf(const char *, __builtin_va_list)
__builtin_printf
int __builtin_printf(const char *,...)
__builtin_execv
int __builtin_execv(const char *, const char **)
__builtin_scanf
int __builtin_scanf(const char *str, const char *fmt,...)
__builtin_snprintf
int __builtin_snprintf(char *, __CPROVER_size_t, const char *,...)
__builtin_ms_va_start
void __builtin_ms_va_start(void *ap,...)
__builtin_fprintf
int __builtin_fprintf(void *stream, const char *fmt,...)
__builtin_vfscanf
int __builtin_vfscanf(void *, const char *, __builtin_va_list)
__atomic_test_and_set
_Bool __atomic_test_and_set(void *, int)
__builtin_apply_args
void * __builtin_apply_args()
__builtin_putc
int __builtin_putc(int, void *)
__builtin_FUNCTION
const char * __builtin_FUNCTION()
__builtin_va_arg_pack_len
int __builtin_va_arg_pack_len()
__builtin__Exit
void __builtin__Exit(int)
__builtin_va_end
void __builtin_va_end(void *ap)
__builtin_vsprintf
int __builtin_vsprintf(char *, const char *, __builtin_va_list)
__builtin_sscanf
int __builtin_sscanf(const char *, const char *,...)