17 "# 1 \"gcc_builtin_headers_types.h\"\n" 18 #include "gcc_builtin_headers_types.inc" 22 "# 1 \"gcc_builtin_headers_generic.h\"\n" 23 #include "gcc_builtin_headers_generic.inc" 27 "# 1 \"gcc_builtin_headers_math.h\"\n" 28 #include "gcc_builtin_headers_math.inc" 32 "# 1 \"gcc_builtin_headers_mem_string.h\"\n" 33 #include "gcc_builtin_headers_mem_string.inc" 37 "# 1 \"gcc_builtin_headers_omp.h\"\n" 38 #include "gcc_builtin_headers_omp.inc" 42 "# 1 \"gcc_builtin_headers_tm.h\"\n" 43 #include "gcc_builtin_headers_tm.inc" 47 "# 1 \"gcc_builtin_headers_ubsan.h\"\n" 48 #include "gcc_builtin_headers_ubsan.inc" 52 "# 1 \"gcc_builtin_headers_ia32.h\"\n" 53 #include "gcc_builtin_headers_ia32.inc" 56 #include "gcc_builtin_headers_ia32-2.inc" 59 #include "gcc_builtin_headers_ia32-3.inc" 62 #include "gcc_builtin_headers_ia32-4.inc" 66 "# 1 \"gcc_builtin_headers_alpha.h\"\n" 67 #include "gcc_builtin_headers_alpha.inc" 71 "# 1 \"gcc_builtin_headers_arm.h\"\n" 72 #include "gcc_builtin_headers_arm.inc" 76 "# 1 \"gcc_builtin_headers_mips.h\"\n" 77 #include "gcc_builtin_headers_mips.inc" 81 "# 1 \"gcc_builtin_headers_power.h\"\n" 82 #include "gcc_builtin_headers_power.inc" 86 "# 1 \"arm_builtin_headers.h\"\n" 87 #include "arm_builtin_headers.inc" 91 "# 1 \"cw_builtin_headers.h\"\n" 92 #include "cw_builtin_headers.inc" 96 "# 1 \"clang_builtin_headers.h\"\n" 97 #include "clang_builtin_headers.inc" 101 "# 1 \"cprover_builtin_headers.h\"\n" 102 #include "cprover_builtin_headers.inc" 106 "# 1 \"windows_builtin_headers.h\"\n" 107 #include "windows_builtin_headers.inc" 112 return std::string(
"const char *__CPROVER_architecture_")+
117 template <
typename T>
120 return std::string(
"const int __CPROVER_architecture_")+
129 "# 1 \"<built-in-additions>\"\n" 130 "typedef __typeof__(sizeof(int)) __CPROVER_size_t;\n" 132 " __CPROVER_ssize_t;\n" 133 "const unsigned __CPROVER_constant_infinity_uint;\n" 134 "typedef void __CPROVER_integer;\n" 135 "typedef void __CPROVER_rational;\n" 136 "__CPROVER_thread_local unsigned long __CPROVER_thread_id=0;\n" 138 "__CPROVER_bool __CPROVER_threads_exited[__CPROVER_constant_infinity_uint];\n" 139 "unsigned long __CPROVER_next_thread_id=0;\n" 141 "extern unsigned char __CPROVER_memory[__CPROVER_constant_infinity_uint];\n" 144 "const void *__CPROVER_deallocated=0;\n" 145 "const void *__CPROVER_dead_object=0;\n" 146 "const void *__CPROVER_malloc_object=0;\n" 147 "__CPROVER_size_t __CPROVER_malloc_size;\n" 148 "__CPROVER_bool __CPROVER_malloc_is_new_array=0;\n" 149 "const void *__CPROVER_memory_leak=0;\n" 150 "void *__CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero);\n" 154 "extern __CPROVER_thread_local const char __func__[__CPROVER_constant_infinity_uint];\n" 158 "extern __CPROVER_thread_local const char __FUNCTION__[__CPROVER_constant_infinity_uint];\n" 160 "extern __CPROVER_thread_local const char __PRETTY_FUNCTION__[__CPROVER_constant_infinity_uint];\n" 163 "int __CPROVER_thread_local __CPROVER_rounding_mode="+
167 "struct __CPROVER_pipet {\n" 170 " short next_avail;\n" 171 " short next_unread;\n" 174 "extern struct __CPROVER_pipet __CPROVER_pipes[__CPROVER_constant_infinity_uint];\n" 176 "extern const int __CPROVER_pipe_offset;\n" 177 "unsigned __CPROVER_pipe_count=0;\n" 205 code +=
"typedef __CPROVER_Float128 __float128;\n";
213 code+=
"typedef long double __float128;\n";
223 code +=
"typedef __CPROVER_Float64x __float80;\n";
230 code+=
"typedef signed __int128 __int128_t;\n" 231 "typedef unsigned __int128 __uint128_t;\n";
237 code+=
"int __noop();\n" 238 "int __assume(int);\n";
258 code+=
"# 1 \"<builtin-architecture-strings>\"\n";
struct configt::ansi_ct ansi_c
const std::string & id2string(const irep_idt &d)
const char gcc_builtin_headers_ia32_3[]
const char gcc_builtin_headers_ubsan[]
static std::string os_to_string(ost)
const char gcc_builtin_headers_types[]
const char gcc_builtin_headers_alpha[]
signedbv_typet signed_size_type()
const char arm_builtin_headers[]
void ansi_c_internal_additions(std::string &code)
const char cw_builtin_headers[]
const char gcc_builtin_headers_omp[]
const char gcc_builtin_headers_mips[]
static std::string architecture_string(const std::string &value, const char *s)
std::size_t long_long_int_width
const char cprover_builtin_headers[]
#define INITIALIZE_FUNCTION
void ansi_c_architecture_strings(std::string &code)
const char gcc_builtin_headers_generic[]
const char windows_builtin_headers[]
const char gcc_builtin_headers_tm[]
const char gcc_builtin_headers_mem_string[]
std::size_t pointer_width
const char gcc_builtin_headers_ia32_4[]
std::string c_type_as_string(const irep_idt &c_type)
std::size_t wchar_t_width
ieee_floatt::rounding_modet rounding_mode
const char clang_builtin_headers[]
const char gcc_builtin_headers_math[]
std::string to_string(const string_constraintt &expr)
Used for debug printing.
const char gcc_builtin_headers_ia32[]
std::size_t memory_operand_size
const char gcc_builtin_headers_arm[]
const char gcc_builtin_headers_ia32_2[]
std::size_t long_int_width
std::size_t short_int_width
std::size_t long_double_width
const char gcc_builtin_headers_power[]