25 std::unordered_set<symbol_exprt, irep_hash> &result)
50std::unordered_set<symbol_exprt, irep_hash>
53 std::unordered_set<symbol_exprt, irep_hash> result;
static void find_objects_rec(const exprt &src, std::unordered_set< symbol_exprt, irep_hash > &result)
std::unordered_set< symbol_exprt, irep_hash > address_taken(const std::vector< exprt > &src)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
const irep_idt & id() const
API to expression classes for Pointers.
const object_address_exprt & to_object_address_expr(const exprt &expr)
Cast an exprt to an object_address_exprt.
const update_state_exprt & to_update_state_expr(const exprt &expr)
Cast an exprt to a update_state_exprt.