constant_propagator.cpp File Reference

Constant Propagation. More...

#include "constant_propagator.h"
#include <util/find_symbols.h>
#include <util/arith_tools.h>
#include <util/simplify_expr.h>

Include dependency graph for constant_propagator.cpp:

Go to the source code of this file.

Functions
exprt	concatenate_array_id (const exprt &array, const exprt &index, const typet &type)
exprt	concatenate_array_id (const exprt &array, const mp_integer &index, const typet &type)

Detailed Description

Constant Propagation.

Definition in file constant_propagator.cpp.

Function Documentation

concatenate_array_id() [1/2]

exprt concatenate_array_id	(	const exprt &	array,
		const exprt &	index,
		const typet &	type
	)

Definition at line 22 of file constant_propagator.cpp.

References irept::get_string(), irept::id(), integer2string(), exprt::op0(), and string2integer().

Referenced by constant_propagator_domaint::assign_rec(), constant_propagator_domaint::valuest::is_array_constant(), and constant_propagator_ait::replace_array_symbol().

concatenate_array_id() [2/2]

exprt concatenate_array_id	(	const exprt &	array,
		const mp_integer &	index,
		const typet &	type
	)

Definition at line 41 of file constant_propagator.cpp.

References irept::get_string(), and integer2string().