cprover
|
Go to the source code of this file.
Functions | |
bool | c_preprocess (const std::string &path, std::ostream &outstream, message_handlert &message_handler) |
bool | c_preprocess (std::istream &instream, std::ostream &outstream, message_handlert &message_handler) |
ANSI-C preprocessing. More... | |
bool | test_c_preprocessor (message_handlert &message_handler) |
bool c_preprocess | ( | const std::string & | path, |
std::ostream & | outstream, | ||
message_handlert & | message_handler | ||
) |
Definition at line 370 of file c_preprocess.cpp.
References configt::ansi_c, configt::ansi_ct::ARM, c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_none(), c_preprocess_visual_studio(), configt::ansi_ct::CLANG, configt::ansi_ct::CODEWARRIOR, config, configt::ansi_ct::GCC, configt::ansi_ct::NONE, configt::ansi_ct::preprocessor, and configt::ansi_ct::VISUAL_STUDIO.
bool c_preprocess | ( | std::istream & | instream, |
std::ostream & | outstream, | ||
message_handlert & | message_handler | ||
) |
ANSI-C preprocessing.
Definition at line 318 of file c_preprocess.cpp.
References c_preprocess(), messaget::eom(), and messaget::error().
Referenced by c_preprocess(), ansi_c_languaget::preprocess(), cpp_languaget::preprocess(), and test_c_preprocessor().
bool test_c_preprocessor | ( | message_handlert & | message_handler | ) |
Definition at line 1087 of file c_preprocess.cpp.
References c_preprocess(), and c_test_program.
Referenced by cbmc_parse_optionst::doit().