#include "ssa_expr.h"
#include <sstream>
#include <cassert>
#include <util/arith_tools.h>
Go to the source code of this file.
◆ initialize_ssa_identifier()
static std::ostream& initialize_ssa_identifier |
( |
std::ostream & |
os, |
|
|
const exprt & |
expr |
|
) |
| |
|
static |
If expr
is:
- a symbol_exprt "s" add "s" to the stream
os
- a member_exprt, apply recursively and add "..component_name"
- an index_exprt where the index is a constant, apply recursively on the array and add "[[index]]"
- Returns
- the stream
os
Definition at line 23 of file ssa_expr.cpp.