cprover
ansi_c_internal_additions.cpp File Reference
#include "ansi_c_internal_additions.h"
#include <util/config.h>
#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 dependency graph for ansi_c_internal_additions.cpp:

Go to the source code of this file.

Functions

static std::string architecture_string (const std::string &value, const char *s)
 
static std::string architecture_string (int value, const char *s)
 
void ansi_c_internal_additions (std::string &code)
 
void ansi_c_architecture_strings (std::string &code)
 

Variables

const char gcc_builtin_headers_generic []
 
const char gcc_builtin_headers_math []
 
const char gcc_builtin_headers_mem_string []
 
const char gcc_builtin_headers_omp []
 
const char gcc_builtin_headers_tm []
 
const char gcc_builtin_headers_ubsan []
 
const char gcc_builtin_headers_ia32 []
 
const char gcc_builtin_headers_ia32_2 []
 
const char gcc_builtin_headers_ia32_3 []
 
const char gcc_builtin_headers_ia32_4 []
 
const char gcc_builtin_headers_alpha []
 
const char gcc_builtin_headers_arm []
 
const char gcc_builtin_headers_mips []
 
const char gcc_builtin_headers_power []
 
const char arm_builtin_headers []
 
const char cw_builtin_headers []
 
const char clang_builtin_headers []
 

Function Documentation

§ ansi_c_architecture_strings()

§ ansi_c_internal_additions()

§ architecture_string() [1/2]

static std::string architecture_string ( const std::string &  value,
const char *  s 
)
static

Definition at line 92 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_architecture_strings().

§ architecture_string() [2/2]

static std::string architecture_string ( int  value,
const char *  s 
)
static

Definition at line 99 of file ansi_c_internal_additions.cpp.

Variable Documentation

§ arm_builtin_headers

const char arm_builtin_headers[]
Initial value:
=
"# 1 \"arm_builtin_headers.h\"\n"
# 79 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 77 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ clang_builtin_headers

const char clang_builtin_headers[]
Initial value:
=
"# 1 \"clang_builtin_headers.h\"\n"
# 89 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 87 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ cw_builtin_headers

const char cw_builtin_headers[]
Initial value:
=
"# 1 \"cw_builtin_headers.h\"\n"
# 84 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 82 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ gcc_builtin_headers_alpha

const char gcc_builtin_headers_alpha[]
Initial value:
=
"# 1 \"gcc_builtin_headers_alpha.h\"\n"
# 59 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 57 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ gcc_builtin_headers_arm

const char gcc_builtin_headers_arm[]
Initial value:
=
"# 1 \"gcc_builtin_headers_arm.h\"\n"
# 64 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 62 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[]
Initial value:
=
"# 1 \"gcc_builtin_headers_generic.h\"\n"
# 15 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 13 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[]
Initial value:
=
"# 1 \"gcc_builtin_headers_ia32.h\"\n"
# 45 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 43 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[]
Initial value:
=
# 48 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 47 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[]
Initial value:
=
# 51 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 50 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[]
Initial value:
=
# 54 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 53 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_math

const char gcc_builtin_headers_math[]
Initial value:
=
"# 1 \"gcc_builtin_headers_math.h\"\n"
# 20 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 18 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[]
Initial value:
=
"# 1 \"gcc_builtin_headers_mem_string.h\"\n"
# 25 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 23 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_mips

const char gcc_builtin_headers_mips[]
Initial value:
=
"# 1 \"gcc_builtin_headers_mips.h\"\n"
# 69 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 67 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[]
Initial value:
=
"# 1 \"gcc_builtin_headers_omp.h\"\n"
# 30 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 28 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_power

const char gcc_builtin_headers_power[]
Initial value:
=
"# 1 \"gcc_builtin_headers_power.h\"\n"
# 74 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 72 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[]
Initial value:
=
"# 1 \"gcc_builtin_headers_tm.h\"\n"
# 35 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 33 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().

§ gcc_builtin_headers_ubsan

const char gcc_builtin_headers_ubsan[]
Initial value:
=
"# 1 \"gcc_builtin_headers_ubsan.h\"\n"
# 40 "/builddir/build/BUILD/cbmc-cbmc-5.8/src/ansi-c/ansi_c_internal_additions.cpp" 2

Definition at line 38 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions(), and cpp_internal_additions().