CBMC
gcc_builtin_headers_mem_string.h
Go to the documentation of this file.
1 // clang-format off
2 void __builtin___bnd_chk_ptr_bounds(const void*, __CPROVER_size_t);
3 void __builtin___bnd_chk_ptr_lbounds(const void*);
4 void __builtin___bnd_chk_ptr_ubounds(const void*);
5 void* __builtin___bnd_copy_ptr_bounds(const void*, const void*);
6 const void* __builtin___bnd_get_ptr_lbound(const void*);
7 const void* __builtin___bnd_get_ptr_ubound(const void*);
8 void* __builtin___bnd_init_ptr_bounds(const void*);
9 void* __builtin___bnd_narrow_ptr_bounds(const void*, const void*, __CPROVER_size_t);
10 void* __builtin___bnd_null_ptr_bounds(const void*);
11 void* __builtin___bnd_set_ptr_bounds(const void*, __CPROVER_size_t);
12 void __builtin___bnd_store_ptr_bounds(void**, const void*);
13 const void* __builtin___chkp_bndldx(const void*, const void*);
14 void __builtin___clear_cache(void*, void*);
15 int __builtin___fprintf_chk(void*, int, const char*, ...);
16 void* __builtin___memcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
17 void* __builtin___memmove_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
18 void* __builtin___mempcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
19 void* __builtin___memset_chk(void*, int, __CPROVER_size_t, __CPROVER_size_t);
20 int __builtin___printf_chk(int, const char*, ...);
21 int __builtin___snprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, ...);
22 int __builtin___sprintf_chk(char*, int, __CPROVER_size_t, const char*, ...);
23 char* __builtin___stpcpy(char *s1, const char *s2);
24 char* __builtin___stpcpy_chk(char*, const char*, __CPROVER_size_t);
25 char* __builtin___stpncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
26 char* __builtin___strcat_chk(char*, const char*, __CPROVER_size_t);
27 char* __builtin___strcpy_chk(char*, const char*, __CPROVER_size_t);
28 char* __builtin___strncat_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
29 char* __builtin___strncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
30 int __builtin___vfprintf_chk(void*, int, const char*, __builtin_va_list);
31 int __builtin___vprintf_chk(int, const char*, __builtin_va_list);
32 int __builtin___vsnprintf_chk(char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap);
33 int __builtin___vsprintf_chk(char*, int, __CPROVER_size_t, const char*, __builtin_va_list);
34 void* __builtin_aggregate_incoming_address();
35 void* __builtin_aligned_alloc(__CPROVER_size_t, __CPROVER_size_t);
36 void* __builtin_alloca(__CPROVER_size_t);
37 void* __builtin_assume_aligned(const void*, __CPROVER_size_t, ...);
38 int __builtin_bcmp(const void*, const void*, __CPROVER_size_t);
39 void __builtin_bcopy(const void*, void*, __CPROVER_size_t);
40 short unsigned int __builtin_bswap16(short unsigned int);
41 unsigned int __builtin_bswap32(unsigned int);
42 long long unsigned int __builtin_bswap64(long long unsigned int);
43 void __builtin_bzero(void*, __CPROVER_size_t);
44 void* __builtin_calloc(__CPROVER_size_t, __CPROVER_size_t);
45 void* __builtin_chkp_memcpy_nobnd(void*, const void*, __CPROVER_size_t);
46 void* __builtin_chkp_memcpy_nobnd_nochk(void*, const void*, __CPROVER_size_t);
47 void* __builtin_chkp_memcpy_nochk(void*, const void*, __CPROVER_size_t);
48 void* __builtin_chkp_memmove_nobnd(void*, const void*, __CPROVER_size_t);
49 void* __builtin_chkp_memmove_nobnd_nochk(void*, const void*, __CPROVER_size_t);
50 void* __builtin_chkp_memmove_nochk(void*, const void*, __CPROVER_size_t);
51 void* __builtin_chkp_mempcpy_nobnd(void*, const void*, __CPROVER_size_t);
52 void* __builtin_chkp_mempcpy_nobnd_nochk(void*, const void*, __CPROVER_size_t);
53 void* __builtin_chkp_mempcpy_nochk(void*, const void*, __CPROVER_size_t);
54 void* __builtin_chkp_memset_nobnd(void*, int, __CPROVER_size_t);
55 void* __builtin_chkp_memset_nobnd_nochk(void*, int, __CPROVER_size_t);
56 void* __builtin_chkp_memset_nochk(void*, int, __CPROVER_size_t);
57 int __builtin_clrsb(int);
58 int __builtin_clrsbimax(intmax_t);
59 int __builtin_clrsbl(long);
60 int __builtin_clrsbll(long long);
61 int __builtin_clz(unsigned);
62 int __builtin_clzimax(uintmax_t);
63 int __builtin_clzl(unsigned long);
64 int __builtin_clzll(unsigned long long);
65 int __builtin_ctz(unsigned);
66 int __builtin_ctzimax(uintmax_t);
67 int __builtin_ctzl(unsigned long);
68 int __builtin_ctzll(unsigned long long);
69 char* __builtin_dcgettext(const char*, const char*, int);
70 char* __builtin_dgettext(const char*, const char*);
71 void* __builtin_extract_return_addr(void*);
72 int __builtin_ffs(int);
73 int __builtin_ffsl(long);
74 int __builtin_ffsll(long long);
75 int __builtin_fprintf(void *stream, const char *fmt, ...);
76 int __builtin_fprintf_unlocked(void*, const char*, ...);
77 int __builtin_fputc(int, void*);
78 int __builtin_fputc_unlocked(int, void*);
79 int __builtin_fputs(const char *s, void *stream);
80 int __builtin_fputs_unlocked(const char*, void*);
81 void* __builtin_frame_address(unsigned);
82 void __builtin_free(void*);
83 void* __builtin_frob_return_addr(void*);
84 int __builtin_fscanf(void *stream, const char *fmt, ...);
85 __CPROVER_size_t __builtin_fwrite(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
86 __CPROVER_size_t __builtin_fwrite_unlocked(const void*, __CPROVER_size_t, __CPROVER_size_t, void*);
87 char* __builtin_gettext(const char*);
88 char* __builtin_index(const char*, int);
89 int __builtin_isalnum(int);
90 int __builtin_isalpha(int);
91 int __builtin_isascii(int);
92 int __builtin_isblank(int);
93 int __builtin_iscntrl(int);
94 int __builtin_isdigit(int);
95 int __builtin_isgraph(int);
96 int __builtin_islower(int);
97 int __builtin_isprint(int);
98 int __builtin_ispunct(int);
99 int __builtin_isspace(int);
100 int __builtin_isupper(int);
101 int __builtin_iswalnum(wint_t);
102 int __builtin_iswalpha(wint_t);
103 int __builtin_iswblank(wint_t);
104 int __builtin_iswcntrl(wint_t);
105 int __builtin_iswdigit(wint_t);
106 int __builtin_iswgraph(wint_t);
107 int __builtin_iswlower(wint_t);
108 int __builtin_iswprint(wint_t);
109 int __builtin_iswpunct(wint_t);
110 int __builtin_iswspace(wint_t);
111 int __builtin_iswupper(wint_t);
112 int __builtin_iswxdigit(wint_t);
113 int __builtin_isxdigit(int);
114 void* __builtin_malloc(__CPROVER_size_t);
115 void* __builtin_memchr(const void*, int, __CPROVER_size_t);
116 int __builtin_memcmp(const void*, const void*, __CPROVER_size_t);
117 void* __builtin_memcpy(void*, const void*, __CPROVER_size_t);
118 void* __builtin_memmove(void*, const void*, __CPROVER_size_t);
119 void* __builtin_mempcpy(void*, const void*, __CPROVER_size_t);
120 void* __builtin_memset(void*, int, __CPROVER_size_t);
121 __CPROVER_size_t __builtin_object_size(const void*, int);
122 __CPROVER_size_t __builtin_dynamic_object_size(const void*, int);
123 int __builtin_popcount(unsigned);
124 int __builtin_popcountimax(uintmax_t);
125 int __builtin_popcountll(unsigned long long int x);
126 int __builtin_posix_memalign(void**, __CPROVER_size_t, __CPROVER_size_t);
127 void __builtin_prefetch(const void*, ...);
128 int __builtin_printf(const char*, ...);
129 int __builtin_printf_unlocked(const char*, ...);
130 int __builtin_putc(int, void*);
131 int __builtin_putc_unlocked(int, void*);
132 int __builtin_putchar(int);
133 int __builtin_putchar_unlocked(int);
134 int __builtin_puts(const char*);
135 int __builtin_puts_unlocked(const char*);
136 void* __builtin_realloc(void*, __CPROVER_size_t);
137 void* __builtin_return_address(unsigned);
138 char* __builtin_rindex(const char*, int);
139 int __builtin_scanf(const char *str, const char *fmt, ...);
140 int __builtin_scanf(const char*, ...);
141 int __builtin_snprintf(char*, __CPROVER_size_t, const char*, ...);
142 int __builtin_sprintf(char*, const char*, ...);
143 int __builtin_sscanf(const char*, const char*, ...);
144 char* __builtin_stpcpy(char*, const char*);
145 char* __builtin_stpncpy(char*, const char*, __CPROVER_size_t);
146 int __builtin_strcasecmp(const char*, const char*);
147 char* __builtin_strcat(char*, const char*);
148 char* __builtin_strchr(const char*, int);
149 int __builtin_strcmp(const char*, const char*);
150 char* __builtin_strcpy(char*, const char*);
151 __CPROVER_size_t __builtin_strcspn(const char*, const char*);
152 char* __builtin_strdup(const char*);
153 ssize_t __builtin_strfmon(char*, __CPROVER_size_t, const char*, ...);
154 __CPROVER_size_t __builtin_strftime(char*, __CPROVER_size_t, const char*, const struct tm*);
155 __CPROVER_size_t __builtin_strlen(const char*);
156 int __builtin_strncasecmp(const char*, const char*, __CPROVER_size_t);
157 char* __builtin_strncat(char*, const char*, __CPROVER_size_t);
158 int __builtin_strncmp(const char*, const char*, __CPROVER_size_t);
159 char* __builtin_strncpy(char*, const char*, __CPROVER_size_t);
160 char* __builtin_strndup(const char*, __CPROVER_size_t);
161 __CPROVER_size_t __builtin_strnlen(const char*, __CPROVER_size_t);
162 char* __builtin_strpbrk(const char*, const char*);
163 char* __builtin_strrchr(const char*, int);
164 __CPROVER_size_t __builtin_strspn(const char*, const char*);
165 char* __builtin_strstr(const char*, const char*);
166 int __builtin_toascii(int);
167 int __builtin_tolower(int);
168 int __builtin_toupper(int);
169 wint_t __builtin_towlower(wint_t);
170 wint_t __builtin_towupper(wint_t);
171 int __builtin_vfprintf(void*, const char*, __builtin_va_list);
172 int __builtin_vfscanf(void*, const char*, __builtin_va_list);
173 int __builtin_vprintf(const char*, __builtin_va_list);
174 int __builtin_vscanf(const char*, __builtin_va_list);
175 int __builtin_vsnprintf(char*, __CPROVER_size_t, const char*, __builtin_va_list);
176 int __builtin_vsprintf(char*, const char*, __builtin_va_list);
177 int __builtin_vsscanf(const char*, const char*, __builtin_va_list);
178 // clang-format on
s2
int16_t s2
Definition: bytecode_info.h:60
s1
int8_t s1
Definition: bytecode_info.h:59
__builtin_bswap16
short unsigned int __builtin_bswap16(short unsigned int)
__builtin___snprintf_chk
int __builtin___snprintf_chk(char *, __CPROVER_size_t, int, __CPROVER_size_t, const char *,...)
__builtin_toascii
int __builtin_toascii(int)
__builtin_chkp_memmove_nobnd_nochk
void * __builtin_chkp_memmove_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin___strcpy_chk
char * __builtin___strcpy_chk(char *, const char *, __CPROVER_size_t)
Definition: string.c:3
__builtin_fputc_unlocked
int __builtin_fputc_unlocked(int, void *)
__builtin_popcount
int __builtin_popcount(unsigned)
__builtin_putchar
int __builtin_putchar(int)
__builtin_vsnprintf
int __builtin_vsnprintf(char *, __CPROVER_size_t, const char *, __builtin_va_list)
__builtin_fputc
int __builtin_fputc(int, void *)
__builtin_strnlen
__CPROVER_size_t __builtin_strnlen(const char *, __CPROVER_size_t)
__builtin_memmove
void * __builtin_memmove(void *, const void *, __CPROVER_size_t)
__builtin___bnd_set_ptr_bounds
void * __builtin___bnd_set_ptr_bounds(const void *, __CPROVER_size_t)
__builtin_strstr
char * __builtin_strstr(const char *, const char *)
__builtin_ffsll
int __builtin_ffsll(long long)
__builtin_isgraph
int __builtin_isgraph(int)
__builtin_iswprint
int __builtin_iswprint(wint_t)
__builtin_chkp_memcpy_nochk
void * __builtin_chkp_memcpy_nochk(void *, const void *, __CPROVER_size_t)
__builtin_aggregate_incoming_address
void * __builtin_aggregate_incoming_address()
__builtin_chkp_memset_nobnd
void * __builtin_chkp_memset_nobnd(void *, int, __CPROVER_size_t)
__builtin_strchr
char * __builtin_strchr(const char *, int)
__builtin_puts
int __builtin_puts(const char *)
__builtin_iswdigit
int __builtin_iswdigit(wint_t)
__builtin___strcat_chk
char * __builtin___strcat_chk(char *, const char *, __CPROVER_size_t)
Definition: string.c:37
__builtin___vsprintf_chk
int __builtin___vsprintf_chk(char *, int, __CPROVER_size_t, const char *, __builtin_va_list)
__builtin_vprintf
int __builtin_vprintf(const char *, __builtin_va_list)
__builtin_fputs
int __builtin_fputs(const char *s, void *stream)
__builtin_tolower
int __builtin_tolower(int)
__builtin_dcgettext
char * __builtin_dcgettext(const char *, const char *, int)
__builtin___memmove_chk
void * __builtin___memmove_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
__builtin___strncat_chk
char * __builtin___strncat_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
Definition: string.c:81
__builtin___vprintf_chk
int __builtin___vprintf_chk(int, const char *, __builtin_va_list)
__builtin_strncat
char * __builtin_strncat(char *, const char *, __CPROVER_size_t)
__builtin_extract_return_addr
void * __builtin_extract_return_addr(void *)
__builtin_memchr
void * __builtin_memchr(const void *, int, __CPROVER_size_t)
__builtin___bnd_chk_ptr_lbounds
void __builtin___bnd_chk_ptr_lbounds(const void *)
__builtin___strncpy_chk
char * __builtin___strncpy_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_strcmp
int __builtin_strcmp(const char *, const char *)
__builtin_bswap32
unsigned int __builtin_bswap32(unsigned int)
__builtin_fputs_unlocked
int __builtin_fputs_unlocked(const char *, void *)
__builtin_putc_unlocked
int __builtin_putc_unlocked(int, void *)
__builtin_ctzl
int __builtin_ctzl(unsigned long)
__builtin_iswblank
int __builtin_iswblank(wint_t)
__builtin_iscntrl
int __builtin_iscntrl(int)
__builtin_iswxdigit
int __builtin_iswxdigit(wint_t)
__builtin_realloc
void * __builtin_realloc(void *, __CPROVER_size_t)
__builtin_iswlower
int __builtin_iswlower(wint_t)
__builtin___bnd_chk_ptr_ubounds
void __builtin___bnd_chk_ptr_ubounds(const void *)
__builtin_snprintf
int __builtin_snprintf(char *, __CPROVER_size_t, const char *,...)
__builtin_isspace
int __builtin_isspace(int)
__builtin_return_address
void * __builtin_return_address(unsigned)
__builtin_memset
void * __builtin_memset(void *, int, __CPROVER_size_t)
Definition: string.c:750
__builtin_ffs
int __builtin_ffs(int)
__builtin_chkp_mempcpy_nochk
void * __builtin_chkp_mempcpy_nochk(void *, const void *, __CPROVER_size_t)
__builtin___stpncpy_chk
char * __builtin___stpncpy_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
__builtin___bnd_init_ptr_bounds
void * __builtin___bnd_init_ptr_bounds(const void *)
__builtin_bcmp
int __builtin_bcmp(const void *, const void *, __CPROVER_size_t)
__builtin_clzl
int __builtin_clzl(unsigned long)
__builtin_iswgraph
int __builtin_iswgraph(wint_t)
__builtin_dgettext
char * __builtin_dgettext(const char *, const char *)
__builtin_dynamic_object_size
__CPROVER_size_t __builtin_dynamic_object_size(const void *, int)
__builtin___sprintf_chk
int __builtin___sprintf_chk(char *, int, __CPROVER_size_t, const char *,...)
__builtin_sprintf
int __builtin_sprintf(char *, const char *,...)
__builtin_isalpha
int __builtin_isalpha(int)
__builtin_iswalpha
int __builtin_iswalpha(wint_t)
__builtin_strfmon
ssize_t __builtin_strfmon(char *, __CPROVER_size_t, const char *,...)
__builtin_alloca
void * __builtin_alloca(__CPROVER_size_t)
Definition: stdlib.c:270
__builtin___bnd_store_ptr_bounds
void __builtin___bnd_store_ptr_bounds(void **, const void *)
__builtin_ispunct
int __builtin_ispunct(int)
__builtin_sscanf
int __builtin_sscanf(const char *, const char *,...)
__builtin_frame_address
void * __builtin_frame_address(unsigned)
__builtin_strlen
__CPROVER_size_t __builtin_strlen(const char *)
__builtin_clzimax
int __builtin_clzimax(uintmax_t)
__builtin_vfprintf
int __builtin_vfprintf(void *, const char *, __builtin_va_list)
__builtin_bswap64
long long unsigned int __builtin_bswap64(long long unsigned int)
__builtin_vscanf
int __builtin_vscanf(const char *, __builtin_va_list)
__builtin___stpcpy
char * __builtin___stpcpy(char *s1, const char *s2)
__builtin_putchar_unlocked
int __builtin_putchar_unlocked(int)
__builtin_aligned_alloc
void * __builtin_aligned_alloc(__CPROVER_size_t, __CPROVER_size_t)
__builtin_fwrite_unlocked
__CPROVER_size_t __builtin_fwrite_unlocked(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
__builtin_chkp_memmove_nochk
void * __builtin_chkp_memmove_nochk(void *, const void *, __CPROVER_size_t)
__builtin___bnd_chk_ptr_bounds
void __builtin___bnd_chk_ptr_bounds(const void *, __CPROVER_size_t)
__builtin_malloc
void * __builtin_malloc(__CPROVER_size_t)
__builtin_strcat
char * __builtin_strcat(char *, const char *)
__builtin_isdigit
int __builtin_isdigit(int)
__builtin___memset_chk
void * __builtin___memset_chk(void *, int, __CPROVER_size_t, __CPROVER_size_t)
Definition: string.c:789
__builtin_mempcpy
void * __builtin_mempcpy(void *, const void *, __CPROVER_size_t)
__builtin_chkp_memmove_nobnd
void * __builtin_chkp_memmove_nobnd(void *, const void *, __CPROVER_size_t)
__builtin_scanf
int __builtin_scanf(const char *str, const char *fmt,...)
__builtin_popcountll
int __builtin_popcountll(unsigned long long int x)
__builtin_strspn
__CPROVER_size_t __builtin_strspn(const char *, const char *)
__builtin_object_size
__CPROVER_size_t __builtin_object_size(const void *, int)
__builtin_strncmp
int __builtin_strncmp(const char *, const char *, __CPROVER_size_t)
__builtin_index
char * __builtin_index(const char *, int)
__builtin___bnd_null_ptr_bounds
void * __builtin___bnd_null_ptr_bounds(const void *)
__builtin___mempcpy_chk
void * __builtin___mempcpy_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_puts_unlocked
int __builtin_puts_unlocked(const char *)
__builtin_clzll
int __builtin_clzll(unsigned long long)
__builtin_chkp_mempcpy_nobnd_nochk
void * __builtin_chkp_mempcpy_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin_strncasecmp
int __builtin_strncasecmp(const char *, const char *, __CPROVER_size_t)
__builtin_frob_return_addr
void * __builtin_frob_return_addr(void *)
__builtin_towupper
wint_t __builtin_towupper(wint_t)
__builtin_calloc
void * __builtin_calloc(__CPROVER_size_t, __CPROVER_size_t)
__builtin_vsscanf
int __builtin_vsscanf(const char *, const char *, __builtin_va_list)
__builtin_towlower
wint_t __builtin_towlower(wint_t)
__builtin_printf
int __builtin_printf(const char *,...)
__builtin_popcountimax
int __builtin_popcountimax(uintmax_t)
__builtin___vfprintf_chk
int __builtin___vfprintf_chk(void *, int, const char *, __builtin_va_list)
__builtin___memcpy_chk
void * __builtin___memcpy_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
Definition: string.c:659
__builtin_ctzimax
int __builtin_ctzimax(uintmax_t)
__builtin_clrsbll
int __builtin_clrsbll(long long)
__builtin_printf_unlocked
int __builtin_printf_unlocked(const char *,...)
__builtin_iswpunct
int __builtin_iswpunct(wint_t)
__builtin___stpcpy_chk
char * __builtin___stpcpy_chk(char *, const char *, __CPROVER_size_t)
__builtin___bnd_get_ptr_ubound
const void * __builtin___bnd_get_ptr_ubound(const void *)
__builtin___bnd_get_ptr_lbound
const void * __builtin___bnd_get_ptr_lbound(const void *)
__builtin_isascii
int __builtin_isascii(int)
__builtin_iswupper
int __builtin_iswupper(wint_t)
__builtin_strndup
char * __builtin_strndup(const char *, __CPROVER_size_t)
__builtin_clrsb
int __builtin_clrsb(int)
__builtin_gettext
char * __builtin_gettext(const char *)
__builtin_chkp_memset_nochk
void * __builtin_chkp_memset_nochk(void *, int, __CPROVER_size_t)
__builtin_bzero
void __builtin_bzero(void *, __CPROVER_size_t)
__builtin_stpncpy
char * __builtin_stpncpy(char *, const char *, __CPROVER_size_t)
__builtin_clrsbl
int __builtin_clrsbl(long)
__builtin_isblank
int __builtin_isblank(int)
__builtin_toupper
int __builtin_toupper(int)
__builtin_iswspace
int __builtin_iswspace(wint_t)
__builtin_strftime
__CPROVER_size_t __builtin_strftime(char *, __CPROVER_size_t, const char *, const struct tm *)
__builtin_memcmp
int __builtin_memcmp(const void *, const void *, __CPROVER_size_t)
__builtin_vsprintf
int __builtin_vsprintf(char *, const char *, __builtin_va_list)
__builtin_ffsl
int __builtin_ffsl(long)
__builtin___chkp_bndldx
const void * __builtin___chkp_bndldx(const void *, const void *)
__builtin_free
void __builtin_free(void *)
__builtin_putc
int __builtin_putc(int, void *)
__builtin_clrsbimax
int __builtin_clrsbimax(intmax_t)
__builtin___bnd_copy_ptr_bounds
void * __builtin___bnd_copy_ptr_bounds(const void *, const void *)
__builtin_fwrite
__CPROVER_size_t __builtin_fwrite(const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
__builtin_chkp_memcpy_nobnd_nochk
void * __builtin_chkp_memcpy_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin_isprint
int __builtin_isprint(int)
__builtin_rindex
char * __builtin_rindex(const char *, int)
__builtin_chkp_memcpy_nobnd
void * __builtin_chkp_memcpy_nobnd(void *, const void *, __CPROVER_size_t)
__builtin_isxdigit
int __builtin_isxdigit(int)
__builtin_fprintf
int __builtin_fprintf(void *stream, const char *fmt,...)
__builtin_strpbrk
char * __builtin_strpbrk(const char *, const char *)
__builtin___printf_chk
int __builtin___printf_chk(int, const char *,...)
__builtin_strdup
char * __builtin_strdup(const char *)
__builtin_memcpy
void * __builtin_memcpy(void *, const void *, __CPROVER_size_t)
__builtin_strcspn
__CPROVER_size_t __builtin_strcspn(const char *, const char *)
__builtin_iswcntrl
int __builtin_iswcntrl(wint_t)
__builtin_posix_memalign
int __builtin_posix_memalign(void **, __CPROVER_size_t, __CPROVER_size_t)
__builtin_strncpy
char * __builtin_strncpy(char *, const char *, __CPROVER_size_t)
__builtin_stpcpy
char * __builtin_stpcpy(char *, const char *)
__builtin_bcopy
void __builtin_bcopy(const void *, void *, __CPROVER_size_t)
__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_ctz
int __builtin_ctz(unsigned)
__builtin_strcpy
char * __builtin_strcpy(char *, const char *)
__builtin_assume_aligned
void * __builtin_assume_aligned(const void *, __CPROVER_size_t,...)
__builtin_iswalnum
int __builtin_iswalnum(wint_t)
__builtin_chkp_memset_nobnd_nochk
void * __builtin_chkp_memset_nobnd_nochk(void *, int, __CPROVER_size_t)
__builtin_chkp_mempcpy_nobnd
void * __builtin_chkp_mempcpy_nobnd(void *, const void *, __CPROVER_size_t)
__builtin_strcasecmp
int __builtin_strcasecmp(const char *, const char *)
__builtin_vfscanf
int __builtin_vfscanf(void *, const char *, __builtin_va_list)
__builtin_isupper
int __builtin_isupper(int)
__builtin___bnd_narrow_ptr_bounds
void * __builtin___bnd_narrow_ptr_bounds(const void *, const void *, __CPROVER_size_t)
__builtin_clz
int __builtin_clz(unsigned)
__builtin___clear_cache
void __builtin___clear_cache(void *, void *)
__builtin_fprintf_unlocked
int __builtin_fprintf_unlocked(void *, const char *,...)
__builtin_strrchr
char * __builtin_strrchr(const char *, int)
__builtin_isalnum
int __builtin_isalnum(int)
__builtin_prefetch
void __builtin_prefetch(const void *,...)
__builtin___fprintf_chk
int __builtin___fprintf_chk(void *, int, const char *,...)
__builtin_fscanf
int __builtin_fscanf(void *stream, const char *fmt,...)
__builtin_ctzll
int __builtin_ctzll(unsigned long long)
__builtin_islower
int __builtin_islower(int)
__builtin_va_list
void ** __builtin_va_list
Definition: gcc_builtin_headers_types.h:2