#include "ansi_c_internal_additions.h"
#include <util/c_types.h>
#include <util/config.h>
#include <linking/static_lifetime_init.h>
#include "gcc_builtin_headers_types.inc"
#include "gcc_builtin_headers_generic.inc"
#include "gcc_builtin_headers_math.inc"
#include "gcc_builtin_headers_mem_string.inc"
#include "gcc_builtin_headers_omp.inc"
#include "gcc_builtin_headers_tm.inc"
#include "gcc_builtin_headers_ubsan.inc"
#include "gcc_builtin_headers_ia32.inc"
#include "gcc_builtin_headers_ia32-2.inc"
#include "gcc_builtin_headers_ia32-3.inc"
#include "gcc_builtin_headers_ia32-4.inc"
#include "gcc_builtin_headers_alpha.inc"
#include "gcc_builtin_headers_arm.inc"
#include "gcc_builtin_headers_mips.inc"
#include "gcc_builtin_headers_power.inc"
#include "arm_builtin_headers.inc"
#include "cw_builtin_headers.inc"
#include "clang_builtin_headers.inc"
#include "cprover_builtin_headers.inc"
#include "windows_builtin_headers.inc"
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 | ) |
|
◆ architecture_string() [1/2]
static std::string architecture_string |
( |
const std::string & |
value, |
|
|
const char * |
s |
|
) |
| |
|
static |
◆ architecture_string() [2/2]
template<typename T >
static std::string architecture_string |
( |
T |
value, |
|
|
const char * |
s |
|
) |
| |
|
static |
◆ arm_builtin_headers
const char arm_builtin_headers[] |
Initial value:=
"# 1 \"arm_builtin_headers.h\"\n"
# 87 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 85 of file ansi_c_internal_additions.cpp.
◆ clang_builtin_headers
const char clang_builtin_headers[] |
Initial value:=
"# 1 \"clang_builtin_headers.h\"\n"
# 97 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 95 of file ansi_c_internal_additions.cpp.
◆ cprover_builtin_headers
const char cprover_builtin_headers[] |
Initial value:=
"# 1 \"cprover_builtin_headers.h\"\n"
# 102 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 100 of file ansi_c_internal_additions.cpp.
◆ cw_builtin_headers
const char cw_builtin_headers[] |
Initial value:=
"# 1 \"cw_builtin_headers.h\"\n"
# 92 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 90 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_alpha
const char gcc_builtin_headers_alpha[] |
Initial value:=
"# 1 \"gcc_builtin_headers_alpha.h\"\n"
# 67 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 65 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_arm
const char gcc_builtin_headers_arm[] |
Initial value:=
"# 1 \"gcc_builtin_headers_arm.h\"\n"
# 72 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 70 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_generic
const char gcc_builtin_headers_generic[] |
Initial value:=
"# 1 \"gcc_builtin_headers_generic.h\"\n"
# 23 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 21 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32
const char gcc_builtin_headers_ia32[] |
Initial value:=
"# 1 \"gcc_builtin_headers_ia32.h\"\n"
# 53 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 51 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_2
const char gcc_builtin_headers_ia32_2[] |
Initial value:=
# 56 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 55 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_3
const char gcc_builtin_headers_ia32_3[] |
Initial value:=
# 59 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 58 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_4
const char gcc_builtin_headers_ia32_4[] |
Initial value:=
# 62 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 61 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_math
const char gcc_builtin_headers_math[] |
Initial value:=
"# 1 \"gcc_builtin_headers_math.h\"\n"
# 28 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 26 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mem_string
const char gcc_builtin_headers_mem_string[] |
Initial value:=
"# 1 \"gcc_builtin_headers_mem_string.h\"\n"
# 33 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 31 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mips
const char gcc_builtin_headers_mips[] |
Initial value:=
"# 1 \"gcc_builtin_headers_mips.h\"\n"
# 77 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 75 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_omp
const char gcc_builtin_headers_omp[] |
Initial value:=
"# 1 \"gcc_builtin_headers_omp.h\"\n"
# 38 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 36 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_power
const char gcc_builtin_headers_power[] |
Initial value:=
"# 1 \"gcc_builtin_headers_power.h\"\n"
# 82 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 80 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_tm
const char gcc_builtin_headers_tm[] |
Initial value:=
"# 1 \"gcc_builtin_headers_tm.h\"\n"
# 43 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 41 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_types
const char gcc_builtin_headers_types[] |
Initial value:=
"# 1 \"gcc_builtin_headers_types.h\"\n"
# 18 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 16 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ubsan
const char gcc_builtin_headers_ubsan[] |
Initial value:=
"# 1 \"gcc_builtin_headers_ubsan.h\"\n"
# 48 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 46 of file ansi_c_internal_additions.cpp.
◆ windows_builtin_headers
const char windows_builtin_headers[] |
Initial value:=
"# 1 \"windows_builtin_headers.h\"\n"
# 107 "/builddir/build/BUILD/cbmc-cbmc-5.11/src/ansi-c/ansi_c_internal_additions.cpp" 2
Definition at line 105 of file ansi_c_internal_additions.cpp.