cprover
linking.cpp File Reference

ANSI-C Linking. More...

#include "linking.h"
#include <cassert>
#include <deque>
#include <unordered_set>
#include <util/base_type.h>
#include <util/find_symbols.h>
#include <util/mathematical_types.h>
#include <util/pointer_offset_size.h>
#include <util/simplify_expr.h>
#include <langapi/language_util.h>
#include "linking_class.h"
+ Include dependency graph for linking.cpp:

Go to the source code of this file.

Functions

static const typetfollow_tags_symbols (const namespacet &ns, const typet &type)
 
bool linking (symbol_tablet &dest_symbol_table, symbol_tablet &new_symbol_table, message_handlert &message_handler)
 

Detailed Description

ANSI-C Linking.

Definition in file linking.cpp.

Function Documentation

◆ follow_tags_symbols()

static const typet& follow_tags_symbols ( const namespacet ns,
const typet type 
)
static

Definition at line 57 of file linking.cpp.

◆ linking()

bool linking ( symbol_tablet dest_symbol_table,
symbol_tablet new_symbol_table,
message_handlert message_handler 
)

Definition at line 1441 of file linking.cpp.