GCC Middle and Back End API Reference
|
#include <svalue.h>
Public Types | |
typedef unsigned | id_t |
Static Public Member Functions | |
static int | cmp_ptr (const svalue *, const svalue *) |
static int | cmp_ptr_ptr (const void *, const void *) |
static int | cmp_ids (const symbol *s1, const symbol *s2) |
Protected Member Functions | |
void | print_svalue_node_label (pretty_printer *pp) const |
Private Attributes | |
tree | m_type |
complexity | m_complexity |
id_t | m_id |
Concrete subclass of svalue representing an unknowable value, the bottom value when thinking of svalues as a lattice. This is a singleton (w.r.t. its manager): there is a single unknown_svalue per type. Self-comparisons of such instances yield "unknown".
|
inherited |
|
inline |
References ana::svalue::svalue().
|
finaloverridevirtual |
Implements ana::svalue.
References ana::svalue::svalue().
|
finaloverridevirtual |
Implements ana::svalue.
|
virtualinherited |
Reimplemented in ana::constant_svalue, and ana::repeated_svalue.
|
inlinefinaloverridevirtual |
Reimplemented from ana::svalue.
References final().
|
inherited |
References svalue().
References symbol().
|
staticinherited |
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements ana::svalue.
|
inlinevirtualinherited |
Reimplemented in ana::asm_output_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::binop_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::bits_within_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::compound_svalue.
Referenced by contains_unknown_p().
|
inlinevirtualinherited |
Reimplemented in ana::conjured_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::const_fn_result_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::constant_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::initial_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::poisoned_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::region_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::repeated_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::setjmp_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::sub_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::unaryop_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::unmergeable_svalue.
|
inlinevirtualinherited |
Reimplemented in ana::widening_svalue.
|
inherited |
References svalue().
|
inlineinherited |
References m_complexity.
Referenced by ana::binop_svalue::binop_svalue(), and ana::widening_svalue::widening_svalue().
|
inlinefinaloverridevirtual |
Implements ana::svalue.
References final(), and ana::SK_UNKNOWN.
|
inlineinherited |
References m_type.
Referenced by ana::compound_svalue::make_key(), and ana::unmergeable_svalue::unmergeable_svalue().
|
virtualinherited |
|
inherited |
|
inherited |
|
finaloverridevirtual |
Reimplemented from ana::svalue.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inherited |
References svalue().
|
inherited |
|
finaloverridevirtual |
Implements ana::svalue.
|
protectedinherited |
|
inherited |
|
privateinherited |
Referenced by get_complexity(), and symbol().
|
privateinherited |
Referenced by get_type(), and svalue().