56 if(lhs.
id()==ID_index)
58 else if(lhs.
id()==ID_member)
60 else if(lhs.
id()==ID_symbol)
const code_declt & to_code_decl(const codet &code)
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
uninitializedt uninitialized
const member_exprt & to_member_expr(const exprt &expr)
Cast a generic exprt to a member_exprt.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const char * to_string() const
const index_exprt & to_index_expr(const exprt &expr)
Cast a generic exprt to an index_exprt.
std::list< exprt > expressions_read(const goto_programt::instructiont &instruction)
const irep_idt & id() const
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
API to expression classes.
const irep_idt & get_identifier() const
#define forall_expr_list(it, expr)
Detection for Uninitialized Local Variables.
void transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final
std::list< exprt > expressions_written(const goto_programt::instructiont &instruction)
Base class for all expressions.
const exprt & struct_op() const
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
void assign(const exprt &lhs)
bool merge(const uninitialized_domaint &other, locationt from, locationt to)
goto_programt::const_targett locationt