cprover
|
#include <iosfwd>
Go to the source code of this file.
Functions | |
void | cpp_internal_additions (std::ostream &code) |
void cpp_internal_additions | ( | std::ostream & | code | ) |
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().