cprover
|
#include "cpp_internal_additions.h"
#include <ostream>
#include <util/c_types.h>
#include <util/config.h>
#include <ansi-c/ansi_c_internal_additions.h>
#include <linking/static_lifetime_init.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 20 of file cpp_internal_additions.cpp.
Referenced by cpp_internal_additions().
void cpp_internal_additions | ( | std::ostream & | out | ) |
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().