Go to the documentation of this file.
19 "# 1 \"gcc_builtin_headers_types.h\"\n"
20 #include "gcc_builtin_headers_types.inc"
24 "# 1 \"gcc_builtin_headers_generic.h\"\n"
25 #include "gcc_builtin_headers_generic.inc"
29 "# 1 \"gcc_builtin_headers_math.h\"\n"
30 #include "gcc_builtin_headers_math.inc"
34 "# 1 \"gcc_builtin_headers_mem_string.h\"\n"
35 #include "gcc_builtin_headers_mem_string.inc"
39 "# 1 \"gcc_builtin_headers_omp.h\"\n"
40 #include "gcc_builtin_headers_omp.inc"
44 "# 1 \"gcc_builtin_headers_tm.h\"\n"
45 #include "gcc_builtin_headers_tm.inc"
49 "# 1 \"gcc_builtin_headers_ubsan.h\"\n"
50 #include "gcc_builtin_headers_ubsan.inc"
54 "# 1 \"gcc_builtin_headers_ia32.h\"\n"
55 #include "gcc_builtin_headers_ia32.inc"
58 #include "gcc_builtin_headers_ia32-2.inc"
61 #include "gcc_builtin_headers_ia32-3.inc"
64 #include "gcc_builtin_headers_ia32-4.inc"
68 "# 1 \"gcc_builtin_headers_alpha.h\"\n"
69 #include "gcc_builtin_headers_alpha.inc"
73 "# 1 \"gcc_builtin_headers_arm.h\"\n"
74 #include "gcc_builtin_headers_arm.inc"
78 "# 1 \"gcc_builtin_headers_mips.h\"\n"
79 #include "gcc_builtin_headers_mips.inc"
83 "# 1 \"gcc_builtin_headers_power.h\"\n"
84 #include "gcc_builtin_headers_power.inc"
88 "# 1 \"arm_builtin_headers.h\"\n"
89 #include "arm_builtin_headers.inc"
93 "# 1 \"cw_builtin_headers.h\"\n"
94 #include "cw_builtin_headers.inc"
98 "# 1 \"clang_builtin_headers.h\"\n"
99 #include "clang_builtin_headers.inc"
103 "# 1 \"cprover_builtin_headers.h\"\n"
104 #include "cprover_builtin_headers.inc"
108 "# 1 \"windows_builtin_headers.h\"\n"
109 #include "windows_builtin_headers.inc"
114 return std::string(
"const char *" CPROVER_PREFIX "architecture_") +
115 std::string(s) +
"=\"" + value +
"\";\n";
118 template <
typename T>
145 const auto offset_bits = pointer_width - object_bits;
149 const auto bits_for_positive_offset = offset_bits - 1;
158 "# 1 \"<built-in-additions>\"\n"
206 "extern " CPROVER_PREFIX "thread_local const char __PRETTY_FUNCTION__["
217 " short next_avail;\n"
218 " short next_unread;\n"
273 code+=
"typedef long double __float128;\n";
291 code+=
"typedef signed __int128 __int128_t;\n"
292 "typedef unsigned __int128 __uint128_t;\n";
298 code+=
"int __noop();\n"
299 "int __assume(int);\n";
319 code+=
"# 1 \"<builtin-architecture-strings>\"\n";
const char gcc_builtin_headers_omp[]
struct configt::bv_encodingt bv_encoding
std::size_t wchar_t_width
const char gcc_builtin_headers_arm[]
static std::string architecture_string(const std::string &value, const char *s)
@ malloc_failure_mode_assert_then_assume
const char windows_builtin_headers[]
void ansi_c_architecture_strings(std::string &code)
ieee_floatt::rounding_modet rounding_mode
const char gcc_builtin_headers_mem_string[]
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
struct configt::ansi_ct ansi_c
const char gcc_builtin_headers_ubsan[]
const char clang_builtin_headers[]
const char gcc_builtin_headers_types[]
const std::string & id2string(const irep_idt &d)
@ malloc_failure_mode_return_null
#define PRECONDITION(CONDITION)
std::size_t memory_operand_size
#define INITIALIZE_FUNCTION
signedbv_typet signed_size_type()
const char gcc_builtin_headers_ia32[]
std::size_t long_long_int_width
void ansi_c_internal_additions(std::string &code)
const char gcc_builtin_headers_ia32_2[]
const char cw_builtin_headers[]
static std::string os_to_string(ost)
const char arm_builtin_headers[]
static mp_integer max_malloc_size(std::size_t pointer_width, std::size_t object_bits)
The maximum allocation size is determined by the number of bits that are left in the pointer of width...
const char gcc_builtin_headers_mips[]
const char cprover_builtin_headers[]
std::string c_type_as_string(const irep_idt &c_type)
const char gcc_builtin_headers_power[]
const char gcc_builtin_headers_ia32_3[]
std::size_t long_double_width
const char gcc_builtin_headers_tm[]
std::size_t short_int_width
const char gcc_builtin_headers_ia32_4[]
std::size_t pointer_width
const char gcc_builtin_headers_alpha[]
const char gcc_builtin_headers_generic[]
std::size_t long_int_width
const std::string integer2string(const mp_integer &n, unsigned base)
const char gcc_builtin_headers_math[]