GCC Middle and Back End API Reference
|
#include <svalue.h>
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 |
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.
|
inline |
void ana::conjured_purge::purge | ( | const conjured_svalue * | sval | ) | const |
|
private |
|
private |