cprover
|
#include "cpp_internal_additions.h"
#include <ostream>
#include <util/config.h>
#include <ansi-c/ansi_c_internal_additions.h>
Go to the source code of this file.
Functions | |
std::string | c2cpp (const std::string &s) |
void | cpp_internal_additions (std::ostream &out) |
std::string c2cpp | ( | const std::string & | s | ) |
Definition at line 17 of file cpp_internal_additions.cpp.
Referenced by cpp_internal_additions().
void cpp_internal_additions | ( | std::ostream & | out | ) |
Definition at line 40 of file cpp_internal_additions.cpp.
References configt::ansi_c, ansi_c_architecture_strings(), configt::ansi_ct::APPLE, configt::ansi_ct::ARM, c2cpp(), clang_builtin_headers, config, configt::ansi_ct::GCC, gcc_builtin_headers_generic, gcc_builtin_headers_ia32, gcc_builtin_headers_ia32_2, gcc_builtin_headers_ia32_3, gcc_builtin_headers_ia32_4, gcc_builtin_headers_math, gcc_builtin_headers_mem_string, gcc_builtin_headers_omp, gcc_builtin_headers_tm, gcc_builtin_headers_ubsan, configt::ansi_ct::mode, configt::ansi_ct::os, configt::ansi_ct::OS_WIN, and configt::ansi_ct::VISUAL_STUDIO.
Referenced by cpp_languaget::parse().