cprover
|
Pointer Dereferencing. More...
#include <util/irep.h>
Go to the source code of this file.
Functions | |
void | add_failed_symbols (symbol_tablet &symbol_table) |
irep_idt | failed_symbol_id (const irep_idt &identifier) |
exprt | get_failed_symbol (const symbol_exprt &expr, const namespacet &ns) |
Pointer Dereferencing.
Definition in file add_failed_symbols.h.
void add_failed_symbols | ( | symbol_tablet & | symbol_table | ) |
Definition at line 52 of file add_failed_symbols.cpp.
References add_failed_symbol(), Forall_symbols, and symbol_tablet::symbols.
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), goto_diff_parse_optionst::process_goto_program(), and cbmc_parse_optionst::process_goto_program().
Definition at line 18 of file add_failed_symbols.cpp.
References id2string().
Referenced by add_failed_symbol(), and get_failed_symbol().
exprt get_failed_symbol | ( | const symbol_exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 72 of file add_failed_symbols.cpp.
References dstringt::empty(), failed_symbol_id(), irept::get(), namespacet::lookup(), and symbolt::type.
Referenced by value_sett::apply_code(), goto_symext::symex_dead(), and goto_symext::symex_decl().