gcc_builtin_headers_types.h File Reference

Go to the source code of this file.

Typedefs
typedef void **	__builtin_ms_va_list
typedef int __gcc_m64	__attribute__((__vector_size__(8), __may_alias__))
typedef unsigned long long	__gcc_di
typedef float *	__SVFloat32_t
typedef double *	__SVFloat64_t
typedef __CPROVER_bool *	__SVBool_t

Enumerations
enum	__gcc_atomic_memmodels {   __ATOMIC_RELAXED , __ATOMIC_CONSUME , __ATOMIC_ACQUIRE , __ATOMIC_RELEASE ,   __ATOMIC_ACQ_REL , __ATOMIC_SEQ_CST }

Typedef Documentation

__attribute__

static __attribute__

inline

Definition at line 4 of file gcc_builtin_headers_types.h.

__builtin_ms_va_list

typedef void** __builtin_ms_va_list

Definition at line 2 of file gcc_builtin_headers_types.h.

__gcc_di

typedef unsigned long long __gcc_di

Definition at line 37 of file gcc_builtin_headers_types.h.

__SVBool_t

typedef __CPROVER_bool* __SVBool_t

Definition at line 55 of file gcc_builtin_headers_types.h.

__SVFloat32_t

typedef float* __SVFloat32_t

Definition at line 53 of file gcc_builtin_headers_types.h.

__SVFloat64_t

typedef double* __SVFloat64_t

Definition at line 54 of file gcc_builtin_headers_types.h.

Enumeration Type Documentation

__gcc_atomic_memmodels

enum __gcc_atomic_memmodels

Enumerator
__ATOMIC_RELAXED
__ATOMIC_CONSUME
__ATOMIC_ACQUIRE
__ATOMIC_RELEASE
__ATOMIC_ACQ_REL
__ATOMIC_SEQ_CST

Definition at line 42 of file gcc_builtin_headers_types.h.