void make_top() final override
all states – the analysis doesn't use this, and domains may refuse to implement it.
ait< uninitialized_domaint > uninitialized_analysist
bool is_bottom() const override final
void assign(const exprt &lhs)
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
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
bool is_top() const override final
uninitializedt uninitialized
void make_entry() final override
Make this domain a reasonable entry-point state.
void make_bottom() final override
no states
The interface offered by a domain, allows code to manipulate domains without knowing their exact type...
std::set< irep_idt > uninitializedt
void transform(const irep_idt &function_from, locationt from, const irep_idt &function_to, locationt to, ai_baset &ai, const namespacet &ns) final override