void assign(const exprt &lhs)
bool merge(const uninitialized_domaint &other, locationt from, locationt to)
goto_programt::const_targett locationt
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
uninitializedt uninitialized
Detection for Uninitialized Local Variables.
void transform(const irep_idt &function_from, locationt from, const irep_idt &function_to, locationt to, ai_baset &ai, const namespacet &ns) final override