CBMC
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:

Go to the source code of this file.

Functions

static void find_objects_rec (const exprt &src, std::unordered_set< symbol_exprt, irep_hash > &result)
 
std::unordered_set< symbol_exprt, irep_hashaddress_taken (const std::vector< exprt > &src)
 

Detailed Description

Address Taken.

Definition in file address_taken.cpp.

Function Documentation

◆ address_taken()

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

Definition at line 51 of file address_taken.cpp.

◆ find_objects_rec()

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.