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) |
If expr is a symbol "s" add to os "s!l0@l1#l2" and to l1_object_os "s!l0@l1". More... | |
static std::pair< irep_idt, irep_idt > | build_identifier (const exprt &expr, const irep_idt &l0, const irep_idt &l1, const irep_idt &l2) |
|
static |
Definition at line 89 of file ssa_expr.cpp.
|
static |
If expr
is a symbol "s" add to os
"s!l0@l1#l2" and to l1_object_os
"s!l0@l1".
If expr
is a member or index expression, recursively apply the procedure and add ".component_name" or "[index]" to os
.
Definition at line 20 of file ssa_expr.cpp.