|
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().