CBMC
|
Go to the source code of this file.
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.
Definition at line 2 of file gcc_builtin_headers_types.h.
Definition at line 55 of file gcc_builtin_headers_types.h.
Definition at line 53 of file gcc_builtin_headers_types.h.
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.