cprover
ansi_c_internal_additions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
11 #define CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
12 
13 #include <string>
14 
15 void ansi_c_internal_additions(std::string &code);
16 void ansi_c_architecture_strings(std::string &code);
17 
18 extern const char clang_builtin_headers[];
19 extern const char cprover_builtin_headers[];
20 extern const char gcc_builtin_headers_types[];
21 extern const char gcc_builtin_headers_generic[];
22 extern const char gcc_builtin_headers_math[];
23 extern const char gcc_builtin_headers_mem_string[];
24 extern const char gcc_builtin_headers_omp[];
25 extern const char gcc_builtin_headers_tm[];
26 extern const char gcc_builtin_headers_ubsan[];
27 extern const char gcc_builtin_headers_ia32[];
28 extern const char gcc_builtin_headers_ia32_2[];
29 extern const char gcc_builtin_headers_ia32_3[];
30 extern const char gcc_builtin_headers_ia32_4[];
31 extern const char gcc_builtin_headers_alpha[];
32 extern const char gcc_builtin_headers_arm[];
33 extern const char gcc_builtin_headers_mips[];
34 extern const char gcc_builtin_headers_power[];
35 extern const char arm_builtin_headers[];
36 extern const char cw_builtin_headers[];
37 extern const char windows_builtin_headers[];
38 
39 #endif // CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
gcc_builtin_headers_ia32_2
const char gcc_builtin_headers_ia32_2[]
Definition: ansi_c_internal_additions.cpp:55
gcc_builtin_headers_types
const char gcc_builtin_headers_types[]
Definition: ansi_c_internal_additions.cpp:16
gcc_builtin_headers_omp
const char gcc_builtin_headers_omp[]
Definition: ansi_c_internal_additions.cpp:36
gcc_builtin_headers_ia32_3
const char gcc_builtin_headers_ia32_3[]
Definition: ansi_c_internal_additions.cpp:58
clang_builtin_headers
const char clang_builtin_headers[]
Definition: ansi_c_internal_additions.cpp:95
gcc_builtin_headers_mips
const char gcc_builtin_headers_mips[]
Definition: ansi_c_internal_additions.cpp:75
gcc_builtin_headers_math
const char gcc_builtin_headers_math[]
Definition: ansi_c_internal_additions.cpp:26
ansi_c_internal_additions
void ansi_c_internal_additions(std::string &code)
Definition: ansi_c_internal_additions.cpp:123
gcc_builtin_headers_tm
const char gcc_builtin_headers_tm[]
Definition: ansi_c_internal_additions.cpp:41
gcc_builtin_headers_ia32_4
const char gcc_builtin_headers_ia32_4[]
Definition: ansi_c_internal_additions.cpp:61
gcc_builtin_headers_alpha
const char gcc_builtin_headers_alpha[]
Definition: ansi_c_internal_additions.cpp:65
gcc_builtin_headers_ia32
const char gcc_builtin_headers_ia32[]
Definition: ansi_c_internal_additions.cpp:51
windows_builtin_headers
const char windows_builtin_headers[]
Definition: ansi_c_internal_additions.cpp:105
gcc_builtin_headers_generic
const char gcc_builtin_headers_generic[]
Definition: ansi_c_internal_additions.cpp:21
cw_builtin_headers
const char cw_builtin_headers[]
Definition: ansi_c_internal_additions.cpp:90
gcc_builtin_headers_ubsan
const char gcc_builtin_headers_ubsan[]
Definition: ansi_c_internal_additions.cpp:46
cprover_builtin_headers
const char cprover_builtin_headers[]
Definition: ansi_c_internal_additions.cpp:100
gcc_builtin_headers_power
const char gcc_builtin_headers_power[]
Definition: ansi_c_internal_additions.cpp:80
arm_builtin_headers
const char arm_builtin_headers[]
Definition: ansi_c_internal_additions.cpp:85
gcc_builtin_headers_arm
const char gcc_builtin_headers_arm[]
Definition: ansi_c_internal_additions.cpp:70
ansi_c_architecture_strings
void ansi_c_architecture_strings(std::string &code)
Definition: ansi_c_internal_additions.cpp:273
gcc_builtin_headers_mem_string
const char gcc_builtin_headers_mem_string[]
Definition: ansi_c_internal_additions.cpp:31