|
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 31 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 33 of file gcc_builtin_headers_types.h.