ansi_c_language.cpp File Reference

#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"

Include dependency graph for ansi_c_language.cpp:

Go to the source code of this file.

Functions
languaget *	new_ansi_c_language ()

Function Documentation

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().