GCC Middle and Back End API Reference
|
#include <checker-event.h>
Public Types | |
enum class | verb { unknown , acquire , release , enter , exit , call , return_ , branch , danger } |
enum class | noun { unknown , taint , sensitive , function , lock , memory , resource } |
enum class | property { unknown , true_ , false_ } |
Data Fields | |
const gimple *const | m_stmt |
const program_state | m_dst_state |
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 |
logical_location | m_logical_loc |
Private Attributes | |
const checker_path * | m_path |
enum event_kind | m_kind |
A concrete event subclass describing the execution of a gimple statement, for use at high verbosity levels when debugging paths.
|
stronginherited |
|
stronginherited |
|
stronginherited |
ana::statement_event::statement_event | ( | const gimple * | stmt, |
tree | fndecl, | ||
int | depth, | ||
const program_state & | dst_state ) |
References ana::stmt.
|
inlineoverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.
|
inherited |
Referenced by ana::debug_event::debug_event(), and maybe_make_xml_state().
|
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().
|
inlineinherited |
References m_effective_fndecl.
|
inlineinherited |
References m_emission_id.
|
inlineinherited |
References m_kind.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
|
inlinefinaloverridevirtualinherited |
Implements diagnostic_event.
References final(), and m_logical_loc.
|
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 m_original_depth.
|
inlinefinaloverridevirtual |
Reimplemented from ana::checker_event.
References final(), and m_dst_state.
|
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.
|
finaloverridevirtualinherited |
Reimplemented from diagnostic_event.
References debug().
|
virtualinherited |
Reimplemented in ana::rewind_to_setjmp_event, and ana::setjmp_event.
|
finaloverridevirtual |
Implements diagnostic_event.
|
inlineinherited |
References m_loc.
const program_state ana::statement_event::m_dst_state |
Referenced by get_program_state().
|
protectedinherited |
Referenced by get_stack_depth().
|
protectedinherited |
Referenced by get_fndecl().
|
protectedinherited |
Referenced by get_id_ptr().
|
privateinherited |
Referenced by get_kind().
|
protectedinherited |
Referenced by get_location(), and set_location().
|
protectedinherited |
Referenced by get_logical_location().
|
protectedinherited |
Referenced by get_original_stack_depth().
|
protectedinherited |
|
privateinherited |
|
protectedinherited |
const gimple* const ana::statement_event::m_stmt |