GCC Middle and Back End API Reference
|
#include <checker-event.h>
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 } |
Subclass of checker_event describing a state change.
|
inherited |
|
inherited |
|
inherited |
ana::state_change_event::state_change_event | ( | const supernode * | node, |
const gimple * | stmt, | ||
int | stack_depth, | ||
const state_machine & | sm, | ||
const svalue * | sval, | ||
state_machine::state_t | from, | ||
state_machine::state_t | to, | ||
const svalue * | origin, | ||
const program_state & | dst_state, | ||
const exploded_node * | enode ) |
|
inlineoverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements diagnostic_event.
References ana::program_state::get_current_function(), and m_dst_state.
|
inline |
References m_enode.
|
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.
|
overridevirtual |
Reimplemented from ana::checker_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 diagnostic_event.
Reimplemented in ana::superedge_event.
|
virtualinherited |
Reimplemented in ana::setjmp_event, and ana::rewind_to_setjmp_event.
Referenced by ana::checker_path::prepare_for_emission().
|
inlineinherited |
References ana::checker_event::m_loc.
program_state ana::state_change_event::m_dst_state |
Referenced by get_dest_function().
|
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().
const exploded_node* ana::state_change_event::m_enode |
Referenced by get_exploded_node().
state_machine::state_t ana::state_change_event::m_from |
|
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 |
const state_machine& ana::state_change_event::m_sm |
state_machine::state_t ana::state_change_event::m_to |