cprover
|
Go to the source code of this file.
Typedefs | |
typedef std::unordered_set< irep_idt > | find_symbols_sett |
Functions | |
void | find_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next) |
void | find_symbols (const exprt &src, std::set< exprt > &dest) |
void | find_symbols (const exprt &src, std::set< symbol_exprt > &dest) |
bool | has_symbol (const exprt &src, const find_symbols_sett &symbols) |
void | find_type_symbols (const typet &src, find_symbols_sett &dest) |
void | find_type_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest) |
void | find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest) |
void | find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest) |
void | find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest) |
typedef std::unordered_set<irep_idt> find_symbols_sett |
Definition at line 20 of file find_symbols.h.
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 206 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 199 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
Referenced by dump_ct::convert_compound().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 16 of file find_symbols.cpp.
References find_symbols().
Referenced by full_slicert::add_decl_dead(), acceleratet::add_dirty_checks(), concurrency_instrumentationt::collect(), preconditiont::compute_rec(), dump_ct::convert_global_variable(), find_non_pointer_type_symbols(), find_symbols(), find_type_and_expr_symbols(), find_type_symbols(), bv_refinementt::freeze_lazy_constraints(), expr2ct::get_shorthands(), concurrency_instrumentationt::instrument(), instrument_intervals(), postconditiont::is_used(), slice_global_inits(), acceleration_utilst::stash_variables(), and polynomial_acceleratort::stash_variables().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
bool | current, | ||
bool | next | ||
) |
Definition at line 23 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::get(), irept::id(), and to_symbol_expr().
Definition at line 67 of file find_symbols.cpp.
References find_symbols(), forall_operands, and irept::id().
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Definition at line 80 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::id(), and to_symbol_expr().
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 218 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 213 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
Referenced by linkingt::do_type_dependencies(), find_block_position_rec(), and get_symbols_rec().
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 194 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 189 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols | ||
) |
Definition at line 60 of file find_symbols.cpp.
References has_symbol().