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 | |
enum event_kind | m_kind |
Protected Member Functions | |
rewind_event (const exploded_edge *eedge, enum event_kind kind, const event_loc_info &loc_info, const rewind_info_t *rewind_info) | |
Protected Attributes | |
const rewind_info_t * | m_rewind_info |
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 |
Private Attributes | |
const exploded_edge * | m_eedge |
An abstract event subclass for rewinding from a longjmp to a setjmp (or siglongjmp to sigsetjmp). Base class for two from/to subclasses, showing the two halves of the rewind.
|
inherited |
|
inherited |
|
inherited |
|
protected |
|
inlineoverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.
|
inherited |
|
inherited |
|
pure virtualinherited |
Implemented in ana::call_event, ana::debug_event, ana::end_cfg_edge_event, ana::end_consolidated_cfg_edges_event, ana::function_entry_event, ana::inlined_call_event, ana::precanned_custom_event, ana::region_creation_event_allocation_size, ana::region_creation_event_capacity, ana::region_creation_event_debug, ana::region_creation_event_memory_space, ana::return_event, ana::rewind_from_longjmp_event, ana::rewind_to_setjmp_event, ana::setjmp_event, ana::start_cfg_edge_event, ana::start_consolidated_cfg_edges_event, ana::state_change_event, ana::statement_event, ana::warning_event, looping_back_event, perpetual_start_cfg_edge_event, and simple_diagnostic_event.
|
inline |
|
inlineinherited |
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.
tree ana::rewind_event::get_longjmp_caller | ( | ) | const |
|
overridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::function_entry_event, ana::inlined_call_event, ana::return_event, ana::start_consolidated_cfg_edges_event, ana::state_change_event, and ana::warning_event.
|
inlineinherited |
References ana::checker_event::m_original_depth.
tree ana::rewind_event::get_setjmp_caller | ( | ) | const |
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References ana::checker_event::m_effective_depth.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
|
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().
|
inlineinherited |
References ana::checker_event::m_loc.
|
private |
|
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 |
|
protected |