25 std::unordered_set<symbol_exprt, irep_hash> &result)
27 if(src.
id() == ID_object_address)
29 else if(src.
id() == ID_evaluate)
32 else if(src.
id() == ID_enter_scope_state)
35 else if(src.
id() == ID_exit_scope_state)
38 else if(src.
id() == ID_update_state)
50 std::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)
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.