cprover
|
Go to the source code of this file.
Functions | |
static void | build_ssa_identifier_rec (const exprt &expr, const irep_idt &l0, const irep_idt &l1, const irep_idt &l2, std::ostream &os, std::ostream &l1_object_os) |
|
static |
Definition at line 16 of file ssa_expr.cpp.
References index_exprt::array(), dstringt::empty(), member_exprt::get_component_name(), symbol_exprt::get_identifier(), irept::id(), index_exprt::index(), member_exprt::struct_op(), to_constant_expr(), to_index_expr(), to_integer(), to_member_expr(), and to_symbol_expr().
Referenced by ssa_exprt::build_identifier().