40 const irep_idt &failed_symbol = ptr_symbol.
type.
get(ID_C_failed_symbol);
43 if(!failed_symbol.
empty() && !
ns.lookup(failed_symbol, symbol))
50 state.symbol_table.move(sym, sym_ptr);
54 else if(expr.
id()==ID_symbol)
59 const irep_idt &failed_symbol = ptr_symbol.
type.
get(ID_C_failed_symbol);
62 if(!failed_symbol.
empty() && !
ns.lookup(failed_symbol, symbol))
69 state.symbol_table.move(sym, sym_ptr);
81 return state.value_set.get_value_set(expr,
ns);
Base class for all expressions.
const irep_idt & get(const irep_idt &name) const
const irep_idt & id() const
Expression providing an SSA-renamed symbol of expressions.
const exprt & get_original_expr() const
const irep_idt & get_identifier() const
class symbol_exprt symbol_expr() const
Produces a symbol_exprt for a symbol.
typet type
Type of symbol.
irep_idt name
The unique identifier.
goto_symext::statet & state
std::vector< exprt > get_value_set(const exprt &expr) const override
Just forwards a value-set query to state.value_set
const symbolt * get_or_create_failed_symbol(const exprt &expr) override
Get or create a failed symbol for the given pointer-typed expression.
bool is_ssa_expr(const exprt &expr)
const ssa_exprt & to_ssa_expr(const exprt &expr)
Cast a generic exprt to an ssa_exprt.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
Symbolic Execution of ANSI-C.