9#ifndef CPROVER_UTIL_CONFIG_H
10#define CPROVER_UTIL_CONFIG_H
25#define OPT_CONFIG_C_CPP \
26 "D:I:(include)(function)" \
27 "(c89)(c99)(c11)(cpp98)(cpp03)(cpp11)" \
29 "(round-to-even)(round-to-nearest)" \
30 "(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)" \
33#define HELP_CONFIG_C_CPP \
34 " -I path set include path (C/C++)\n" \
35 " -D macro define preprocessor macro (C/C++)\n" \
36 " --c89/99/11 set C language standard (default: " \
37 << (configt::ansi_ct::default_c_standard()== \
38 configt::ansi_ct::c_standardt::C89?"c89": \
39 configt::ansi_ct::default_c_standard()== \
40 configt::ansi_ct::c_standardt::C99?"c99": \
41 configt::ansi_ct::default_c_standard()== \
42 configt::ansi_ct::c_standardt::C11?"c11":"") << ")\n"\
43 " --cpp98/03/11 set C++ language standard (default: " \
44 << (configt::cppt::default_cpp_standard()== \
45 configt::cppt::cpp_standardt::CPP98?"cpp98":\
46 configt::cppt::default_cpp_standard()== \
47 configt::cppt::cpp_standardt::CPP03?"cpp03":\
48 configt::cppt::default_cpp_standard()== \
49 configt::cppt::cpp_standardt::CPP11?"cpp11":"") << ")\n"\
50 " --unsigned-char make \"char\" unsigned by default\n" \
51 " --round-to-nearest rounding towards nearest even (default)\n" \
52 " --round-to-plus-inf rounding towards plus infinity\n" \
53 " --round-to-minus-inf rounding towards minus infinity\n" \
54 " --round-to-zero rounding towards zero\n" \
55 " --no-library disable built-in abstract C library\n" \
58#define OPT_CONFIG_LIBRARY \
59 "(malloc-fail-assert)(malloc-fail-null)(malloc-may-fail)" \
60 "(string-abstraction)" \
62#define HELP_CONFIG_LIBRARY \
63" --malloc-may-fail allow malloc calls to return a null pointer\n" \
64" --malloc-fail-assert set malloc failure mode to assert-then-assume\n"\
65" --malloc-fail-null set malloc failure mode to return null\n" \
68#define OPT_CONFIG_JAVA \
69 "(classpath)(cp)(main-class)" \
72#define OPT_CONFIG_PLATFORM \
74 "(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
75 "(little-endian)(big-endian)" \
77 "(i386-win32)(win32)(winx64)" \
78 "(i386-macos)(ppc-macos)" \
81#define HELP_CONFIG_PLATFORM \
82 " --arch set architecture (default: " \
83 << configt::this_architecture() << ")\n" \
84 " --os set operating system (default: " \
85 << configt::this_operating_system() << ")\n" \
86 " --16, --32, --64 set width of int\n" \
87 " --LP64, --ILP64, --LLP64,\n" \
88 " --ILP32, --LP32 set width of int, long and pointers\n" \
89 " --little-endian allow little-endian word-byte conversions\n" \
90 " --big-endian allow big-endian word-byte conversions\n" \
91 " --gcc use GCC as preprocessor\n" \
93#define OPT_CONFIG_BACKEND \
96#define HELP_CONFIG_BACKEND \
97 " --object-bits n number of bits used for object addresses\n"
Globally accessible architectural configuration.
void set_from_symbol_table(const symbol_tablet &)
void set_arch(const irep_idt &)
void set_object_bits_from_symbol_table(const symbol_tablet &)
Sets the number of bits used for object addresses.
struct configt::bv_encodingt bv_encoding
bool set(const cmdlinet &cmdline)
optionalt< std::string > main
struct configt::verilogt verilog
std::string object_bits_info()
void set_classpath(const std::string &cp)
static irep_idt this_architecture()
struct configt::javat java
static irep_idt this_operating_system()
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
nonstd::optional< T > optionalt
std::size_t long_double_width
std::list< std::string > include_paths
optionalt< mp_integer > max_argc
Maximum value of argc, which is operating-systems dependent: Windows limits the number of characters ...
enum configt::ansi_ct::c_standardt c_standard
void set_arch_spec_riscv64()
void set_ILP32()
int=32, long=32, pointer=32
bool ts_18661_3_Floatn_types
void set_arch_spec_v850()
Sets up the widths of variables for the Renesas V850.
void set_arch_spec_hppa()
static std::string os_to_string(ost)
std::size_t pointer_width
std::list< std::string > include_files
void set_ILP64()
int=64, long=64, pointer=64
std::list< std::string > undefines
ieee_floatt::rounding_modet rounding_mode
std::list< std::string > preprocessor_options
void set_arch_spec_sparc(const irep_idt &subarch)
static ost string_to_os(const std::string &)
std::list< std::string > defines
bool single_precision_constant
void set_LLP64()
int=32, long=32, pointer=64
void set_arch_spec_arm(const irep_idt &subarch)
std::size_t wchar_t_width
preprocessort preprocessor
@ malloc_failure_mode_return_null
@ malloc_failure_mode_none
@ malloc_failure_mode_assert_then_assume
static c_standardt default_c_standard()
void set_arch_spec_alpha()
void set_arch_spec_power(const irep_idt &subarch)
void set_arch_spec_s390()
void set_LP64()
int=32, long=64, pointer=64
void set_arch_spec_x86_64()
void set_LP32()
int=16, long=32, pointer=32
std::size_t memory_operand_size
std::size_t long_long_int_width
void set_arch_spec_s390x()
std::size_t long_int_width
void set_arch_spec_mips(const irep_idt &subarch)
void set_arch_spec_i386()
std::size_t short_int_width
static const std::size_t default_object_bits
malloc_failure_modet malloc_failure_mode
void set_arch_spec_ia64()
bool is_object_bits_default
enum configt::cppt::cpp_standardt cpp_standard
static const std::size_t default_object_bits
static cpp_standardt default_cpp_standard()
std::list< std::string > classpatht
static const std::size_t default_object_bits
std::list< std::string > include_paths