Loading...

Searching...

No Matches

address_taken.cpp File Reference

Address Taken. More...

#include "address_taken.h"
#include <util/pointer_expr.h>
#include "state.h"

+ Include dependency graph for address_taken.cpp:

Functions

std::unordered_set< symbol_exprt, irep_hash > address_taken (const std::vector< exprt > &src)

Detailed Description

Address Taken.

Definition in file address_taken.cpp.

std::unordered_set< symbol_exprt, irep_hash > address_taken ( const std::vector< exprt > & src )

Definition at line 51 of file address_taken.cpp.

static void find_objects_rec ( const exprt & src,

std::unordered_set< symbol_exprt, irep_hash > & result

)

static

Definition at line 23 of file address_taken.cpp.