CBMC
|
Go to the source code of this file.
Typedefs | |
typedef void ** | __builtin_va_list |
typedef void ** | __builtin_ms_va_list |
typedef int __gcc_m64 | __attribute__((__vector_size__(8), __may_alias__)) |
typedef unsigned long long | __gcc_di |
Enumerations | |
enum | __gcc_atomic_memmodels { __ATOMIC_RELAXED , __ATOMIC_CONSUME , __ATOMIC_ACQUIRE , __ATOMIC_RELEASE , __ATOMIC_ACQ_REL , __ATOMIC_SEQ_CST } |
|
inline |
Definition at line 5 of file gcc_builtin_headers_types.h.
typedef void** __builtin_ms_va_list |
Definition at line 3 of file gcc_builtin_headers_types.h.
typedef void** __builtin_va_list |
Definition at line 2 of file gcc_builtin_headers_types.h.
typedef unsigned long long __gcc_di |
Definition at line 38 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 43 of file gcc_builtin_headers_types.h.