array_name.cpp File Reference

Misc Utilities. More...

#include "array_name.h"
#include "expr.h"
#include "namespace.h"
#include "symbol.h"
#include "ssa_expr.h"

Include dependency graph for array_name.cpp:

Go to the source code of this file.

Functions
std::string	array_name (const namespacet &ns, const exprt &expr)

Detailed Description

Misc Utilities.

Definition in file array_name.cpp.

Function Documentation

array_name()

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(), and to_ssa_expr().

Referenced by array_name(), goto_checkt::array_name(), and value_set_dereferencet::bounds_check().