CBMC
|
#include <config.h>
Public Types | |
enum class | c_standardt { C89 , C99 , C11 , C17 , C23 } |
enum class | endiannesst { NO_ENDIANNESS , IS_LITTLE_ENDIAN , IS_BIG_ENDIAN } |
enum class | ost { NO_OS , OS_LINUX , OS_MACOS , OS_WIN } |
enum class | flavourt { NONE , ANSI , GCC , ARM , CLANG , VISUAL_STUDIO , CODEWARRIOR } |
enum class | preprocessort { NONE , GCC , CLANG , VISUAL_STUDIO , CODEWARRIOR , ARM } |
enum class | libt { LIB_NONE , LIB_FULL } |
enum | malloc_failure_modet { malloc_failure_mode_none = 0 , malloc_failure_mode_return_null = 1 , malloc_failure_mode_assert_then_assume = 2 } |
Static Public Member Functions | |
static c_standardt | default_c_standard () |
static std::string | os_to_string (ost) |
static ost | string_to_os (const std::string &) |
Static Public Attributes | |
static const std::size_t | default_object_bits = 8 |
|
strong |
|
strong |
|
strong |
|
static |
Definition at line 736 of file config.cpp.
|
static |
Definition at line 1284 of file config.cpp.
void configt::ansi_ct::set_16 | ( | ) |
Definition at line 27 of file config.cpp.
void configt::ansi_ct::set_32 | ( | ) |
Definition at line 32 of file config.cpp.
void configt::ansi_ct::set_64 | ( | ) |
Definition at line 37 of file config.cpp.
void configt::ansi_ct::set_arch_spec_alpha | ( | ) |
Definition at line 327 of file config.cpp.
Definition at line 281 of file config.cpp.
void configt::ansi_ct::set_arch_spec_emscripten | ( | ) |
Definition at line 707 of file config.cpp.
void configt::ansi_ct::set_arch_spec_hppa | ( | ) |
Definition at line 619 of file config.cpp.
void configt::ansi_ct::set_arch_spec_i386 | ( | ) |
Definition at line 150 of file config.cpp.
void configt::ansi_ct::set_arch_spec_ia64 | ( | ) |
Definition at line 529 of file config.cpp.
void configt::ansi_ct::set_arch_spec_loongarch64 | ( | ) |
Definition at line 678 of file config.cpp.
Definition at line 356 of file config.cpp.
Definition at line 220 of file config.cpp.
void configt::ansi_ct::set_arch_spec_riscv64 | ( | ) |
Definition at line 406 of file config.cpp.
void configt::ansi_ct::set_arch_spec_s390 | ( | ) |
Definition at line 432 of file config.cpp.
void configt::ansi_ct::set_arch_spec_s390x | ( | ) |
Definition at line 461 of file config.cpp.
void configt::ansi_ct::set_arch_spec_sh4 | ( | ) |
Definition at line 648 of file config.cpp.
Definition at line 489 of file config.cpp.
void configt::ansi_ct::set_arch_spec_v850 | ( | ) |
Sets up the widths of variables for the Renesas V850.
Definition at line 596 of file config.cpp.
void configt::ansi_ct::set_arch_spec_x32 | ( | ) |
Definition at line 560 of file config.cpp.
void configt::ansi_ct::set_arch_spec_x86_64 | ( | ) |
Definition at line 182 of file config.cpp.
void configt::ansi_ct::set_ILP32 | ( | ) |
int=32, long=32, pointer=32
Definition at line 111 of file config.cpp.
void configt::ansi_ct::set_ILP64 | ( | ) |
int=64, long=64, pointer=64
Definition at line 71 of file config.cpp.
void configt::ansi_ct::set_LLP64 | ( | ) |
int=32, long=32, pointer=64
Definition at line 91 of file config.cpp.
void configt::ansi_ct::set_LP32 | ( | ) |
int=16, long=32, pointer=32
Definition at line 131 of file config.cpp.
void configt::ansi_ct::set_LP64 | ( | ) |
int=32, long=64, pointer=64
Definition at line 47 of file config.cpp.
|
static |
Definition at line 1299 of file config.cpp.
enum configt::ansi_ct::c_standardt configt::ansi_ct::c_standard |
|
static |
endiannesst configt::ansi_ct::endianness |
malloc_failure_modet configt::ansi_ct::malloc_failure_mode = malloc_failure_mode_return_null |
std::optional<mp_integer> configt::ansi_ct::max_argc |
Maximum value of argc, which is operating-systems dependent: Windows limits the number of characters accepte by CreateProcess, and Unix systems have sysconf(ARG_MAX).
preprocessort configt::ansi_ct::preprocessor |
std::list<std::string> configt::ansi_ct::preprocessor_options |
ieee_floatt::rounding_modet configt::ansi_ct::rounding_mode |