CBMC
ansi_c_language.cpp File Reference
#include "ansi_c_language.h"
#include <util/config.h>
#include <util/get_base_name.h>
#include <util/symbol_table.h>
#include <linking/linking.h>
#include <linking/remove_internal_symbols.h>
#include "ansi_c_entry_point.h"
#include "ansi_c_internal_additions.h"
#include "ansi_c_parser.h"
#include "ansi_c_typecheck.h"
#include "c_preprocess.h"
#include "expr2c.h"
#include "type2name.h"
#include <fstream>
+ Include dependency graph for ansi_c_language.cpp:

Go to the source code of this file.

Functions

std::unique_ptr< languagetnew_ansi_c_language ()
 

Function Documentation

◆ new_ansi_c_language()

std::unique_ptr<languaget> new_ansi_c_language ( )

Definition at line 152 of file ansi_c_language.cpp.