cprover
|
#include "ansi_c_language.h"
#include <cstring>
#include <sstream>
#include <fstream>
#include <util/config.h>
#include <util/get_base_name.h>
#include <linking/linking.h>
#include <linking/remove_internal_symbols.h>
#include "ansi_c_entry_point.h"
#include "ansi_c_typecheck.h"
#include "ansi_c_parser.h"
#include "expr2c.h"
#include "c_preprocess.h"
#include "ansi_c_internal_additions.h"
#include "type2name.h"
Go to the source code of this file.
Functions | |
languaget * | new_ansi_c_language () |
languaget* new_ansi_c_language | ( | ) |
Definition at line 140 of file ansi_c_language.cpp.
Referenced by clobber_parse_optionst::doit(), symex_parse_optionst::doit(), dump_c(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), goto_fence_inserter_parse_optionst::register_languages(), goto_analyzer_parse_optionst::register_languages(), cbmc_parse_optionst::register_languages(), goto_instrument_parse_optionst::register_languages(), bmct::show_program(), bmct::show_vcc_json(), and bmct::show_vcc_plain().