cprover
|
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 } |
|
inline |
Definition at line 4 of file gcc_builtin_headers_types.h.
typedef void** __builtin_ms_va_list |
Definition at line 2 of file gcc_builtin_headers_types.h.
typedef unsigned long long __gcc_di |
Definition at line 37 of file gcc_builtin_headers_types.h.
typedef __CPROVER_bool* __SVBool_t |
Definition at line 55 of file gcc_builtin_headers_types.h.
typedef float* __SVFloat32_t |
Definition at line 53 of file gcc_builtin_headers_types.h.
typedef double* __SVFloat64_t |
Definition at line 54 of file gcc_builtin_headers_types.h.
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.