#include <string>
Go to the source code of this file.
◆ ansi_c_architecture_strings()
void ansi_c_architecture_strings |
( |
std::string & |
code | ) |
|
◆ ansi_c_internal_additions()
void ansi_c_internal_additions |
( |
std::string & |
code, |
|
|
bool |
support_float16_type |
|
) |
| |
◆ arm_builtin_headers
const char arm_builtin_headers[] |
|
extern |
◆ clang_builtin_headers
const char clang_builtin_headers[] |
|
extern |
◆ cprover_builtin_headers
const char cprover_builtin_headers[] |
|
extern |
◆ cw_builtin_headers
const char cw_builtin_headers[] |
|
extern |
◆ gcc_builtin_headers_alpha
const char gcc_builtin_headers_alpha[] |
|
extern |
◆ gcc_builtin_headers_arm
const char gcc_builtin_headers_arm[] |
|
extern |
◆ gcc_builtin_headers_generic
const char gcc_builtin_headers_generic[] |
|
extern |
◆ gcc_builtin_headers_ia32
const char gcc_builtin_headers_ia32[] |
|
extern |
◆ gcc_builtin_headers_ia32_2
const char gcc_builtin_headers_ia32_2[] |
|
extern |
◆ gcc_builtin_headers_ia32_3
const char gcc_builtin_headers_ia32_3[] |
|
extern |
◆ gcc_builtin_headers_ia32_4
const char gcc_builtin_headers_ia32_4[] |
|
extern |
◆ gcc_builtin_headers_ia32_5
const char gcc_builtin_headers_ia32_5[] |
|
extern |
◆ gcc_builtin_headers_ia32_6
const char gcc_builtin_headers_ia32_6[] |
|
extern |
◆ gcc_builtin_headers_ia32_7
const char gcc_builtin_headers_ia32_7[] |
|
extern |
◆ gcc_builtin_headers_ia32_8
const char gcc_builtin_headers_ia32_8[] |
|
extern |
◆ gcc_builtin_headers_ia32_9
const char gcc_builtin_headers_ia32_9[] |
|
extern |
◆ gcc_builtin_headers_math
const char gcc_builtin_headers_math[] |
|
extern |
◆ gcc_builtin_headers_mem_string
const char gcc_builtin_headers_mem_string[] |
|
extern |
◆ gcc_builtin_headers_mips
const char gcc_builtin_headers_mips[] |
|
extern |
◆ gcc_builtin_headers_omp
const char gcc_builtin_headers_omp[] |
|
extern |
◆ gcc_builtin_headers_power
const char gcc_builtin_headers_power[] |
|
extern |
◆ gcc_builtin_headers_tm
const char gcc_builtin_headers_tm[] |
|
extern |
◆ gcc_builtin_headers_types
const char gcc_builtin_headers_types[] |
|
extern |
◆ gcc_builtin_headers_ubsan
const char gcc_builtin_headers_ubsan[] |
|
extern |
◆ windows_builtin_headers
const char windows_builtin_headers[] |
|
extern |