#include <svalue.h>

Collaboration diagram for ana::conjured_purge:

[legend]

Public Member Functions
	conjured_purge (region_model model, region_model_context ctxt)

void	purge (const conjured_svalue *sval) const

Private Attributes
region_model *	m_model

region_model_context *	m_ctxt

Detailed Description

A bundle of state for purging information from a program_state about
a conjured_svalue.  We pass this whenever calling
get_or_create_conjured_svalue, so that if the program_state already
has information about this conjured_svalue on an execution path, we
can purge that information, to avoid the analyzer confusing the two
values as being the same.

Constructor & Destructor Documentation

◆ conjured_purge()

ana::conjured_purge::conjured_purge	(	region_model *	model,
		region_model_context *	ctxt )

inline

Member Function Documentation

◆ purge()

void ana::conjured_purge::purge ( const conjured_svalue * sval ) const

Field Documentation

◆ m_ctxt

region_model_context* ana::conjured_purge::m_ctxt

private

◆ m_model

region_model* ana::conjured_purge::m_model