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);
2
void
__builtin___bnd_chk_ptr_lbounds
(
const
void
*);
3
void
__builtin___bnd_chk_ptr_ubounds
(
const
void
*);
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);
25
void
*
__builtin_aggregate_incoming_address
();
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
*);
59
void
*
__builtin_extract_return_addr
(
void
*);
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
*);
65
void
*
__builtin_frob_return_addr
(
void
*);
66
char
*
__builtin_gettext
(
const
char
*);
67
char
*
__builtin_index
(
const
char
*,
int
);
68
int
__builtin_isalnum
(
int
);
69
int
__builtin_isalpha
(
int
);
70
int
__builtin_isascii
(
int
);
71
int
__builtin_isblank
(
int
);
72
int
__builtin_iscntrl
(
int
);
73
int
__builtin_isdigit
(
int
);
74
int
__builtin_isgraph
(
int
);
75
int
__builtin_islower
(
int
);
76
int
__builtin_isprint
(
int
);
77
int
__builtin_ispunct
(
int
);
78
int
__builtin_isspace
(
int
);
79
int
__builtin_isupper
(
int
);
80
int
__builtin_isxdigit
(
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
*);
116
int
__builtin_toascii
(
int
);
117
int
__builtin_tolower
(
int
);
118
int
__builtin_toupper
(
int
);
__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)
ansi-c
gcc_builtin_headers_mem_string.h
Generated by
1.8.20