cprover
|
ANSI-C Linking. More...
#include "linking.h"
#include <cassert>
#include <stack>
#include <util/find_symbols.h>
#include <util/source_location.h>
#include <util/base_type.h>
#include <util/std_expr.h>
#include <util/std_types.h>
#include <util/simplify_expr.h>
#include <util/pointer_offset_size.h>
#include <langapi/language_util.h>
#include "linking_class.h"
Go to the source code of this file.
Functions | |
static const typet & | follow_tags_symbols (const namespacet &ns, const typet &type) |
bool | linking (symbol_tablet &dest_symbol_table, symbol_tablet &new_symbol_table, message_handlert &message_handler) |
ANSI-C Linking.
Definition in file linking.cpp.
|
static |
Definition at line 45 of file linking.cpp.
References namespace_baset::follow(), namespace_baset::follow_tag(), irept::id(), to_c_enum_tag_type(), to_struct_tag_type(), and to_union_tag_type().
Referenced by linkingt::adjust_object_type(), linkingt::adjust_object_type_rec(), linkingt::detailed_conflict_report_rec(), linkingt::duplicate_code_symbol(), linkingt::duplicate_object_symbol(), and linkingt::type_to_string_verbose().
bool linking | ( | symbol_tablet & | dest_symbol_table, |
symbol_tablet & | new_symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 1336 of file linking.cpp.
References linking(), and typecheckt::typecheck_main().
Referenced by linking(), read_object_and_link(), ansi_c_languaget::typecheck(), and cpp_languaget::typecheck().