GCC Middle and Back End API Reference
|
Public Types | |
enum | verb { VERB_unknown , VERB_acquire , VERB_release , VERB_enter , VERB_exit , VERB_call , VERB_return , VERB_branch , VERB_danger } |
enum | noun { NOUN_unknown , NOUN_taint , NOUN_sensitive , NOUN_function , NOUN_lock , NOUN_memory , NOUN_resource } |
enum | property { PROPERTY_unknown , PROPERTY_true , PROPERTY_false } |
Data Fields | |
const exploded_edge & | m_eedge |
const superedge * | m_sedge |
tree | m_var |
state_machine::state_t | m_critical_state |
enum event_kind | m_kind |
Protected Member Functions | |
label_text | maybe_describe_condition (bool can_colorize) const |
Static Private Member Functions | |
static label_text | maybe_describe_condition (bool can_colorize, tree lhs, enum tree_code op, tree rhs) |
static bool | should_print_expr_p (tree) |
A custom subclass of start_cfg_edge_event that rewords the message to indicate that the CFG edge is *always* taken on subsequent iterations, assuming it's been taken once.
|
inherited |
|
inherited |
|
inherited |
|
inline |
|
inlinefinaloverridevirtualinherited |
Reimplemented from ana::checker_event.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
|
inlinefinaloverridevirtual |
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_fndecl.
|
inlineinherited |
References ana::checker_event::m_emission_id.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_loc.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_fndecl, ana::checker_event::m_logical_loc, and NULL.
|
overridevirtualinherited |
Implements diagnostic_event.
|
inlineinherited |
References ana::checker_event::m_original_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::call_event.
Reimplemented in ana::function_entry_event.
Reimplemented in ana::return_event.
|
overridevirtualinherited |
Reimplemented from ana::checker_event.
|
protectedinherited |
Referenced by get_desc().
|
staticprivateinherited |
|
virtualinherited |
Reimplemented in ana::setjmp_event, and ana::rewind_to_setjmp_event.
Referenced by ana::checker_path::prepare_for_emission().
|
inlineinherited |
References ana::superedge_event::m_critical_state, and ana::superedge_event::m_var.
|
inlineinherited |
References ana::checker_event::m_loc.
|
inherited |
|
inherited |
Referenced by ana::superedge_event::record_critical_state().
|
inherited |
|
protectedinherited |
Referenced by ana::checker_event::get_stack_depth().
|
protectedinherited |
Referenced by ana::checker_event::get_fndecl(), and ana::checker_event::get_logical_location().
|
protectedinherited |
Referenced by ana::checker_event::get_id_ptr().
|
inherited |
|
protectedinherited |
Referenced by ana::checker_event::get_location(), and ana::checker_event::set_location().
|
protectedinherited |
Referenced by ana::checker_event::get_logical_location().
|
protectedinherited |
Referenced by ana::checker_event::get_original_stack_depth().
|
protectedinherited |
|
protectedinherited |
Referenced by get_desc().
|
inherited |
Referenced by ana::superedge_event::record_critical_state().