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

#include <store.h>

Inheritance diagram for ana::symbolic_binding:
Collaboration diagram for ana::symbolic_binding:

Public Types

typedef symbolic_binding key_t
 

Public Member Functions

 symbolic_binding (const region *region)
 
bool concrete_p () const final override
 
hashval_t hash () const
 
bool operator== (const symbolic_binding &other) const
 
void dump_to_pp (pretty_printer *pp, bool simple) const final override
 
const symbolic_bindingdyn_cast_symbolic_binding () const final override
 
const regionget_region () const
 
void mark_deleted ()
 
void mark_empty ()
 
bool is_deleted () const
 
bool is_empty () const
 
bool symbolic_p () const
 
void dump (bool simple) const
 
label_text get_desc (bool simple=true) const
 
virtual const concrete_bindingdyn_cast_concrete_binding () const
 

Static Public Member Functions

static int cmp_ptr_ptr (const void *, const void *)
 
static const binding_keymake (store_manager *mgr, const region *r)
 
static int cmp_ptrs (const void *, const void *)
 
static int cmp (const binding_key *, const binding_key *)
 

Private Attributes

const regionm_region
 

Detailed Description

Concrete subclass of binding_key, for describing a symbolic set of
bits within the binding_map in terms of a region (e.g. "arr[i]").   

Member Typedef Documentation

◆ key_t

Constructor & Destructor Documentation

◆ symbolic_binding()

ana::symbolic_binding::symbolic_binding ( const region * region)
inline

Member Function Documentation

◆ cmp()

static int ana::binding_key::cmp ( const binding_key * ,
const binding_key *  )
staticinherited

◆ cmp_ptr_ptr()

static int ana::symbolic_binding::cmp_ptr_ptr ( const void * ,
const void *  )
static

◆ cmp_ptrs()

static int ana::binding_key::cmp_ptrs ( const void * ,
const void *  )
staticinherited

◆ concrete_p()

bool ana::symbolic_binding::concrete_p ( ) const
inlinefinaloverridevirtual

Implements ana::binding_key.

◆ dump()

void ana::binding_key::dump ( bool simple) const
inherited

◆ dump_to_pp()

void ana::symbolic_binding::dump_to_pp ( pretty_printer * pp,
bool simple ) const
finaloverridevirtual

Implements ana::binding_key.

◆ dyn_cast_concrete_binding()

virtual const concrete_binding * ana::binding_key::dyn_cast_concrete_binding ( ) const
inlinevirtualinherited

Reimplemented in ana::concrete_binding.

References NULL.

◆ dyn_cast_symbolic_binding()

const symbolic_binding * ana::symbolic_binding::dyn_cast_symbolic_binding ( ) const
inlinefinaloverridevirtual

Reimplemented from ana::binding_key.

◆ get_desc()

label_text ana::binding_key::get_desc ( bool simple = true) const
inherited

◆ get_region()

const region * ana::symbolic_binding::get_region ( ) const
inline

References m_region.

◆ hash()

hashval_t ana::symbolic_binding::hash ( ) const
inline

References m_region.

◆ is_deleted()

bool ana::symbolic_binding::is_deleted ( ) const
inline

References m_region.

◆ is_empty()

bool ana::symbolic_binding::is_empty ( ) const
inline

References m_region, and NULL.

◆ make()

static const binding_key * ana::binding_key::make ( store_manager * mgr,
const region * r )
staticinherited

◆ mark_deleted()

void ana::symbolic_binding::mark_deleted ( )
inline

References m_region.

◆ mark_empty()

void ana::symbolic_binding::mark_empty ( )
inline

References m_region, and NULL.

◆ operator==()

bool ana::symbolic_binding::operator== ( const symbolic_binding & other) const
inline

References m_region.

◆ symbolic_p()

bool ana::binding_key::symbolic_p ( ) const
inlineinherited

Field Documentation

◆ m_region

const region* ana::symbolic_binding::m_region
private

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