GCC Middle and Back End API Reference
Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | Private Attributes
default_hash_traits< ana::symbolic_binding > Struct Reference

#include <store.h>

Inheritance diagram for default_hash_traits< ana::symbolic_binding >:
Inheritance graph
[legend]
Collaboration diagram for default_hash_traits< ana::symbolic_binding >:
Collaboration graph
[legend]

Public Types

typedef symbolic_binding key_t
 
typedef ana::symbolic_binding value_type
 
typedef ana::symbolic_binding compare_type
 

Public Member Functions

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_binding * dyn_cast_symbolic_binding () const final override
 
const region * get_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_binding * dyn_cast_concrete_binding () const
 

Static Public Member Functions

static int cmp_ptr_ptr (const void *, const void *)
 
static const binding_key * make (store_manager *mgr, const region *r)
 
static int cmp_ptrs (const void *, const void *)
 
static int cmp (const binding_key *, const binding_key *)
 
static hashval_t hash (value_type v)
 
static bool equal (const value_type &existing, const value_type &candidate)
 
static void mark_deleted (ana::symbolic_binding &t)
 
static void mark_empty (ana::symbolic_binding &t)
 
static bool is_deleted (ana::symbolic_binding t)
 
static bool is_empty (ana::symbolic_binding t)
 
static void remove (ana::symbolic_binding &)
 

Static Public Attributes

static const bool empty_zero_p = true
 

Private Attributes

const region * m_region
 

Member Typedef Documentation

◆ compare_type

typedef ana::symbolic_binding member_function_hash_traits< ana::symbolic_binding >::compare_type
inherited

◆ key_t

typedef symbolic_binding ana::symbolic_binding::key_t
inherited

◆ value_type

typedef ana::symbolic_binding member_function_hash_traits< ana::symbolic_binding >::value_type
inherited

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 *  )
staticinherited

◆ cmp_ptrs()

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

◆ concrete_p()

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

Implements ana::binding_key.

References final().

◆ 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
finaloverridevirtualinherited

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
inlinefinaloverridevirtualinherited

Reimplemented from ana::binding_key.

References final(), and symbolic_binding().

◆ equal()

static bool member_function_hash_traits< ana::symbolic_binding >::equal ( const value_type & existing,
const value_type & candidate )
inlinestaticinherited

◆ get_desc()

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

◆ get_region()

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

References m_region.

◆ hash() [1/2]

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

References m_region.

◆ hash() [2/2]

static hashval_t member_function_hash_traits< ana::symbolic_binding >::hash ( value_type v)
inlinestaticinherited

◆ is_deleted() [1/2]

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

References m_region.

◆ is_deleted() [2/2]

static bool member_function_hash_traits< ana::symbolic_binding >::is_deleted ( ana::symbolic_binding t)
inlinestaticinherited

◆ is_empty() [1/2]

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

References m_region, and NULL.

◆ is_empty() [2/2]

static bool member_function_hash_traits< ana::symbolic_binding >::is_empty ( ana::symbolic_binding t)
inlinestaticinherited

◆ make()

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

References r.

◆ mark_deleted() [1/2]

void ana::symbolic_binding::mark_deleted ( )
inlineinherited

References m_region.

◆ mark_deleted() [2/2]

static void member_function_hash_traits< ana::symbolic_binding >::mark_deleted ( ana::symbolic_binding & t)
inlinestaticinherited

◆ mark_empty() [1/2]

void ana::symbolic_binding::mark_empty ( )
inlineinherited

References m_region, and NULL.

◆ mark_empty() [2/2]

static void member_function_hash_traits< ana::symbolic_binding >::mark_empty ( ana::symbolic_binding & t)
inlinestaticinherited

◆ operator==()

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

References m_region, and symbolic_binding().

◆ remove()

void typed_noop_remove< ana::symbolic_binding >::remove ( ana::symbolic_binding & )
inlinestaticinherited 
Remove doing nothing.

◆ symbolic_p()

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

References concrete_p().

Field Documentation

◆ empty_zero_p

const bool default_hash_traits< ana::symbolic_binding >::empty_zero_p = true
static

◆ m_region

const region* ana::symbolic_binding::m_region
privateinherited

Referenced by get_region(), hash(), is_deleted(), is_empty(), mark_deleted(), mark_empty(), operator==(), and symbolic_binding().

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