cprover
|
Constant Propagation. More...
#include "constant_propagator.h"
#include <util/find_symbols.h>
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
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) |
Constant Propagation.
Definition in file constant_propagator.cpp.
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().
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().