cprover
|
Misc Utilities. More...
#include <string>
Go to the source code of this file.
Functions | |
std::string | array_name (const namespacet &ns, const exprt &expr) |
Misc Utilities.
Definition in file array_name.h.
std::string array_name | ( | const namespacet & | ns, |
const exprt & | expr | ||
) |
Definition at line 19 of file array_name.cpp.
References array_name(), symbolt::base_name, irept::get_string(), irept::id(), id2string(), is_ssa_expr(), namespacet::lookup(), exprt::op0(), exprt::operands(), to_ssa_expr(), and to_symbol_expr().
Referenced by array_name(), goto_checkt::array_name(), value_set_dereferencet::bounds_check(), and linker_script_merget::ls_data2instructions().