gcc_builtin_headers_mem_string.h File Reference

Go to the source code of this file.

Functions
void	__builtin___bnd_chk_ptr_bounds (const void *, __CPROVER_size_t)
void	__builtin___bnd_chk_ptr_lbounds (const void *)
void	__builtin___bnd_chk_ptr_ubounds (const void *)
void *	__builtin___bnd_copy_ptr_bounds (const void *, const void *)
const void *	__builtin___bnd_get_ptr_lbound (const void *)
const void *	__builtin___bnd_get_ptr_ubound (const void *)
void *	__builtin___bnd_init_ptr_bounds (const void *)
void *	__builtin___bnd_narrow_ptr_bounds (const void *, const void *, __CPROVER_size_t)
void *	__builtin___bnd_null_ptr_bounds (const void *)
void *	__builtin___bnd_set_ptr_bounds (const void *, __CPROVER_size_t)
void	__builtin___bnd_store_ptr_bounds (void **, const void *)
const void *	__builtin___chkp_bndldx (const void *, const void *)
void	__builtin___clear_cache (void *, void *)
int	__builtin___fprintf_chk (void *, int, const char *,...)
void *	__builtin___memcpy_chk (void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
void *	__builtin___memmove_chk (void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
void *	__builtin___mempcpy_chk (void *, const void *, __CPROVER_size_t, __CPROVER_size_t)
void *	__builtin___memset_chk (void *, int, __CPROVER_size_t, __CPROVER_size_t)
int	__builtin___printf_chk (int, const char *,...)
int	__builtin___snprintf_chk (char *, __CPROVER_size_t, int, __CPROVER_size_t, const char *,...)
int	__builtin___sprintf_chk (char *, int, __CPROVER_size_t, const char *,...)
char *	__builtin___stpcpy (char *s1, const char *s2)
char *	__builtin___stpcpy_chk (char *, const char *, __CPROVER_size_t)
char *	__builtin___stpncpy_chk (char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
char *	__builtin___strcat_chk (char *, const char *, __CPROVER_size_t)
char *	__builtin___strcpy_chk (char *, const char *, __CPROVER_size_t)
char *	__builtin___strncat_chk (char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
char *	__builtin___strncpy_chk (char *, const char *, __CPROVER_size_t, __CPROVER_size_t)
int	__builtin___vfprintf_chk (void *, int, const char *, __builtin_va_list)
int	__builtin___vprintf_chk (int, const char *, __builtin_va_list)
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___vsprintf_chk (char *, int, __CPROVER_size_t, const char *, __builtin_va_list)
void *	__builtin_aggregate_incoming_address ()
void *	__builtin_aligned_alloc (__CPROVER_size_t, __CPROVER_size_t)
void *	__builtin_alloca (__CPROVER_size_t)
void *	__builtin_assume_aligned (const void *, __CPROVER_size_t,...)
int	__builtin_bcmp (const void *, const void *, __CPROVER_size_t)
void	__builtin_bcopy (const void *, void *, __CPROVER_size_t)
short unsigned int	__builtin_bswap16 (short unsigned int)
unsigned int	__builtin_bswap32 (unsigned int)
long long unsigned int	__builtin_bswap64 (long long unsigned int)
void	__builtin_bzero (void *, __CPROVER_size_t)
void *	__builtin_calloc (__CPROVER_size_t, __CPROVER_size_t)
void *	__builtin_chkp_memcpy_nobnd (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memcpy_nobnd_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memcpy_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memmove_nobnd (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memmove_nobnd_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memmove_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_mempcpy_nobnd (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_mempcpy_nobnd_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_mempcpy_nochk (void *, const void *, __CPROVER_size_t)
void *	__builtin_chkp_memset_nobnd (void *, int, __CPROVER_size_t)
void *	__builtin_chkp_memset_nobnd_nochk (void *, int, __CPROVER_size_t)
void *	__builtin_chkp_memset_nochk (void *, int, __CPROVER_size_t)
int	__builtin_clrsb (int)
int	__builtin_clrsbimax (intmax_t)
int	__builtin_clrsbl (long)
int	__builtin_clrsbll (long long)
int	__builtin_clz (unsigned)
int	__builtin_clzimax (uintmax_t)
int	__builtin_clzl (unsigned long)
int	__builtin_clzll (unsigned long long)
int	__builtin_ctz (unsigned)
int	__builtin_ctzimax (uintmax_t)
int	__builtin_ctzl (unsigned long)
int	__builtin_ctzll (unsigned long long)
char *	__builtin_dcgettext (const char *, const char *, int)
char *	__builtin_dgettext (const char *, const char *)
void *	__builtin_extract_return_addr (void *)
int	__builtin_ffs (int)
int	__builtin_ffsl (long)
int	__builtin_ffsll (long long)
int	__builtin_fprintf (void *stream, const char *fmt,...)
int	__builtin_fprintf_unlocked (void *, const char *,...)
int	__builtin_fputc (int, void *)
int	__builtin_fputc_unlocked (int, void *)
int	__builtin_fputs (const char *s, void *stream)
int	__builtin_fputs_unlocked (const char *, void *)
void *	__builtin_frame_address (unsigned)
void	__builtin_free (void *)
void *	__builtin_frob_return_addr (void *)
int	__builtin_fscanf (void *stream, const char *fmt,...)
__CPROVER_size_t	__builtin_fwrite (const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
__CPROVER_size_t	__builtin_fwrite_unlocked (const void *, __CPROVER_size_t, __CPROVER_size_t, void *)
char *	__builtin_gettext (const char *)
char *	__builtin_index (const char *, int)
int	__builtin_isalnum (int)
int	__builtin_isalpha (int)
int	__builtin_isascii (int)
int	__builtin_isblank (int)
int	__builtin_iscntrl (int)
int	__builtin_isdigit (int)
int	__builtin_isgraph (int)
int	__builtin_islower (int)
int	__builtin_isprint (int)
int	__builtin_ispunct (int)
int	__builtin_isspace (int)
int	__builtin_isupper (int)
int	__builtin_iswalnum (wint_t)
int	__builtin_iswalpha (wint_t)
int	__builtin_iswblank (wint_t)
int	__builtin_iswcntrl (wint_t)
int	__builtin_iswdigit (wint_t)
int	__builtin_iswgraph (wint_t)
int	__builtin_iswlower (wint_t)
int	__builtin_iswprint (wint_t)
int	__builtin_iswpunct (wint_t)
int	__builtin_iswspace (wint_t)
int	__builtin_iswupper (wint_t)
int	__builtin_iswxdigit (wint_t)
int	__builtin_isxdigit (int)
void *	__builtin_malloc (__CPROVER_size_t)
void *	__builtin_memchr (const void *, int, __CPROVER_size_t)
int	__builtin_memcmp (const void *, const void *, __CPROVER_size_t)
void *	__builtin_memcpy (void *, const void *, __CPROVER_size_t)
void *	__builtin_memmove (void *, const void *, __CPROVER_size_t)
void *	__builtin_mempcpy (void *, const void *, __CPROVER_size_t)
void *	__builtin_memset (void *, int, __CPROVER_size_t)
__CPROVER_size_t	__builtin_object_size (const void *, int)
__CPROVER_size_t	__builtin_dynamic_object_size (const void *, int)
int	__builtin_popcount (unsigned)
int	__builtin_popcountimax (uintmax_t)
int	__builtin_popcountll (unsigned long long int x)
int	__builtin_posix_memalign (void **, __CPROVER_size_t, __CPROVER_size_t)
void	__builtin_prefetch (const void *,...)
int	__builtin_printf (const char *,...)
int	__builtin_printf_unlocked (const char *,...)
int	__builtin_putc (int, void *)
int	__builtin_putc_unlocked (int, void *)
int	__builtin_putchar (int)
int	__builtin_putchar_unlocked (int)
int	__builtin_puts (const char *)
int	__builtin_puts_unlocked (const char *)
void *	__builtin_realloc (void *, __CPROVER_size_t)
void *	__builtin_return_address (unsigned)
char *	__builtin_rindex (const char *, int)
int	__builtin_scanf (const char *str, const char *fmt,...)
int	__builtin_scanf (const char *,...)
int	__builtin_snprintf (char *, __CPROVER_size_t, const char *,...)
int	__builtin_sprintf (char *, const char *,...)
int	__builtin_sscanf (const char *, const char *,...)
char *	__builtin_stpcpy (char *, const char *)
char *	__builtin_stpncpy (char *, const char *, __CPROVER_size_t)
int	__builtin_strcasecmp (const char *, const char *)
char *	__builtin_strcat (char *, const char *)
char *	__builtin_strchr (const char *, int)
int	__builtin_strcmp (const char *, const char *)
char *	__builtin_strcpy (char *, const char *)
__CPROVER_size_t	__builtin_strcspn (const char *, const char *)
char *	__builtin_strdup (const char *)
ssize_t	__builtin_strfmon (char *, __CPROVER_size_t, const char *,...)
__CPROVER_size_t	__builtin_strftime (char *, __CPROVER_size_t, const char *, const struct tm *)
__CPROVER_size_t	__builtin_strlen (const char *)
int	__builtin_strncasecmp (const char *, const char *, __CPROVER_size_t)
char *	__builtin_strncat (char *, const char *, __CPROVER_size_t)
int	__builtin_strncmp (const char *, const char *, __CPROVER_size_t)
char *	__builtin_strncpy (char *, const char *, __CPROVER_size_t)
char *	__builtin_strndup (const char *, __CPROVER_size_t)
__CPROVER_size_t	__builtin_strnlen (const char *, __CPROVER_size_t)
char *	__builtin_strpbrk (const char *, const char *)
char *	__builtin_strrchr (const char *, int)
__CPROVER_size_t	__builtin_strspn (const char *, const char *)
char *	__builtin_strstr (const char *, const char *)
int	__builtin_toascii (int)
int	__builtin_tolower (int)
int	__builtin_toupper (int)
wint_t	__builtin_towlower (wint_t)
wint_t	__builtin_towupper (wint_t)
int	__builtin_vfprintf (void *, const char *, __builtin_va_list)
int	__builtin_vfscanf (void *, const char *, __builtin_va_list)
int	__builtin_vprintf (const char *, __builtin_va_list)
int	__builtin_vscanf (const char *, __builtin_va_list)
int	__builtin_vsnprintf (char *, __CPROVER_size_t, const char *, __builtin_va_list)
int	__builtin_vsprintf (char *, const char *, __builtin_va_list)
int	__builtin_vsscanf (const char *, const char *, __builtin_va_list)

Function Documentation

__builtin___bnd_chk_ptr_bounds()

void __builtin___bnd_chk_ptr_bounds	(	const void *	,
		__CPROVER_size_t
	)

__builtin___bnd_chk_ptr_lbounds()

void __builtin___bnd_chk_ptr_lbounds

(

const void *

)

__builtin___bnd_chk_ptr_ubounds()

void __builtin___bnd_chk_ptr_ubounds

(

const void *

)

__builtin___bnd_copy_ptr_bounds()

void * __builtin___bnd_copy_ptr_bounds	(	const void *	,
		const void *
	)

__builtin___bnd_get_ptr_lbound()

const void * __builtin___bnd_get_ptr_lbound

(

const void *

)

__builtin___bnd_get_ptr_ubound()

const void * __builtin___bnd_get_ptr_ubound

(

const void *

)

__builtin___bnd_init_ptr_bounds()

void * __builtin___bnd_init_ptr_bounds

(

const void *

)

__builtin___bnd_narrow_ptr_bounds()

void * __builtin___bnd_narrow_ptr_bounds	(	const void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin___bnd_null_ptr_bounds()

void * __builtin___bnd_null_ptr_bounds

(

const void *

)

__builtin___bnd_set_ptr_bounds()

void * __builtin___bnd_set_ptr_bounds	(	const void *	,
		__CPROVER_size_t
	)

__builtin___bnd_store_ptr_bounds()

void __builtin___bnd_store_ptr_bounds	(	void **	,
		const void *
	)

__builtin___chkp_bndldx()

const void * __builtin___chkp_bndldx	(	const void *	,
		const void *
	)

__builtin___clear_cache()

void __builtin___clear_cache	(	void *	,
		void *
	)

__builtin___fprintf_chk()

int __builtin___fprintf_chk	(	void *	,
		int	,
		const char *	,
			...
	)

__builtin___memcpy_chk()

void * __builtin___memcpy_chk	(	void *	dst,
		const void *	src,
		__CPROVER_size_t	n,
		__CPROVER_size_t	size
	)

Definition at line 659 of file string.c.

__builtin___memmove_chk()

void * __builtin___memmove_chk	(	void *	,
		const void *	,
		__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin___mempcpy_chk()

void * __builtin___mempcpy_chk	(	void *	,
		const void *	,
		__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin___memset_chk()

void * __builtin___memset_chk	(	void *	s,
		int	c,
		__CPROVER_size_t	n,
		__CPROVER_size_t	size
	)

Definition at line 789 of file string.c.

__builtin___printf_chk()

int __builtin___printf_chk	(	int	,
		const char *	,
			...
	)

__builtin___snprintf_chk()

int __builtin___snprintf_chk	(	char *	,
		__CPROVER_size_t	,
		int	,
		__CPROVER_size_t	,
		const char *	,
			...
	)

__builtin___sprintf_chk()

int __builtin___sprintf_chk	(	char *	,
		int	,
		__CPROVER_size_t	,
		const char *	,
			...
	)

__builtin___stpcpy()

char * __builtin___stpcpy	(	char *	s1,
		const char *	s2
	)

__builtin___stpcpy_chk()

char * __builtin___stpcpy_chk	(	char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin___stpncpy_chk()

char * __builtin___stpncpy_chk	(	char *	,
		const char *	,
		__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin___strcat_chk()

char * __builtin___strcat_chk	(	char *	dst,
		const char *	src,
		__CPROVER_size_t	s
	)

Definition at line 37 of file string.c.

__builtin___strcpy_chk()

char * __builtin___strcpy_chk	(	char *	dst,
		const char *	src,
		__CPROVER_size_t	s
	)

Definition at line 3 of file string.c.

__builtin___strncat_chk()

char * __builtin___strncat_chk	(	char *	dst,
		const char *	src,
		__CPROVER_size_t	n,
		__CPROVER_size_t	s
	)

Definition at line 81 of file string.c.

__builtin___strncpy_chk()

char * __builtin___strncpy_chk	(	char *	,
		const char *	,
		__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin___vfprintf_chk()

int __builtin___vfprintf_chk	(	void *	,
		int	,
		const char *	,
		__builtin_va_list
	)

__builtin___vprintf_chk()

int __builtin___vprintf_chk	(	int	,
		const char *	,
		__builtin_va_list
	)

__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___vsprintf_chk()

int __builtin___vsprintf_chk	(	char *	,
		int	,
		__CPROVER_size_t	,
		const char *	,
		__builtin_va_list
	)

__builtin_aggregate_incoming_address()

void * __builtin_aggregate_incoming_address

(

)

__builtin_aligned_alloc()

void * __builtin_aligned_alloc	(	__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin_alloca()

void * __builtin_alloca

(

__CPROVER_size_t

alloca_size

)

Definition at line 270 of file stdlib.c.

__builtin_assume_aligned()

void * __builtin_assume_aligned	(	const void *	,
		__CPROVER_size_t	,
			...
	)

__builtin_bcmp()

int __builtin_bcmp	(	const void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_bcopy()

void __builtin_bcopy	(	const void *	,
		void *	,
		__CPROVER_size_t
	)

__builtin_bswap16()

short unsigned int __builtin_bswap16

(

short unsigned int

)

__builtin_bswap32()

unsigned int __builtin_bswap32

(

unsigned int

)

__builtin_bswap64()

long long unsigned int __builtin_bswap64

(

long long unsigned int

)

__builtin_bzero()

void __builtin_bzero	(	void *	,
		__CPROVER_size_t
	)

__builtin_calloc()

void * __builtin_calloc	(	__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin_chkp_memcpy_nobnd()

void * __builtin_chkp_memcpy_nobnd	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memcpy_nobnd_nochk()

void * __builtin_chkp_memcpy_nobnd_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memcpy_nochk()

void * __builtin_chkp_memcpy_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memmove_nobnd()

void * __builtin_chkp_memmove_nobnd	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memmove_nobnd_nochk()

void * __builtin_chkp_memmove_nobnd_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memmove_nochk()

void * __builtin_chkp_memmove_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_mempcpy_nobnd()

void * __builtin_chkp_mempcpy_nobnd	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_mempcpy_nobnd_nochk()

void * __builtin_chkp_mempcpy_nobnd_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_mempcpy_nochk()

void * __builtin_chkp_mempcpy_nochk	(	void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_chkp_memset_nobnd()

void * __builtin_chkp_memset_nobnd	(	void *	,
		int	,
		__CPROVER_size_t
	)

__builtin_chkp_memset_nobnd_nochk()

void * __builtin_chkp_memset_nobnd_nochk	(	void *	,
		int	,
		__CPROVER_size_t
	)

__builtin_chkp_memset_nochk()

void * __builtin_chkp_memset_nochk	(	void *	,
		int	,
		__CPROVER_size_t
	)

__builtin_clrsb()

int __builtin_clrsb

(

int

)

__builtin_clrsbimax()

int __builtin_clrsbimax

(

intmax_t

)

__builtin_clrsbl()

int __builtin_clrsbl

(

long

)

__builtin_clrsbll()

int __builtin_clrsbll

(

long long

)

__builtin_clz()

int __builtin_clz

(

unsigned

)

__builtin_clzimax()

int __builtin_clzimax

(

uintmax_t

)

__builtin_clzl()

int __builtin_clzl

(

unsigned long

)

__builtin_clzll()

int __builtin_clzll

(

unsigned long long

)

__builtin_ctz()

int __builtin_ctz

(

unsigned

)

__builtin_ctzimax()

int __builtin_ctzimax

(

uintmax_t

)

__builtin_ctzl()

int __builtin_ctzl

(

unsigned long

)

__builtin_ctzll()

int __builtin_ctzll

(

unsigned long long

)

__builtin_dcgettext()

char * __builtin_dcgettext	(	const char *	,
		const char *	,
		int
	)

__builtin_dgettext()

char * __builtin_dgettext	(	const char *	,
		const char *
	)

__builtin_dynamic_object_size()

__CPROVER_size_t __builtin_dynamic_object_size	(	const void *	,
		int
	)

__builtin_extract_return_addr()

void * __builtin_extract_return_addr

(

void *

)

__builtin_ffs()

int __builtin_ffs

(

int

)

__builtin_ffsl()

int __builtin_ffsl

(

long

)

__builtin_ffsll()

int __builtin_ffsll

(

long long

)

__builtin_fprintf()

int __builtin_fprintf	(	void *	stream,
		const char *	fmt,
			...
	)

__builtin_fprintf_unlocked()

int __builtin_fprintf_unlocked	(	void *	,
		const char *	,
			...
	)

__builtin_fputc()

int __builtin_fputc	(	int	,
		void *
	)

__builtin_fputc_unlocked()

int __builtin_fputc_unlocked	(	int	,
		void *
	)

__builtin_fputs()

int __builtin_fputs	(	const char *	s,
		void *	stream
	)

__builtin_fputs_unlocked()

int __builtin_fputs_unlocked	(	const char *	,
		void *
	)

__builtin_frame_address()

void * __builtin_frame_address

(

unsigned

)

__builtin_free()

void __builtin_free

(

void *

)

__builtin_frob_return_addr()

void * __builtin_frob_return_addr

(

void *

)

__builtin_fscanf()

int __builtin_fscanf	(	void *	stream,
		const char *	fmt,
			...
	)

__builtin_fwrite()

__CPROVER_size_t __builtin_fwrite	(	const void *	,
		__CPROVER_size_t	,
		__CPROVER_size_t	,
		void *
	)

__builtin_fwrite_unlocked()

__CPROVER_size_t __builtin_fwrite_unlocked	(	const void *	,
		__CPROVER_size_t	,
		__CPROVER_size_t	,
		void *
	)

__builtin_gettext()

char * __builtin_gettext

(

const char *

)

__builtin_index()

char * __builtin_index	(	const char *	,
		int
	)

__builtin_isalnum()

int __builtin_isalnum

(

int

)

__builtin_isalpha()

int __builtin_isalpha

(

int

)

__builtin_isascii()

int __builtin_isascii

(

int

)

__builtin_isblank()

int __builtin_isblank

(

int

)

__builtin_iscntrl()

int __builtin_iscntrl

(

int

)

__builtin_isdigit()

int __builtin_isdigit

(

int

)

__builtin_isgraph()

int __builtin_isgraph

(

int

)

__builtin_islower()

int __builtin_islower

(

int

)

__builtin_isprint()

int __builtin_isprint

(

int

)

__builtin_ispunct()

int __builtin_ispunct

(

int

)

__builtin_isspace()

int __builtin_isspace

(

int

)

__builtin_isupper()

int __builtin_isupper

(

int

)

__builtin_iswalnum()

int __builtin_iswalnum

(

wint_t

)

__builtin_iswalpha()

int __builtin_iswalpha

(

wint_t

)

__builtin_iswblank()

int __builtin_iswblank

(

wint_t

)

__builtin_iswcntrl()

int __builtin_iswcntrl

(

wint_t

)

__builtin_iswdigit()

int __builtin_iswdigit

(

wint_t

)

__builtin_iswgraph()

int __builtin_iswgraph

(

wint_t

)

__builtin_iswlower()

int __builtin_iswlower

(

wint_t

)

__builtin_iswprint()

int __builtin_iswprint

(

wint_t

)

__builtin_iswpunct()

int __builtin_iswpunct

(

wint_t

)

__builtin_iswspace()

int __builtin_iswspace

(

wint_t

)

__builtin_iswupper()

int __builtin_iswupper

(

wint_t

)

__builtin_iswxdigit()

int __builtin_iswxdigit

(

wint_t

)

__builtin_isxdigit()

int __builtin_isxdigit

(

int

)

__builtin_malloc()

void * __builtin_malloc

(

__CPROVER_size_t

)

__builtin_memchr()

void * __builtin_memchr	(	const void *	,
		int	,
		__CPROVER_size_t
	)

__builtin_memcmp()

int __builtin_memcmp	(	const void *	,
		const void *	,
		__CPROVER_size_t
	)

__builtin_memcpy()

void * __builtin_memcpy	(	void *	,
		const void *	,
		__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_memset()

void * __builtin_memset	(	void *	s,
		int	c,
		__CPROVER_size_t	n
	)

Definition at line 750 of file string.c.

__builtin_object_size()

__CPROVER_size_t __builtin_object_size	(	const void *	,
		int
	)

__builtin_popcount()

int __builtin_popcount

(

unsigned

)

__builtin_popcountimax()

int __builtin_popcountimax

(

uintmax_t

)

__builtin_popcountll()

int __builtin_popcountll

(

unsigned long long int

x

)

__builtin_posix_memalign()

int __builtin_posix_memalign	(	void **	,
		__CPROVER_size_t	,
		__CPROVER_size_t
	)

__builtin_prefetch()

void __builtin_prefetch	(	const void *	,
			...
	)

__builtin_printf()

int __builtin_printf	(	const char *	,
			...
	)

__builtin_printf_unlocked()

int __builtin_printf_unlocked	(	const char *	,
			...
	)

__builtin_putc()

int __builtin_putc	(	int	,
		void *
	)

__builtin_putc_unlocked()

int __builtin_putc_unlocked	(	int	,
		void *
	)

__builtin_putchar()

int __builtin_putchar

(

int

)

__builtin_putchar_unlocked()

int __builtin_putchar_unlocked

(

int

)

__builtin_puts()

int __builtin_puts

(

const char *

)

__builtin_puts_unlocked()

int __builtin_puts_unlocked

(

const char *

)

__builtin_realloc()

void * __builtin_realloc	(	void *	,
		__CPROVER_size_t
	)

__builtin_return_address()

void * __builtin_return_address

(

unsigned

)

__builtin_rindex()

char * __builtin_rindex	(	const char *	,
		int
	)

__builtin_scanf() [1/2]

int __builtin_scanf	(	const char *	,
			...
	)

__builtin_scanf() [2/2]

int __builtin_scanf	(	const char *	str,
		const char *	fmt,
			...
	)

__builtin_snprintf()

int __builtin_snprintf	(	char *	,
		__CPROVER_size_t	,
		const char *	,
			...
	)

__builtin_sprintf()

int __builtin_sprintf	(	char *	,
		const char *	,
			...
	)

__builtin_sscanf()

int __builtin_sscanf	(	const char *	,
		const char *	,
			...
	)

__builtin_stpcpy()

char * __builtin_stpcpy	(	char *	,
		const char *
	)

__builtin_stpncpy()

char * __builtin_stpncpy	(	char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin_strcasecmp()

int __builtin_strcasecmp	(	const char *	,
		const char *
	)

__builtin_strcat()

char * __builtin_strcat	(	char *	,
		const char *
	)

__builtin_strchr()

char * __builtin_strchr	(	const char *	,
		int
	)

__builtin_strcmp()

int __builtin_strcmp	(	const char *	,
		const char *
	)

__builtin_strcpy()

char * __builtin_strcpy	(	char *	,
		const char *
	)

__builtin_strcspn()

__CPROVER_size_t __builtin_strcspn	(	const char *	,
		const char *
	)

__builtin_strdup()

char * __builtin_strdup

(

const char *

)

__builtin_strfmon()

ssize_t __builtin_strfmon	(	char *	,
		__CPROVER_size_t	,
		const char *	,
			...
	)

__builtin_strftime()

__CPROVER_size_t __builtin_strftime	(	char *	,
		__CPROVER_size_t	,
		const char *	,
		const struct tm *
	)

__builtin_strlen()

__CPROVER_size_t __builtin_strlen

(

const char *

)

__builtin_strncasecmp()

int __builtin_strncasecmp	(	const char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin_strncat()

char * __builtin_strncat	(	char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin_strncmp()

int __builtin_strncmp	(	const char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin_strncpy()

char * __builtin_strncpy	(	char *	,
		const char *	,
		__CPROVER_size_t
	)

__builtin_strndup()

char * __builtin_strndup	(	const char *	,
		__CPROVER_size_t
	)

__builtin_strnlen()

__CPROVER_size_t __builtin_strnlen	(	const char *	,
		__CPROVER_size_t
	)

__builtin_strpbrk()

char * __builtin_strpbrk	(	const char *	,
		const char *
	)

__builtin_strrchr()

char * __builtin_strrchr	(	const char *	,
		int
	)

__builtin_strspn()

__CPROVER_size_t __builtin_strspn	(	const char *	,
		const char *
	)

__builtin_strstr()

char * __builtin_strstr	(	const char *	,
		const char *
	)

__builtin_toascii()

int __builtin_toascii

(

int

)

__builtin_tolower()

int __builtin_tolower

(

int

)

__builtin_toupper()

int __builtin_toupper

(

int

)

__builtin_towlower()

wint_t __builtin_towlower

(

wint_t

)

__builtin_towupper()

wint_t __builtin_towupper

(

wint_t

)

__builtin_vfprintf()

int __builtin_vfprintf	(	void *	,
		const char *	,
		__builtin_va_list
	)

__builtin_vfscanf()

int __builtin_vfscanf	(	void *	,
		const char *	,
		__builtin_va_list
	)

__builtin_vprintf()

int __builtin_vprintf	(	const char *	,
		__builtin_va_list
	)

__builtin_vscanf()

int __builtin_vscanf	(	const char *	,
		__builtin_va_list
	)

__builtin_vsnprintf()

int __builtin_vsnprintf	(	char *	,
		__CPROVER_size_t	,
		const char *	,
		__builtin_va_list
	)

__builtin_vsprintf()

int __builtin_vsprintf	(	char *	,
		const char *	,
		__builtin_va_list
	)

__builtin_vsscanf()

int __builtin_vsscanf	(	const char *	,
		const char *	,
		__builtin_va_list
	)