#include <config.h>
|
| enum class | c_standardt { C89
, C99
, C11
} |
| |
| 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
} |
| |
|
| void | set_c89 () |
| |
| void | set_c99 () |
| |
| void | set_c11 () |
| |
| void | set_16 () |
| |
| void | set_32 () |
| |
| void | set_64 () |
| |
| void | set_LP64 () |
| | int=32, long=64, pointer=64 More...
|
| |
| void | set_ILP64 () |
| | int=64, long=64, pointer=64 More...
|
| |
| void | set_LLP64 () |
| | int=32, long=32, pointer=64 More...
|
| |
| void | set_ILP32 () |
| | int=32, long=32, pointer=32 More...
|
| |
| void | set_LP32 () |
| | int=16, long=32, pointer=32 More...
|
| |
| void | set_arch_spec_i386 () |
| |
| void | set_arch_spec_x86_64 () |
| |
| void | set_arch_spec_power (const irep_idt &subarch) |
| |
| void | set_arch_spec_arm (const irep_idt &subarch) |
| |
| void | set_arch_spec_alpha () |
| |
| void | set_arch_spec_mips (const irep_idt &subarch) |
| |
| void | set_arch_spec_riscv64 () |
| |
| void | set_arch_spec_s390 () |
| |
| void | set_arch_spec_s390x () |
| |
| void | set_arch_spec_sparc (const irep_idt &subarch) |
| |
| void | set_arch_spec_ia64 () |
| |
| void | set_arch_spec_x32 () |
| |
| void | set_arch_spec_v850 () |
| | Sets up the widths of variables for the Renesas V850. More...
|
| |
| void | set_arch_spec_hppa () |
| |
| void | set_arch_spec_sh4 () |
| |
Definition at line 134 of file config.h.
◆ c_standardt
◆ endiannesst
| Enumerator |
|---|
| NO_ENDIANNESS | |
| IS_LITTLE_ENDIAN | |
| IS_BIG_ENDIAN | |
Definition at line 201 of file config.h.
◆ flavourt
| Enumerator |
|---|
| NONE | |
| ANSI | |
| GCC | |
| ARM | |
| CLANG | |
| VISUAL_STUDIO | |
| CODEWARRIOR | |
Definition at line 242 of file config.h.
◆ libt
| Enumerator |
|---|
| LIB_NONE | |
| LIB_FULL | |
Definition at line 271 of file config.h.
◆ malloc_failure_modet
| Enumerator |
|---|
| malloc_failure_mode_none | |
| malloc_failure_mode_return_null | |
| malloc_failure_mode_assert_then_assume | |
Definition at line 281 of file config.h.
◆ ost
| Enumerator |
|---|
| NO_OS | |
| OS_LINUX | |
| OS_MACOS | |
| OS_WIN | |
Definition at line 209 of file config.h.
◆ preprocessort
| Enumerator |
|---|
| NONE | |
| GCC | |
| CLANG | |
| VISUAL_STUDIO | |
| CODEWARRIOR | |
| ARM | |
Definition at line 254 of file config.h.
◆ default_c_standard()
◆ os_to_string()
| std::string configt::ansi_ct::os_to_string |
( |
ost |
os | ) |
|
|
static |
◆ set_16()
| void configt::ansi_ct::set_16 |
( |
| ) |
|
◆ set_32()
| void configt::ansi_ct::set_32 |
( |
| ) |
|
◆ set_64()
| void configt::ansi_ct::set_64 |
( |
| ) |
|
◆ set_arch_spec_alpha()
| void configt::ansi_ct::set_arch_spec_alpha |
( |
| ) |
|
◆ set_arch_spec_arm()
| void configt::ansi_ct::set_arch_spec_arm |
( |
const irep_idt & |
subarch | ) |
|
◆ set_arch_spec_hppa()
| void configt::ansi_ct::set_arch_spec_hppa |
( |
| ) |
|
◆ set_arch_spec_i386()
| void configt::ansi_ct::set_arch_spec_i386 |
( |
| ) |
|
◆ set_arch_spec_ia64()
| void configt::ansi_ct::set_arch_spec_ia64 |
( |
| ) |
|
◆ set_arch_spec_mips()
| void configt::ansi_ct::set_arch_spec_mips |
( |
const irep_idt & |
subarch | ) |
|
◆ set_arch_spec_power()
| void configt::ansi_ct::set_arch_spec_power |
( |
const irep_idt & |
subarch | ) |
|
◆ set_arch_spec_riscv64()
| void configt::ansi_ct::set_arch_spec_riscv64 |
( |
| ) |
|
◆ set_arch_spec_s390()
| void configt::ansi_ct::set_arch_spec_s390 |
( |
| ) |
|
◆ set_arch_spec_s390x()
| void configt::ansi_ct::set_arch_spec_s390x |
( |
| ) |
|
◆ set_arch_spec_sh4()
| void configt::ansi_ct::set_arch_spec_sh4 |
( |
| ) |
|
◆ set_arch_spec_sparc()
| void configt::ansi_ct::set_arch_spec_sparc |
( |
const irep_idt & |
subarch | ) |
|
◆ set_arch_spec_v850()
| void configt::ansi_ct::set_arch_spec_v850 |
( |
| ) |
|
Sets up the widths of variables for the Renesas V850.
Definition at line 593 of file config.cpp.
◆ set_arch_spec_x32()
| void configt::ansi_ct::set_arch_spec_x32 |
( |
| ) |
|
◆ set_arch_spec_x86_64()
| void configt::ansi_ct::set_arch_spec_x86_64 |
( |
| ) |
|
◆ set_c11()
| void configt::ansi_ct::set_c11 |
( |
| ) |
|
|
inline |
◆ set_c89()
| void configt::ansi_ct::set_c89 |
( |
| ) |
|
|
inline |
◆ set_c99()
| void configt::ansi_ct::set_c99 |
( |
| ) |
|
|
inline |
◆ set_ILP32()
| void configt::ansi_ct::set_ILP32 |
( |
| ) |
|
int=32, long=32, pointer=32
Definition at line 111 of file config.cpp.
◆ set_ILP64()
| void configt::ansi_ct::set_ILP64 |
( |
| ) |
|
int=64, long=64, pointer=64
Definition at line 71 of file config.cpp.
◆ set_LLP64()
| void configt::ansi_ct::set_LLP64 |
( |
| ) |
|
int=32, long=32, pointer=64
Definition at line 91 of file config.cpp.
◆ set_LP32()
| void configt::ansi_ct::set_LP32 |
( |
| ) |
|
int=16, long=32, pointer=32
Definition at line 131 of file config.cpp.
◆ set_LP64()
| void configt::ansi_ct::set_LP64 |
( |
| ) |
|
int=32, long=64, pointer=64
Definition at line 47 of file config.cpp.
◆ string_to_os()
◆ alignment
| std::size_t configt::ansi_ct::alignment |
◆ arch
◆ bf16_type
| bool configt::ansi_ct::bf16_type |
◆ bool_width
| std::size_t configt::ansi_ct::bool_width |
◆ c_standard
◆ char_is_unsigned
| bool configt::ansi_ct::char_is_unsigned |
◆ char_width
| std::size_t configt::ansi_ct::char_width |
◆ default_object_bits
| const std::size_t configt::ansi_ct::default_object_bits = 8 |
|
static |
◆ defines
| std::list<std::string> configt::ansi_ct::defines |
◆ double_width
| std::size_t configt::ansi_ct::double_width |
◆ endianness
◆ float16_type
| bool configt::ansi_ct::float16_type |
◆ for_has_scope
| bool configt::ansi_ct::for_has_scope |
◆ gcc__float128_type
| bool configt::ansi_ct::gcc__float128_type |
◆ include_files
| std::list<std::string> configt::ansi_ct::include_files |
◆ include_paths
| std::list<std::string> configt::ansi_ct::include_paths |
◆ int_width
| std::size_t configt::ansi_ct::int_width |
◆ lib
| libt configt::ansi_ct::lib |
◆ long_double_width
| std::size_t configt::ansi_ct::long_double_width |
◆ long_int_width
| std::size_t configt::ansi_ct::long_int_width |
◆ long_long_int_width
| std::size_t configt::ansi_ct::long_long_int_width |
◆ malloc_failure_mode
◆ malloc_may_fail
| bool configt::ansi_ct::malloc_may_fail = true |
◆ max_argc
| 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).
Definition at line 295 of file config.h.
◆ memory_operand_size
| std::size_t configt::ansi_ct::memory_operand_size |
◆ mode
◆ NULL_is_zero
| bool configt::ansi_ct::NULL_is_zero |
◆ os
◆ pointer_width
| std::size_t configt::ansi_ct::pointer_width |
◆ preprocessor
◆ preprocessor_options
| std::list<std::string> configt::ansi_ct::preprocessor_options |
◆ rounding_mode
◆ short_int_width
| std::size_t configt::ansi_ct::short_int_width |
◆ single_precision_constant
| bool configt::ansi_ct::single_precision_constant |
◆ single_width
| std::size_t configt::ansi_ct::single_width |
◆ string_abstraction
| bool configt::ansi_ct::string_abstraction |
◆ ts_18661_3_Floatn_types
| bool configt::ansi_ct::ts_18661_3_Floatn_types |
◆ undefines
| std::list<std::string> configt::ansi_ct::undefines |
◆ wchar_t_is_unsigned
| bool configt::ansi_ct::wchar_t_is_unsigned |
◆ wchar_t_width
| std::size_t configt::ansi_ct::wchar_t_width |
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/util/config.h
- /home/runner/work/cbmc/cbmc/src/util/config.cpp
Collaboration diagram for configt::ansi_ct: