Here is a list of all macros with links to the files they belong to:

- _ -

• __annotate__ : host_defines.h
• __BIG_ENDIAN : alltypes.h
• __bool_true_false_are_defined : stdbool.h
• __builtin_align__ : host_defines.h
• __BYTE_ORDER : alltypes.h
• __cleanup_fct_attribute : pthread.h
• __clock_t_defined : time.h
• __clockid_t_defined : time.h
• __const__ : linux.hpp
• __constant__ : host_defines.h
• __CRT__NO_INLINE : corecrt_math.h
• __cuda_builtin_vector_align8 : vector_types.h
• __cudart_builtin__ : host_defines.h
• __DEFINED_mbstate_t : wchar.h
• __device__ : host_defines.h
• __device_builtin__ : host_defines.h
• __device_builtin_surface_type__ : host_defines.h
• __device_builtin_texture_type__ : host_defines.h
• __ESBMC_barrier_arrived : pthread_lib.c
• __ESBMC_barrier_count : pthread_lib.c
• __ESBMC_barrier_generation : pthread_lib.c
• __ESBMC_barrier_waiters : pthread_lib.c
• __ESBMC_C_CPP_BEGIN : stddefs.h
• __ESBMC_C_CPP_END : stddefs.h
• __ESBMC_cond_futex_field : pthread_lib.c
• __ESBMC_cond_lock_field : pthread_lib.c
• __ESBMC_cond_nwaiters_field : pthread_lib.c
• __ESBMC_FE_ARM_DOWNWARD : fenv.c
• __ESBMC_FE_ARM_TOWARDZERO : fenv.c
• __ESBMC_FE_ARM_UPWARD : fenv.c
• __ESBMC_FE_X86_DOWNWARD : fenv.c
• __ESBMC_FE_X86_TOWARDZERO : fenv.c
• __ESBMC_FE_X86_UPWARD : fenv.c
• __ESBMC_FLOAT_BUF_SIZE : list.c
• __ESBMC_HEADERS_STDARG_H_ : stdarg.h
• __ESBMC_HEADERS_STDDEF_H_ : stddef.h
• __ESBMC_LIST_DEFAULT_DEPTH : list.c
• __ESBMC_LIST_MAX_STACK : list.c
• __ESBMC_mutex_depth_field : pthread_lib.c
• __ESBMC_mutex_kind_field : pthread_lib.c
• __ESBMC_mutex_lock_field : pthread_lib.c
• __ESBMC_MUTEX_NOT_HELD_BY_SELF : pthread_lib.c
• __ESBMC_mutex_owner_field : pthread_lib.c
• __ESBMC_mutex_waiters : pthread_lib.c
• __ESBMC_mutexattr_kind : pthread_lib.c
• __ESBMC_ONCE_DONE : pthread_lib.c
• __ESBMC_ONCE_RUNNING : pthread_lib.c
• __ESBMC_restrict : stddefs.h
• __ESBMC_rwlock_readers : pthread_lib.c
• __ESBMC_rwlock_waiters : pthread_lib.c
• __ESBMC_rwlock_writer : pthread_lib.c
• __ESBMC_sem_count_field : semaphore_lib.c
• __ESBMC_sem_init_field : semaphore_lib.c
• __ESBMC_sem_lock_field : semaphore_lib.c
• __ESBMC_sem_waiters : semaphore_lib.c
• __ESBMC_spin_lock_field : pthread_lib.c
• __ESBMC_spin_waiters : pthread_lib.c
• __extension__ : linux.hpp
• __GFP_ACCOUNT : gfp.h
• __GFP_ATOMIC : gfp.h
• __GFP_COMP : gfp.h
• __GFP_DMA : gfp.h
• __GFP_DMA32 : gfp.h
• __GFP_FS : gfp.h
• __GFP_HARDWALL : gfp.h
• __GFP_HIGHMEM : gfp.h
• __GFP_IO : gfp.h
• __GFP_MEMALLOC : gfp.h
• __GFP_NO_KSWAPD : gfp.h
• __GFP_NOFAIL : gfp.h
• __GFP_NORETRY : gfp.h
• __GFP_NOWARN : gfp.h
• __GFP_OTHER_NODE : gfp.h
• __GFP_RECLAIM : gfp.h
• __GFP_REPEAT : gfp.h
• __GFP_THISNODE : gfp.h
• __GFP_WRITE : gfp.h
• __GFP_ZERO : gfp.h
• __global__ : host_defines.h
• __GNUC_VA_LIST : stdarg.h
• __host__ : host_defines.h
• __inline__ : linux.hpp, host_defines.h
• __iovec_defined : socket.h
• __LITTLE_ENDIAN : alltypes.h
• __managed__ : host_defines.h
• __mbstate_t_defined : wchar.h
• __need_NULL : wchar.h
• __need_size_t : wchar.h
• __NEED_uint16_t : cprover_libc_sources.cpp, endian.h
• __NEED_uint32_t : cprover_libc_sources.cpp, endian.h
• __NEED_uint64_t : cprover_libc_sources.cpp, endian.h
• __need_wchar_t : wchar.h
• __need_wint_t : wchar.h
• __PDP_ENDIAN : cprover_libc_sources.cpp, endian.h
• __pid_t_defined : time.h
• __shared__ : host_defines.h
• __signed__ : linux.hpp
• __specialization_static : host_defines.h
• __ssize_t_defined : stdio.h, socket.h
• __STDC_FORMAT_MACROS : build_ast.h, clang_c_convert.h, clang_c_language.h, clang_cpp_convert.h, clang_cpp_language.h, minisat_conv.h, smtlib_conv.cpp
• __STDC_LIMIT_MACROS : build_ast.h, clang_c_convert.h, clang_c_language.h, clang_cpp_convert.h, clang_cpp_language.h, minisat_conv.h
• __STORAGE__ : device_launch_parameters.h
• __struct_tm_defined : time.h
• __time_t_defined : time.h
• __timer_t_defined : time.h
• __TIMESTAMP__ : definitions.h
• __timeval_defined : select.h
• __typeof__ : linux.hpp
• __volatile__ : linux.hpp
• _CLOCK_T : time.h
• _CRT_FUNCTIONS_REQUIRED : corecrt_math.h
• _ENDIAN_H : cprover_libc_sources.cpp
• _IOFBF : stdio.h
• _IOLBF : stdio.h
• _IONBF : stdio.h
• _LIBM_H : cprover_libc_sources.cpp
• _MBSTATE_T : wchar.h
• _MBSTATE_T_DECLARED : wchar.h
• _PTRDIFF_T_DEFINED : stddef.h
• _SIZE_T_DEFINED : stddef.h, definitions.h
• _SSIZE_T : stdio.h, socket.h
• _SSIZE_T_DEFINED : stdio.h, socket.h
• _STRUCT_ITIMERSPEC : time.h
• _STRUCT_TIMESPEC : time.h
• _STRUCT_TIMEVAL : select.h
• _TIME_T : time.h
• _UNUSED : cprover_libc_sources.cpp, libm.h
• _USE_MATH_DEFINES : corecrt_math.h
• _VA_LIST : stdarg.h
• _VA_LIST_DECLARED : stdarg.h
• _WCHAR_T_DEFINED : stddef.h