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 } |
Data Fields | |
const supernode * | m_node |
const gimple * | m_stmt |
const state_machine & | m_sm |
const svalue * | m_sval |
state_machine::state_t | m_from |
state_machine::state_t | m_to |
const svalue * | m_origin |
program_state | m_dst_state |
const exploded_node * | m_enode |
enum event_kind | m_kind |
Protected Attributes | |
location_t | m_loc |
tree | m_original_fndecl |
tree | m_effective_fndecl |
int | m_original_depth |
int | m_effective_depth |
pending_diagnostic * | m_pending_diagnostic |
diagnostic_event_id_t | m_emission_id |
tree_logical_location | m_logical_loc |
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 |
|
inherited |
Generate a label_text containing the description of this event (for debugging/logging purposes).
References pretty_printer::clone(), pp_formatted_text(), pp_show_color(), and print_desc().
|
inline |
References m_dst_state.
|
inline |
References m_enode.
|
inlineinherited |
References m_effective_fndecl.
|
inlineinherited |
References m_emission_id.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References final(), m_effective_fndecl, m_logical_loc, and NULL.
|
overridevirtual |
Reimplemented from ana::checker_event.
|
inlineinherited |
References m_original_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References final(), and m_effective_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References final().
|
inlinevirtualinherited |
Reimplemented in ana::call_event.
|
inlinevirtualinherited |
Reimplemented in ana::function_entry_event.
|
inlinevirtualinherited |
Reimplemented in ana::return_event.
|
overridevirtualinherited |
Reimplemented from diagnostic_event.
Reimplemented in ana::superedge_event.
|
virtualinherited |
Reimplemented in ana::rewind_to_setjmp_event, and ana::setjmp_event.
Referenced by ana::checker_path::prepare_for_emission().
|
finaloverridevirtual |
Implements diagnostic_event.
|
inlineinherited |
References m_loc.
program_state ana::state_change_event::m_dst_state |
Referenced by get_dest_function().
|
protectedinherited |
Referenced by get_stack_depth().
|
protectedinherited |
Referenced by get_fndecl(), and get_logical_location().
|
protectedinherited |
Referenced by 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 get_location(), and set_location().
|
protectedinherited |
Referenced by get_logical_location().
const supernode* ana::state_change_event::m_node |
const svalue* ana::state_change_event::m_origin |
|
protectedinherited |
Referenced by get_original_stack_depth().
|
protectedinherited |
|
protectedinherited |
const state_machine& ana::state_change_event::m_sm |
const gimple* ana::state_change_event::m_stmt |
const svalue* ana::state_change_event::m_sval |
state_machine::state_t ana::state_change_event::m_to |