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 43 of file cpp_internal_additions.cpp.
References configt::ansi_c, ansi_c_architecture_strings(), configt::ansi_ct::arch, configt::ansi_ct::ARM, arm_builtin_headers, c2cpp(), c_type_as_string(), configt::ansi_ct::CLANG, configt::ansi_ct::CODEWARRIOR, config, cw_builtin_headers, configt::ansi_ct::GCC, gcc_builtin_headers_types, INITIALIZE_FUNCTION, configt::ansi_ct::long_int_width, configt::ansi_ct::mode, configt::ansi_ct::os, configt::ansi_ct::OS_WIN, configt::ansi_ct::rounding_mode, signed_size_type(), to_string(), and configt::ansi_ct::VISUAL_STUDIO.
Referenced by cpp_languaget::parse().