#include <string>
Include dependency graph for ansi_c_internal_additions.h: This graph shows which files directly or indirectly include this file: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_ia32_5 [] |
| 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 [] |
Function Documentation
◆ ansi_c_architecture_strings()
| void ansi_c_architecture_strings | ( | std::string & | code | ) |
Definition at line 315 of file ansi_c_internal_additions.cpp.
◆ ansi_c_internal_additions()
| void ansi_c_internal_additions | ( | std::string & | code | ) |
Definition at line 148 of file ansi_c_internal_additions.cpp.
Variable Documentation
◆ arm_builtin_headers
| const char arm_builtin_headers[] |
Definition at line 87 of file ansi_c_internal_additions.cpp.
◆ clang_builtin_headers
| const char clang_builtin_headers[] |
Definition at line 95 of file ansi_c_internal_additions.cpp.
◆ cprover_builtin_headers
| const char cprover_builtin_headers[] |
Definition at line 99 of file ansi_c_internal_additions.cpp.
◆ cw_builtin_headers
| const char cw_builtin_headers[] |
Definition at line 91 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_alpha
| const char gcc_builtin_headers_alpha[] |
Definition at line 68 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_arm
| const char gcc_builtin_headers_arm[] |
Definition at line 73 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_generic
| const char gcc_builtin_headers_generic[] |
Definition at line 23 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32
| const char gcc_builtin_headers_ia32[] |
Definition at line 51 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_2
| const char gcc_builtin_headers_ia32_2[] |
Definition at line 55 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_3
| const char gcc_builtin_headers_ia32_3[] |
Definition at line 58 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_4
| const char gcc_builtin_headers_ia32_4[] |
Definition at line 61 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_5
| const char gcc_builtin_headers_ia32_5[] |
Definition at line 64 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_math
| const char gcc_builtin_headers_math[] |
Definition at line 28 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mem_string
| const char gcc_builtin_headers_mem_string[] |
Definition at line 33 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mips
| const char gcc_builtin_headers_mips[] |
Definition at line 77 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_omp
| const char gcc_builtin_headers_omp[] |
Definition at line 38 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_power
| const char gcc_builtin_headers_power[] |
Definition at line 82 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_tm
| const char gcc_builtin_headers_tm[] |
Definition at line 42 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_types
| const char gcc_builtin_headers_types[] |
Definition at line 18 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ubsan
| const char gcc_builtin_headers_ubsan[] |
Definition at line 46 of file ansi_c_internal_additions.cpp.
◆ windows_builtin_headers
| const char windows_builtin_headers[] |
Definition at line 103 of file ansi_c_internal_additions.cpp.
