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 gcc_builtin_headers_generic[];
19 extern const char gcc_builtin_headers_math[];
20 extern const char gcc_builtin_headers_mem_string[];
21 extern const char gcc_builtin_headers_omp[];
22 extern const char gcc_builtin_headers_tm[];
23 extern const char gcc_builtin_headers_ubsan[];
24 extern const char clang_builtin_headers[];
25 extern const char gcc_builtin_headers_ia32[];
26 extern const char gcc_builtin_headers_ia32_2[];
27 extern const char gcc_builtin_headers_ia32_3[];
28 extern const char gcc_builtin_headers_ia32_4[];
29 extern const char arm_builtin_headers[];
30 
31 #endif // CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
const char arm_builtin_headers[]
const char gcc_builtin_headers_ubsan[]
const char gcc_builtin_headers_mem_string[]
const char clang_builtin_headers[]
const char gcc_builtin_headers_math[]
void ansi_c_internal_additions(std::string &code)
const char gcc_builtin_headers_ia32[]
const char gcc_builtin_headers_ia32_4[]
const char gcc_builtin_headers_ia32_3[]
const char gcc_builtin_headers_tm[]
void ansi_c_architecture_strings(std::string &code)
const char gcc_builtin_headers_omp[]
const char gcc_builtin_headers_generic[]
const char gcc_builtin_headers_ia32_2[]