cprover
|
#include <string>
Go to the source code of this file.
Functions | |
void | ansi_c_internal_additions (std::string &code) |
void | ansi_c_architecture_strings (std::string &code) |
Variables | |
const char | clang_builtin_headers [] |
const char | cprover_builtin_headers [] |
const char | gcc_builtin_headers_types [] |
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 | windows_builtin_headers [] |
void ansi_c_architecture_strings | ( | std::string & | code | ) |
Definition at line 273 of file ansi_c_internal_additions.cpp.
void ansi_c_internal_additions | ( | std::string & | code | ) |
Definition at line 123 of file ansi_c_internal_additions.cpp.
const char arm_builtin_headers[] |
Definition at line 85 of file ansi_c_internal_additions.cpp.
const char clang_builtin_headers[] |
Definition at line 95 of file ansi_c_internal_additions.cpp.
const char cprover_builtin_headers[] |
Definition at line 100 of file ansi_c_internal_additions.cpp.
const char cw_builtin_headers[] |
Definition at line 90 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_alpha[] |
Definition at line 65 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_arm[] |
Definition at line 70 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_generic[] |
Definition at line 21 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_ia32[] |
Definition at line 51 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_ia32_2[] |
Definition at line 55 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_ia32_3[] |
Definition at line 58 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_ia32_4[] |
Definition at line 61 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_math[] |
Definition at line 26 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_mem_string[] |
Definition at line 31 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_mips[] |
Definition at line 75 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_omp[] |
Definition at line 36 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_power[] |
Definition at line 80 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_tm[] |
Definition at line 41 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_types[] |
Definition at line 16 of file ansi_c_internal_additions.cpp.
const char gcc_builtin_headers_ubsan[] |
Definition at line 46 of file ansi_c_internal_additions.cpp.
const char windows_builtin_headers[] |
Definition at line 105 of file ansi_c_internal_additions.cpp.