cprover
gcc_builtin_headers_generic.h
Go to the documentation of this file.
1
// stdarg
2
void
*
__builtin_apply_args
();
3
void
__builtin_ms_va_end
(
void
*ap);
4
void
__builtin_ms_va_start
(
void
*ap, ...);
5
void
*
__builtin_next_arg
();
6
int
__builtin_va_arg_pack
();
7
int
__builtin_va_arg_pack_len
();
8
void
__builtin_va_copy
(
__builtin_va_list
dest,
__builtin_va_list
src);
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
);
15
void
__builtin_abort
();
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
);
30
int
__builtin___vprintf_chk
(
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
*);
48
int
__builtin_putchar
(
int
);
49
int
__builtin_putchar_unlocked
(
int
);
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
);
58
int
__builtin_vprintf
(
const
char
*,
__builtin_va_list
);
59
int
__builtin_vscanf
(
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
65
int
__sync_fetch_and_add
();
66
int
__sync_fetch_and_sub
();
67
int
__sync_fetch_and_or
();
68
int
__sync_fetch_and_and
();
69
int
__sync_fetch_and_xor
();
70
int
__sync_fetch_and_nand
();
71
int
__sync_add_and_fetch
();
72
int
__sync_sub_and_fetch
();
73
int
__sync_or_and_fetch
();
74
int
__sync_and_and_fetch
();
75
int
__sync_xor_and_fetch
();
76
int
__sync_nand_and_fetch
();
77
_Bool
__sync_bool_compare_and_swap
();
78
int
__sync_val_compare_and_swap
();
79
void
__sync_synchronize
();
80
int
__sync_lock_test_and_set
();
81
void
__sync_lock_release
();
82
83
// other
84
int
__builtin_choose_expr
(_Bool, ...);
85
int
__builtin_classify_type
();
86
int
__builtin_constant_p
(
int
);
87
void
__builtin_trap
(
void
);
88
void
__builtin_unreachable
(
void
);
89
90
void
*
__builtin_dwarf_cfa
();
91
unsigned
__builtin_dwarf_sp_column
();
92
int
__builtin_eh_return_data_regno
(
int
);
93
void
__builtin_init_dwarf_reg___CPROVER_size_table
(
void
*);
94
void
__builtin_unwind_init
();
95
96
const
char
*
__builtin_FILE
();
97
const
char
*
__builtin_FUNCTION
();
98
int
__builtin_LINE
();
99
100
void
__builtin_longjmp
(
void
*,
int
);
101
void
__builtin_return
(
void
*);
102
void
*
__builtin_saveregs
();
103
int
__builtin_setjmp
(
void
*);
104
void
__builtin_update_setjmp_buf
(
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)
__sync_sub_and_fetch
int __sync_sub_and_fetch()
__builtin_execlp
int __builtin_execlp(const char *, const char *,...)
__sync_val_compare_and_swap
int __sync_val_compare_and_swap()
__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,...)
__sync_lock_release
void __sync_lock_release()
__builtin_execle
int __builtin_execle(const char *, const char *,...)
__builtin_fputs
int __builtin_fputs(const char *s, void *stream)
__builtin_fputc_unlocked
int __builtin_fputc_unlocked(int, void *)
__builtin_LINE
int __builtin_LINE()
__builtin_dwarf_cfa
void * __builtin_dwarf_cfa()
__sync_or_and_fetch
int __sync_or_and_fetch()
__builtin_puts
int __builtin_puts(const char *)
__sync_add_and_fetch
int __sync_add_and_fetch()
__builtin_eh_return_data_regno
int __builtin_eh_return_data_regno(int)
__builtin_fprintf_unlocked
int __builtin_fprintf_unlocked(void *, const char *,...)
__sync_and_and_fetch
int __sync_and_and_fetch()
__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)
__sync_lock_test_and_set
int __sync_lock_test_and_set()
__sync_fetch_and_sub
int __sync_fetch_and_sub()
__builtin_next_arg
void * __builtin_next_arg()
__builtin_constant_p
int __builtin_constant_p(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 *)
__sync_fetch_and_add
int __sync_fetch_and_add()
__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 *,...)
__sync_nand_and_fetch
int __sync_nand_and_fetch()
__builtin_fputs_unlocked
int __builtin_fputs_unlocked(const char *, void *)
__sync_xor_and_fetch
int __sync_xor_and_fetch()
__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)
__sync_fetch_and_xor
int __sync_fetch_and_xor()
__builtin_vsnprintf
int __builtin_vsnprintf(char *, __CPROVER_size_t, const char *, __builtin_va_list)
__sync_bool_compare_and_swap
_Bool __sync_bool_compare_and_swap()
__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)
__sync_fetch_and_and
int __sync_fetch_and_and()
__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 *,...)
__sync_fetch_and_or
int __sync_fetch_and_or()
__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)
__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)
__sync_fetch_and_nand
int __sync_fetch_and_nand()
__builtin_sscanf
int __builtin_sscanf(const char *, const char *,...)
ansi-c
gcc_builtin_headers_generic.h
Generated by
1.8.17