Go to the documentation of this file.
10 #ifndef CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
11 #define CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
40 #endif // CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H
const char gcc_builtin_headers_ia32_2[]
const char gcc_builtin_headers_types[]
const char gcc_builtin_headers_omp[]
const char gcc_builtin_headers_ia32_3[]
const char clang_builtin_headers[]
const char gcc_builtin_headers_mips[]
const char gcc_builtin_headers_math[]
void ansi_c_internal_additions(std::string &code)
const char gcc_builtin_headers_tm[]
const char gcc_builtin_headers_ia32_4[]
const char gcc_builtin_headers_alpha[]
const char gcc_builtin_headers_ia32[]
const char windows_builtin_headers[]
const char gcc_builtin_headers_generic[]
const char cw_builtin_headers[]
const char gcc_builtin_headers_ubsan[]
const char cprover_builtin_headers[]
const char gcc_builtin_headers_power[]
const char arm_builtin_headers[]
const char gcc_builtin_headers_arm[]
void ansi_c_architecture_strings(std::string &code)
const char gcc_builtin_headers_ia32_5[]
const char gcc_builtin_headers_mem_string[]
1.8.17