gcc_builtin_headers_generic.h File Reference

Go to the source code of this file.

Functions
void *	__builtin_apply_args ()
void *	__builtin_apply (void(*)(), void *, __CPROVER_size_t)
void	__builtin_ms_va_end (__builtin_ms_va_list ap)
void	__builtin_ms_va_start (__builtin_ms_va_list ap,...)
void *	__builtin_next_arg ()
int	__builtin_va_arg_pack ()
int	__builtin_va_arg_pack_len ()
void	__builtin_va_copy (__builtin_va_list dest, __builtin_va_list src)
void	__builtin_va_end (__builtin_va_list ap)
void	__builtin_va_start (__builtin_va_list ap,...)
void	__builtin__Exit (int)
void	__builtin__exit (int)
void	__builtin_abort ()
int	__builtin_execl (const char *, const char *,...)
int	__builtin_execle (const char *, const char *,...)
int	__builtin_execlp (const char *, const char *,...)
int	__builtin_execv (const char *, const char **)
int	__builtin_execve (const char *, const char **, const char **)
int	__builtin_execvp (const char *, const char **)
void	__builtin_exit (int)
pid_t	__builtin_fork ()
void	__sync_synchronize ()
_Bool	__atomic_test_and_set (void *, int)
void	__atomic_clear (_Bool *, int)
void	__atomic_thread_fence (int)
void	__atomic_signal_fence (int)
_Bool	__atomic_always_lock_free (__CPROVER_size_t, void *)
_Bool	__atomic_is_lock_free (__CPROVER_size_t, void *)
int	__builtin_choose_expr (_Bool,...)
int	__builtin_classify_type ()
int	__builtin_constant_p (int)
void	__builtin_trap (void)
void	__builtin_unreachable (void)
long	__builtin_expect (long, long)
long	__builtin_expect_with_probability (long, long, double)
void	__builtin_clear_padding ()
void	__builtin_speculation_safe_value ()
void *	__builtin_speculation_safe_value_ptr (void *,...)
_Bool	__builtin_is_constant_evaluated (void)
void *	__builtin_dwarf_cfa ()
unsigned	__builtin_dwarf_sp_column ()
int	__builtin_eh_return_data_regno (int)
void	__builtin_init_dwarf_reg_size_table (void *)
void	__builtin_unwind_init ()
const char *	__builtin_FILE ()
const char *	__builtin_FUNCTION ()
int	__builtin_LINE ()
void	__builtin_longjmp (void *, int)
void	__builtin_return (void *)
void *	__builtin_saveregs ()
int	__builtin_setjmp (void *)
void	__builtin_update_setjmp_buf (void *)

Function Documentation

__atomic_always_lock_free()

_Bool __atomic_always_lock_free	(	__CPROVER_size_t	size,
		void *	ptr
	)

Definition at line 140 of file gcc.c.

__atomic_clear()

void __atomic_clear	(	_Bool *	ptr,
		int	memorder
	)

Definition at line 67 of file gcc.c.

__atomic_is_lock_free()

_Bool __atomic_is_lock_free	(	__CPROVER_size_t	size,
		void *	ptr
	)

Definition at line 149 of file gcc.c.

__atomic_signal_fence()

void __atomic_signal_fence

(

int

memorder

)

Definition at line 132 of file gcc.c.

__atomic_test_and_set()

_Bool __atomic_test_and_set	(	void *	ptr,
		int	memorder
	)

Definition at line 52 of file gcc.c.

__atomic_thread_fence()

void __atomic_thread_fence

(

int

memorder

)

Definition at line 109 of file gcc.c.

__builtin__Exit()

void __builtin__Exit

(

int

)

__builtin__exit()

void __builtin__exit

(

int

)

__builtin_abort()

void __builtin_abort

(

)

__builtin_apply()

void * __builtin_apply	(	void(*)()	,
		void *	,
		__CPROVER_size_t
	)

__builtin_apply_args()

void * __builtin_apply_args

(

)

__builtin_choose_expr()

int __builtin_choose_expr	(	_Bool	,
			...
	)

__builtin_classify_type()

int __builtin_classify_type

(

)

__builtin_clear_padding()

void __builtin_clear_padding

(

)

__builtin_constant_p()

int __builtin_constant_p

(

int

)

__builtin_dwarf_cfa()

void * __builtin_dwarf_cfa

(

)

__builtin_dwarf_sp_column()

unsigned __builtin_dwarf_sp_column

(

)

__builtin_eh_return_data_regno()

int __builtin_eh_return_data_regno

(

int

)

__builtin_execl()

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

__builtin_execle()

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

__builtin_execlp()

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

__builtin_execv()

int __builtin_execv	(	const char *	,
		const char **
	)

__builtin_execve()

int __builtin_execve	(	const char *	,
		const char **	,
		const char **
	)

__builtin_execvp()

int __builtin_execvp	(	const char *	,
		const char **
	)

__builtin_exit()

void __builtin_exit

(

int

)

__builtin_expect()

long __builtin_expect	(	long	,
		long
	)

__builtin_expect_with_probability()

long __builtin_expect_with_probability	(	long	,
		long	,
		double
	)

__builtin_FILE()

const char * __builtin_FILE

(

)

__builtin_fork()

pid_t __builtin_fork

(

)

__builtin_FUNCTION()

const char * __builtin_FUNCTION

(

)

__builtin_init_dwarf_reg_size_table()

void __builtin_init_dwarf_reg_size_table

(

void *

)

__builtin_is_constant_evaluated()

_Bool __builtin_is_constant_evaluated

(

void

)

__builtin_LINE()

int __builtin_LINE

(

)

__builtin_longjmp()

void __builtin_longjmp	(	void *	,
		int
	)

__builtin_ms_va_end()

void __builtin_ms_va_end

(

__builtin_ms_va_list

ap

)

__builtin_ms_va_start()

void __builtin_ms_va_start	(	__builtin_ms_va_list	ap,
			...
	)

__builtin_next_arg()

void * __builtin_next_arg

(

)

__builtin_return()

void __builtin_return

(

void *

)

__builtin_saveregs()

void * __builtin_saveregs

(

)

__builtin_setjmp()

int __builtin_setjmp

(

void *

)

__builtin_speculation_safe_value()

void __builtin_speculation_safe_value

(

)

__builtin_speculation_safe_value_ptr()

void * __builtin_speculation_safe_value_ptr	(	void *	,
			...
	)

__builtin_trap()

void __builtin_trap

(

void

)

__builtin_unreachable()

void __builtin_unreachable

(

void

)

__builtin_unwind_init()

void __builtin_unwind_init

(

)

__builtin_update_setjmp_buf()

void __builtin_update_setjmp_buf

(

void *

)

__builtin_va_arg_pack()

int __builtin_va_arg_pack

(

)

__builtin_va_arg_pack_len()

int __builtin_va_arg_pack_len

(

)

__builtin_va_copy()

void __builtin_va_copy	(	__builtin_va_list	dest,
		__builtin_va_list	src
	)

__builtin_va_end()

void __builtin_va_end

(

__builtin_va_list

ap

)

__builtin_va_start()

void __builtin_va_start	(	__builtin_va_list	ap,
			...
	)

__sync_synchronize()

void __sync_synchronize

(

)

Definition at line 36 of file gcc.c.