10 #ifndef CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H 11 #define CPROVER_ANSI_C_ANSI_C_INTERNAL_ADDITIONS_H 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[]