GCC Middle and Back End API Reference
ana::conjured_purge Class Reference

#include <svalue.h>

Collaboration diagram for ana::conjured_purge:

Public Member Functions

 conjured_purge (region_model *model, region_model_context *ctxt)
 
void purge (const conjured_svalue *sval) const
 

Private Attributes

region_modelm_model
 
region_model_contextm_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
private

The documentation for this class was generated from the following file: