void make_top() final override
uninitializedt uninitialized
void make_entry() final override
ait< uninitialized_domaint > uninitialized_analysist
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
std::set< irep_idt > uninitializedt
bool is_bottom() const override final
void make_bottom() final override
void transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final override
void assign(const exprt &lhs)
bool merge(const uninitialized_domaint &other, locationt from, locationt to)
goto_programt::const_targett locationt
bool is_top() const override final