void make_bottom() final override
no states
void make_top() final override
all states – the analysis doesn't use this, and domains may refuse to implement it.
void make_entry() final override
Make this domain a reasonable entry-point state.
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
bool is_bottom() const override final
void transform(const irep_idt &, locationt from, const irep_idt &, locationt, ai_baset &, const namespacet &) final override
bool is_top() const override final
goto_programt::const_targett locationt
bool merge(const is_threaded_domaint &src, locationt, locationt)
The interface offered by a domain, allows code to manipulate domains without knowing their exact type...