CBMC
gcc_builtin_headers_types.h File Reference

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
}
 

Typedef Documentation

◆ __attribute__

static __attribute__
inline

Definition at line 5 of file gcc_builtin_headers_types.h.

◆ __builtin_ms_va_list

typedef void** __builtin_ms_va_list

Definition at line 3 of file gcc_builtin_headers_types.h.

◆ __builtin_va_list

typedef void** __builtin_va_list

Definition at line 2 of file gcc_builtin_headers_types.h.

◆ __gcc_di

typedef unsigned long long __gcc_di

Definition at line 31 of file gcc_builtin_headers_types.h.

Enumeration Type Documentation

◆ __gcc_atomic_memmodels

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.