#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, bool support_float16_type) |
| 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_ia32_6 [] |
| const char | gcc_builtin_headers_ia32_7 [] |
| const char | gcc_builtin_headers_ia32_8 [] |
| const char | gcc_builtin_headers_ia32_9 [] |
| 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 307 of file ansi_c_internal_additions.cpp.
◆ ansi_c_internal_additions()
| void ansi_c_internal_additions | ( | std::string & | code, |
| bool | support_float16_type | ||
| ) |
Definition at line 136 of file ansi_c_internal_additions.cpp.
Variable Documentation
◆ arm_builtin_headers
|
extern |
Definition at line 102 of file ansi_c_internal_additions.cpp.
◆ clang_builtin_headers
|
extern |
Definition at line 110 of file ansi_c_internal_additions.cpp.
◆ cprover_builtin_headers
|
extern |
Definition at line 114 of file ansi_c_internal_additions.cpp.
◆ cw_builtin_headers
|
extern |
Definition at line 106 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_alpha
|
extern |
Definition at line 83 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_arm
|
extern |
Definition at line 88 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_generic
|
extern |
Definition at line 25 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32
|
extern |
Definition at line 54 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_2
|
extern |
Definition at line 58 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_3
|
extern |
Definition at line 61 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_4
|
extern |
Definition at line 64 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_5
|
extern |
Definition at line 67 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_6
|
extern |
Definition at line 70 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_7
|
extern |
Definition at line 73 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_8
|
extern |
Definition at line 76 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ia32_9
|
extern |
Definition at line 79 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_math
|
extern |
Definition at line 30 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mem_string
|
extern |
Definition at line 35 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_mips
|
extern |
Definition at line 92 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_omp
|
extern |
Definition at line 41 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_power
|
extern |
Definition at line 97 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_tm
|
extern |
Definition at line 45 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_types
|
extern |
Definition at line 20 of file ansi_c_internal_additions.cpp.
◆ gcc_builtin_headers_ubsan
|
extern |
Definition at line 49 of file ansi_c_internal_additions.cpp.
◆ windows_builtin_headers
|
extern |
Definition at line 118 of file ansi_c_internal_additions.cpp.
