cprover
gcc_builtin_headers_generic.h
Go to the documentation of this file.
1 typedef void ** __builtin_va_list;
2 typedef void ** __builtin_ms_va_list;
3 
4 // stdarg
6 void __builtin_ms_va_end(void *ap);
7 void __builtin_ms_va_start(void *ap, ...);
8 void* __builtin_next_arg();
12 void __builtin_va_end(void *ap);
13 void __builtin_va_start(void *ap, ...);
14 
15 // stdlib
16 void __builtin__Exit(int);
17 void __builtin__exit(int);
18 void __builtin_abort();
19 int __builtin_execl(const char*, const char*, ...);
20 int __builtin_execle(const char*, const char*, ...);
21 int __builtin_execlp(const char*, const char*, ...);
22 int __builtin_execv(const char*, const char**);
23 int __builtin_execve(const char*, const char**, const char**);
24 int __builtin_execvp(const char*, const char**);
25 void __builtin_exit(int);
26 
27 // stdio
28 int __builtin___fprintf_chk(void*, int, const char*, ...);
29 int __builtin___printf_chk(int, const char*, ...);
30 int __builtin___snprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, ...);
31 int __builtin___sprintf_chk(char*, int, __CPROVER_size_t, const char*, ...);
32 int __builtin___vfprintf_chk(void*, int, const char*, __builtin_va_list);
33 int __builtin___vprintf_chk(int, const char*, __builtin_va_list);
34 int __builtin___vsnprintf_chk (char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap);
35 int __builtin___vsnprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, __builtin_va_list);
36 int __builtin___vsprintf_chk(char*, int, __CPROVER_size_t, const char*, __builtin_va_list);
37 long __builtin_expect(long, long);
38 int __builtin_fprintf(void *stream, const char *fmt, ...);
39 int __builtin_fprintf_unlocked(void*, const char*, ...);
40 int __builtin_fputc(int, void*);
41 int __builtin_fputc_unlocked(int, void*);
42 int __builtin_fputs(const char *s, void *stream);
43 int __builtin_fputs_unlocked(const char*, void*);
44 int __builtin_fscanf(void *stream, const char *fmt, ...);
45 __CPROVER_size_t __builtin_fwrite(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
46 __CPROVER_size_t __builtin_fwrite_unlocked(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
47 int __builtin_printf(const char*, ...);
48 int __builtin_printf_unlocked(const char*, ...);
49 int __builtin_putc(int, void*);
50 int __builtin_putc_unlocked(int, void*);
51 int __builtin_putchar(int);
53 int __builtin_puts(const char*);
54 int __builtin_puts_unlocked(const char*);
55 int __builtin_scanf(const char *str, const char *fmt, ...);
56 int __builtin_snprintf(char*, __CPROVER_size_t, const char*, ...);
57 int __builtin_sprintf(char*, const char*, ...);
58 int __builtin_sscanf(const char*, const char*, ...);
59 int __builtin_vfprintf(void*, const char*, __builtin_va_list);
60 int __builtin_vfscanf(void*, const char*, __builtin_va_list);
61 int __builtin_vprintf(const char*, __builtin_va_list);
62 int __builtin_vscanf(const char*, __builtin_va_list);
63 int __builtin_vsnprintf(char*, __CPROVER_size_t, const char*, __builtin_va_list);
64 int __builtin_vsprintf(char*, const char*, __builtin_va_list);
65 int __builtin_vsscanf(const char*, const char*, __builtin_va_list);
66 
67 // atomics
82 void __sync_synchronize();
84 void __sync_lock_release();
85 
86 // other
87 int __builtin_choose_expr(_Bool, ...);
89 int __builtin_constant_p(int);
90 void __builtin_trap(void);
91 void __builtin_unreachable(void);
92 
93 void* __builtin_dwarf_cfa();
94 unsigned __builtin_dwarf_sp_column();
98 
99 const char* __builtin_FILE();
100 const char* __builtin_FUNCTION();
101 int __builtin_LINE();
102 
103 void __builtin_longjmp(void*, int);
104 void __builtin_return(void*);
105 void* __builtin_saveregs();
106 int __builtin_setjmp(void*);
107 void __builtin_update_setjmp_buf(void*);
108 
109 
110 typedef int __gcc_m64 __attribute__ ((__vector_size__ (8), __may_alias__));
111 
112 typedef char __gcc_v8qi __attribute__ ((__vector_size__ (8)));
113 typedef char __gcc_v16qi __attribute__ ((__vector_size__ (16)));
114 typedef char __gcc_v32qi __attribute__ ((__vector_size__ (32)));
115 typedef char __gcc_v64qi __attribute__ ((__vector_size__ (64)));
116 typedef int __gcc_v2si __attribute__ ((__vector_size__ (8)));
117 typedef int __gcc_v4si __attribute__ ((__vector_size__ (16)));
118 typedef int __gcc_v8si __attribute__ ((__vector_size__ (32)));
119 typedef int __gcc_v16si __attribute__ ((__vector_size__ (64)));
120 typedef short __gcc_v4hi __attribute__ ((__vector_size__ (8)));
121 typedef short __gcc_v8hi __attribute__ ((__vector_size__ (16)));
122 typedef short __gcc_v16hi __attribute__ ((__vector_size__ (32)));
123 typedef short __gcc_v32hi __attribute__ ((__vector_size__ (64)));
124 typedef float __gcc_v2sf __attribute__ ((__vector_size__ (8)));
125 typedef float __gcc_v4sf __attribute__ ((__vector_size__ (16)));
126 typedef float __gcc_v8sf __attribute__ ((__vector_size__ (32)));
127 typedef float __gcc_v16sf __attribute__ ((__vector_size__ (64)));
128 typedef double __gcc_v2df __attribute__ ((__vector_size__ (16)));
129 typedef double __gcc_v4df __attribute__ ((__vector_size__ (32)));
130 typedef double __gcc_v8df __attribute__ ((__vector_size__ (64)));
131 typedef long long __gcc_v1di __attribute__ ((__vector_size__ (8)));
132 typedef long long __gcc_v2di __attribute__ ((__vector_size__ (16)));
133 typedef long long __gcc_v4di __attribute__ ((__vector_size__ (32)));
134 typedef long long __gcc_v8di __attribute__ ((__vector_size__ (64)));
135 typedef unsigned long long __gcc_di;
136 
139 };
__CPROVER_size_t __builtin_fwrite_unlocked(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
int __builtin_putc_unlocked(int, void *)
void __builtin__exit(int)
int __sync_fetch_and_add()
int __builtin_fputs_unlocked(const char *, void *)
int __builtin_vsnprintf(char *, __CPROVER_size_t, const char *, __builtin_va_list)
int __builtin_execl(const char *, const char *,...)
int __sync_nand_and_fetch()
int __sync_fetch_and_and()
void __builtin_longjmp(void *, int)
const char * __builtin_FILE()
int __builtin_classify_type()
int __builtin_putchar_unlocked(int)
int __builtin_sprintf(char *, const char *,...)
int __builtin___vprintf_chk(int, const char *, __builtin_va_list)
int __builtin___sprintf_chk(char *, int, __CPROVER_size_t, const char *,...)
unsigned long long __gcc_di
int __sync_fetch_and_xor()
int __builtin_vscanf(const char *, __builtin_va_list)
int __gcc_m64 __attribute__((__vector_size__(8), __may_alias__))
int __builtin_snprintf(char *, __CPROVER_size_t, const char *,...)
int __sync_xor_and_fetch()
int __builtin_vfprintf(void *, const char *, __builtin_va_list)
void __builtin_abort()
int __builtin_setjmp(void *)
void __builtin_va_start(void *ap,...)
int __builtin_putchar(int)
int __builtin_scanf(const char *str, const char *fmt,...)
int __builtin_fprintf(void *stream, const char *fmt,...)
void __builtin_exit(int)
void __builtin_ms_va_start(void *ap,...)
int __sync_fetch_and_nand()
_Bool __sync_bool_compare_and_swap()
int __builtin___snprintf_chk(char *, __CPROVER_size_t, int, __CPROVER_size_t, const char *,...)
void __builtin_update_setjmp_buf(void *)
int __sync_fetch_and_or()
int __builtin_fputc(int, void *)
int __builtin___printf_chk(int, const char *,...)
const char * __builtin_FUNCTION()
int __builtin_printf_unlocked(const char *,...)
int __builtin_va_arg_pack_len()
int __builtin_vsscanf(const char *, const char *, __builtin_va_list)
int __builtin_printf(const char *,...)
int __builtin_execv(const char *, const char **)
int __builtin_vsprintf(char *, const char *, __builtin_va_list)
void ** __builtin_va_list
__CPROVER_size_t __builtin_fwrite(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
int __builtin_choose_expr(_Bool,...)
void * __builtin_apply_args()
void __builtin__Exit(int)
int __builtin_putc(int, void *)
int __builtin___vsprintf_chk(char *, int, __CPROVER_size_t, const char *, __builtin_va_list)
int __sync_sub_and_fetch()
void * __builtin_dwarf_cfa()
int __builtin_sscanf(const char *, const char *,...)
int __builtin_vfscanf(void *, const char *, __builtin_va_list)
int __sync_add_and_fetch()
unsigned __builtin_dwarf_sp_column()
int __builtin_va_arg_pack()
void __builtin_va_copy(__builtin_va_list dest, __builtin_va_list src)
void __builtin_va_end(void *ap)
int __builtin_puts(const char *)
int __sync_or_and_fetch()
int __builtin_execlp(const char *, const char *,...)
int __builtin_vprintf(const char *, __builtin_va_list)
int __sync_val_compare_and_swap()
int __sync_lock_test_and_set()
int __builtin_execle(const char *, const char *,...)
void __builtin_unwind_init()
int __builtin_constant_p(int)
void __sync_lock_release()
int __builtin_fscanf(void *stream, const char *fmt,...)
int __builtin___vsnprintf_chk(char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap)
int __builtin_LINE()
int __builtin_fputc_unlocked(int, void *)
int __builtin_eh_return_data_regno(int)
int __sync_and_and_fetch()
int __builtin_fprintf_unlocked(void *, const char *,...)
int __builtin_fputs(const char *s, void *stream)
void * __builtin_next_arg()
void __builtin_return(void *)
void __builtin_init_dwarf_reg___CPROVER_size_table(void *)
int __builtin_execve(const char *, const char **, const char **)
int __builtin___vfprintf_chk(void *, int, const char *, __builtin_va_list)
int __builtin_execvp(const char *, const char **)
void __builtin_ms_va_end(void *ap)
int __builtin_puts_unlocked(const char *)
int __builtin___fprintf_chk(void *, int, const char *,...)
long __builtin_expect(long, long)
void __builtin_trap(void)
int __sync_fetch_and_sub()
void ** __builtin_ms_va_list
void __sync_synchronize()
void * __builtin_saveregs()
void __builtin_unreachable(void)