cprover
gcc_builtin_headers_mem_string.h
Go to the documentation of this file.
1 void __builtin___bnd_chk_ptr_bounds(const void*, __CPROVER_size_t);
4 void* __builtin___bnd_copy_ptr_bounds(const void*, const void*);
5 const void* __builtin___bnd_get_ptr_lbound(const void*);
6 const void* __builtin___bnd_get_ptr_ubound(const void*);
7 void* __builtin___bnd_init_ptr_bounds(const void*);
8 void* __builtin___bnd_narrow_ptr_bounds(const void*, const void*, __CPROVER_size_t);
9 void* __builtin___bnd_null_ptr_bounds(const void*);
10 void* __builtin___bnd_set_ptr_bounds(const void*, __CPROVER_size_t);
11 void __builtin___bnd_store_ptr_bounds(void**, const void*);
12 const void* __builtin___chkp_bndldx(const void*, const void*);
13 void __builtin___clear_cache(void*, void*);
14 void* __builtin___memcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
15 void* __builtin___memmove_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
16 void* __builtin___mempcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t);
17 void* __builtin___memset_chk(void*, int, __CPROVER_size_t, __CPROVER_size_t);
18 char* __builtin___stpcpy(char *s1, const char *s2);
19 char* __builtin___stpcpy_chk(char*, const char*, __CPROVER_size_t);
20 char* __builtin___stpncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
21 char* __builtin___strcat_chk(char*, const char*, __CPROVER_size_t);
22 char* __builtin___strcpy_chk(char*, const char*, __CPROVER_size_t);
23 char* __builtin___strncat_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
24 char* __builtin___strncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t);
26 void* __builtin_aligned_alloc(__CPROVER_size_t, __CPROVER_size_t);
27 void* __builtin_alloca(__CPROVER_size_t);
28 void* __builtin_assume_aligned(const void*, __CPROVER_size_t, ...);
29 int __builtin_bcmp(const void*, const void*, __CPROVER_size_t);
30 void __builtin_bcopy(const void*, void*, __CPROVER_size_t);
31 short unsigned int __builtin_bswap16(short unsigned int);
32 unsigned int __builtin_bswap32(unsigned int);
33 long long unsigned int __builtin_bswap64(long long unsigned int);
34 void __builtin_bzero(void*, __CPROVER_size_t);
35 void* __builtin_calloc(__CPROVER_size_t, __CPROVER_size_t);
36 void* __builtin_chkp_memcpy_nobnd(void*, const void*, __CPROVER_size_t);
37 void* __builtin_chkp_memcpy_nobnd_nochk(void*, const void*, __CPROVER_size_t);
38 void* __builtin_chkp_memcpy_nochk(void*, const void*, __CPROVER_size_t);
39 void* __builtin_chkp_memmove_nobnd(void*, const void*, __CPROVER_size_t);
40 void* __builtin_chkp_memmove_nobnd_nochk(void*, const void*, __CPROVER_size_t);
41 void* __builtin_chkp_memmove_nochk(void*, const void*, __CPROVER_size_t);
42 void* __builtin_chkp_mempcpy_nobnd(void*, const void*, __CPROVER_size_t);
43 void* __builtin_chkp_mempcpy_nobnd_nochk(void*, const void*, __CPROVER_size_t);
44 void* __builtin_chkp_mempcpy_nochk(void*, const void*, __CPROVER_size_t);
45 void* __builtin_chkp_memset_nobnd(void*, int, __CPROVER_size_t);
46 void* __builtin_chkp_memset_nobnd_nochk(void*, int, __CPROVER_size_t);
47 void* __builtin_chkp_memset_nochk(void*, int, __CPROVER_size_t);
48 int __builtin_clrsb(int);
49 int __builtin_clrsbl(long);
50 int __builtin_clrsbll(long long);
51 int __builtin_clz(unsigned);
52 int __builtin_clzl(unsigned long);
53 int __builtin_clzll(unsigned long long);
54 int __builtin_ctz(unsigned);
55 int __builtin_ctzl(unsigned long);
56 int __builtin_ctzll(unsigned long long);
57 char* __builtin_dcgettext(const char*, const char*, int);
58 char* __builtin_dgettext(const char*, const char*);
60 int __builtin_ffs(int);
61 int __builtin_ffsl(long);
62 int __builtin_ffsll(long long);
63 void* __builtin_frame_address(unsigned);
64 void __builtin_free(void*);
66 char* __builtin_gettext(const char*);
67 char* __builtin_index(const char*, int);
81 void* __builtin_malloc(__CPROVER_size_t);
82 void* __builtin_memchr(const void*, int, __CPROVER_size_t);
83 int __builtin_memcmp(const void*, const void*, __CPROVER_size_t);
84 void* __builtin_memcpy(void*, const void*, __CPROVER_size_t);
85 void* __builtin_memmove(void*, const void*, __CPROVER_size_t);
86 void* __builtin_mempcpy(void*, const void*, __CPROVER_size_t);
87 void* __builtin_memset(void*, int, __CPROVER_size_t);
88 __CPROVER_size_t __builtin_object_size(const void*, int);
89 int __builtin_popcount(unsigned);
90 int __builtin_popcountll(unsigned long long int x);
91 int __builtin_posix_memalign(void**, __CPROVER_size_t, __CPROVER_size_t);
92 void __builtin_prefetch(const void*, ...);
93 void* __builtin_realloc(void*, __CPROVER_size_t);
94 void* __builtin_return_address(unsigned);
95 char* __builtin_rindex(const char*, int);
96 char* __builtin_stpcpy(char*, const char*);
97 char* __builtin_stpncpy(char*, const char*, __CPROVER_size_t);
98 int __builtin_strcasecmp(const char*, const char*);
99 char* __builtin_strcat(char*, const char*);
100 char* __builtin_strchr(const char*, int);
101 int __builtin_strcmp(const char*, const char*);
102 char* __builtin_strcpy(char*, const char*);
103 __CPROVER_size_t __builtin_strcspn(const char*, const char*);
104 char* __builtin_strdup(const char*);
105 __CPROVER_size_t __builtin_strftime(char*, __CPROVER_size_t, const char*, const struct tm*);
106 __CPROVER_size_t __builtin_strlen(const char*);
107 int __builtin_strncasecmp(const char*, const char*, __CPROVER_size_t);
108 char* __builtin_strncat(char*, const char*, __CPROVER_size_t);
109 int __builtin_strncmp(const char*, const char*, __CPROVER_size_t);
110 char* __builtin_strncpy(char*, const char*, __CPROVER_size_t);
111 char* __builtin_strndup(const char*, __CPROVER_size_t);
112 char* __builtin_strpbrk(const char*, const char*);
113 char* __builtin_strrchr(const char*, int);
114 __CPROVER_size_t __builtin_strspn(const char*, const char*);
115 char* __builtin_strstr(const char*, const char*);
__builtin___memcpy_chk
void * __builtin___memcpy_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_stpncpy
char * __builtin_stpncpy(char *, const char *, __CPROVER_size_t)
__builtin___strcat_chk
char * __builtin___strcat_chk(char *, const char *, __CPROVER_size_t)
__builtin_islower
int __builtin_islower(int)
__builtin_assume_aligned
void * __builtin_assume_aligned(const void *, __CPROVER_size_t,...)
__builtin_ffs
int __builtin_ffs(int)
__builtin_toascii
int __builtin_toascii(int)
__builtin_ctzll
int __builtin_ctzll(unsigned long long)
__builtin___bnd_copy_ptr_bounds
void * __builtin___bnd_copy_ptr_bounds(const void *, const void *)
__builtin_isalpha
int __builtin_isalpha(int)
__builtin_strndup
char * __builtin_strndup(const char *, __CPROVER_size_t)
__builtin_isascii
int __builtin_isascii(int)
__builtin_ispunct
int __builtin_ispunct(int)
__builtin_chkp_mempcpy_nobnd
void * __builtin_chkp_mempcpy_nobnd(void *, const void *, __CPROVER_size_t)
__builtin_free
void __builtin_free(void *)
__builtin_memchr
void * __builtin_memchr(const void *, int, __CPROVER_size_t)
__builtin_isalnum
int __builtin_isalnum(int)
__builtin_ffsl
int __builtin_ffsl(long)
__builtin_clzll
int __builtin_clzll(unsigned long long)
__builtin___bnd_chk_ptr_lbounds
void __builtin___bnd_chk_ptr_lbounds(const void *)
__builtin_frob_return_addr
void * __builtin_frob_return_addr(void *)
s1
int8_t s1
Definition: bytecode_info.h:59
__builtin_bcopy
void __builtin_bcopy(const void *, void *, __CPROVER_size_t)
__builtin_chkp_memmove_nochk
void * __builtin_chkp_memmove_nochk(void *, const void *, __CPROVER_size_t)
__builtin_frame_address
void * __builtin_frame_address(unsigned)
__builtin_chkp_mempcpy_nobnd_nochk
void * __builtin_chkp_mempcpy_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin___stpncpy_chk
char * __builtin___stpncpy_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_strstr
char * __builtin_strstr(const char *, const char *)
__builtin_strlen
__CPROVER_size_t __builtin_strlen(const char *)
__builtin_isupper
int __builtin_isupper(int)
__builtin___bnd_init_ptr_bounds
void * __builtin___bnd_init_ptr_bounds(const void *)
__builtin_strftime
__CPROVER_size_t __builtin_strftime(char *, __CPROVER_size_t, const char *, const struct tm *)
__builtin_strchr
char * __builtin_strchr(const char *, int)
__builtin_isxdigit
int __builtin_isxdigit(int)
__builtin___memmove_chk
void * __builtin___memmove_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_aggregate_incoming_address
void * __builtin_aggregate_incoming_address()
__builtin_isspace
int __builtin_isspace(int)
__builtin_strrchr
char * __builtin_strrchr(const char *, int)
__builtin_isprint
int __builtin_isprint(int)
__builtin_prefetch
void __builtin_prefetch(const void *,...)
__builtin___strncpy_chk
char * __builtin___strncpy_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_aligned_alloc
void * __builtin_aligned_alloc(__CPROVER_size_t, __CPROVER_size_t)
__builtin_rindex
char * __builtin_rindex(const char *, int)
__builtin_strncmp
int __builtin_strncmp(const char *, const char *, __CPROVER_size_t)
__builtin_memmove
void * __builtin_memmove(void *, const void *, __CPROVER_size_t)
__builtin_mempcpy
void * __builtin_mempcpy(void *, const void *, __CPROVER_size_t)
__builtin_strncat
char * __builtin_strncat(char *, const char *, __CPROVER_size_t)
__builtin___bnd_chk_ptr_bounds
void __builtin___bnd_chk_ptr_bounds(const void *, __CPROVER_size_t)
__builtin_strcpy
char * __builtin_strcpy(char *, const char *)
__builtin_strpbrk
char * __builtin_strpbrk(const char *, const char *)
__builtin_calloc
void * __builtin_calloc(__CPROVER_size_t, __CPROVER_size_t)
__builtin_ctz
int __builtin_ctz(unsigned)
__builtin_dgettext
char * __builtin_dgettext(const char *, const char *)
__builtin_malloc
void * __builtin_malloc(__CPROVER_size_t)
__builtin___bnd_chk_ptr_ubounds
void __builtin___bnd_chk_ptr_ubounds(const void *)
__builtin_extract_return_addr
void * __builtin_extract_return_addr(void *)
__builtin_strcspn
__CPROVER_size_t __builtin_strcspn(const char *, const char *)
__builtin_isblank
int __builtin_isblank(int)
__builtin_chkp_memset_nochk
void * __builtin_chkp_memset_nochk(void *, int, __CPROVER_size_t)
__builtin_dcgettext
char * __builtin_dcgettext(const char *, const char *, int)
__builtin___bnd_get_ptr_ubound
const void * __builtin___bnd_get_ptr_ubound(const void *)
__builtin_isgraph
int __builtin_isgraph(int)
__builtin___mempcpy_chk
void * __builtin___mempcpy_chk(void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_strcasecmp
int __builtin_strcasecmp(const char *, const char *)
__builtin_return_address
void * __builtin_return_address(unsigned)
__builtin_ctzl
int __builtin_ctzl(unsigned long)
__builtin_popcountll
int __builtin_popcountll(unsigned long long int x)
__builtin_memset
void * __builtin_memset(void *, int, __CPROVER_size_t)
__builtin_iscntrl
int __builtin_iscntrl(int)
__builtin___clear_cache
void __builtin___clear_cache(void *, void *)
__builtin_memcpy
void * __builtin_memcpy(void *, const void *, __CPROVER_size_t)
__builtin_bcmp
int __builtin_bcmp(const void *, const void *, __CPROVER_size_t)
__builtin_index
char * __builtin_index(const char *, int)
__builtin_chkp_memmove_nobnd
void * __builtin_chkp_memmove_nobnd(void *, const void *, __CPROVER_size_t)
__builtin___memset_chk
void * __builtin___memset_chk(void *, int, __CPROVER_size_t, __CPROVER_size_t)
__builtin_toupper
int __builtin_toupper(int)
__builtin_realloc
void * __builtin_realloc(void *, __CPROVER_size_t)
__builtin_alloca
void * __builtin_alloca(__CPROVER_size_t)
__builtin___stpcpy
char * __builtin___stpcpy(char *s1, const char *s2)
__builtin___bnd_store_ptr_bounds
void __builtin___bnd_store_ptr_bounds(void **, const void *)
__builtin_chkp_memcpy_nobnd
void * __builtin_chkp_memcpy_nobnd(void *, const void *, __CPROVER_size_t)
__builtin_popcount
int __builtin_popcount(unsigned)
__builtin_strncasecmp
int __builtin_strncasecmp(const char *, const char *, __CPROVER_size_t)
__builtin___strncat_chk
char * __builtin___strncat_chk(char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
__builtin_strspn
__CPROVER_size_t __builtin_strspn(const char *, const char *)
__builtin___bnd_set_ptr_bounds
void * __builtin___bnd_set_ptr_bounds(const void *, __CPROVER_size_t)
__builtin_isdigit
int __builtin_isdigit(int)
__builtin_clz
int __builtin_clz(unsigned)
__builtin_chkp_memcpy_nobnd_nochk
void * __builtin_chkp_memcpy_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin_clrsbll
int __builtin_clrsbll(long long)
__builtin_bswap64
long long unsigned int __builtin_bswap64(long long unsigned int)
__builtin_chkp_memset_nobnd_nochk
void * __builtin_chkp_memset_nobnd_nochk(void *, int, __CPROVER_size_t)
__builtin_bswap32
unsigned int __builtin_bswap32(unsigned int)
__builtin_object_size
__CPROVER_size_t __builtin_object_size(const void *, int)
__builtin___bnd_null_ptr_bounds
void * __builtin___bnd_null_ptr_bounds(const void *)
__builtin___stpcpy_chk
char * __builtin___stpcpy_chk(char *, const char *, __CPROVER_size_t)
__builtin___chkp_bndldx
const void * __builtin___chkp_bndldx(const void *, const void *)
__builtin_chkp_memmove_nobnd_nochk
void * __builtin_chkp_memmove_nobnd_nochk(void *, const void *, __CPROVER_size_t)
__builtin___bnd_get_ptr_lbound
const void * __builtin___bnd_get_ptr_lbound(const void *)
__builtin_stpcpy
char * __builtin_stpcpy(char *, const char *)
__builtin_chkp_memcpy_nochk
void * __builtin_chkp_memcpy_nochk(void *, const void *, __CPROVER_size_t)
__builtin_chkp_mempcpy_nochk
void * __builtin_chkp_mempcpy_nochk(void *, const void *, __CPROVER_size_t)
__builtin_clrsb
int __builtin_clrsb(int)
__builtin_gettext
char * __builtin_gettext(const char *)
__builtin_posix_memalign
int __builtin_posix_memalign(void **, __CPROVER_size_t, __CPROVER_size_t)
s2
int16_t s2
Definition: bytecode_info.h:60
__builtin_memcmp
int __builtin_memcmp(const void *, const void *, __CPROVER_size_t)
__builtin___bnd_narrow_ptr_bounds
void * __builtin___bnd_narrow_ptr_bounds(const void *, const void *, __CPROVER_size_t)
__builtin_strncpy
char * __builtin_strncpy(char *, const char *, __CPROVER_size_t)
__builtin_strcmp
int __builtin_strcmp(const char *, const char *)
__builtin_bswap16
short unsigned int __builtin_bswap16(short unsigned int)
__builtin_chkp_memset_nobnd
void * __builtin_chkp_memset_nobnd(void *, int, __CPROVER_size_t)
__builtin_clzl
int __builtin_clzl(unsigned long)
__builtin_strcat
char * __builtin_strcat(char *, const char *)
__builtin_bzero
void __builtin_bzero(void *, __CPROVER_size_t)
__builtin_strdup
char * __builtin_strdup(const char *)
__builtin_clrsbl
int __builtin_clrsbl(long)
__builtin_ffsll
int __builtin_ffsll(long long)
__builtin___strcpy_chk
char * __builtin___strcpy_chk(char *, const char *, __CPROVER_size_t)
__builtin_tolower
int __builtin_tolower(int)