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 } |
Public Member Functions | |
statement_event (const gimple *stmt, tree fndecl, int depth, const program_state &dst_state) | |
label_text | get_desc (bool) const final override |
location_t | get_location () const final override |
tree | get_fndecl () const final override |
int | get_stack_depth () const final override |
const logical_location * | get_logical_location () const final override |
meaning | get_meaning () const override |
bool | connect_to_next_event_p () const override |
diagnostic_thread_id_t | get_thread_id () const final override |
void | maybe_add_sarif_properties (sarif_object &thread_flow_loc_obj) const override |
int | get_original_stack_depth () const |
virtual void | prepare_for_emission (checker_path *, pending_diagnostic *pd, diagnostic_event_id_t emission_id) |
virtual bool | is_call_p () const |
virtual bool | is_function_entry_p () const |
virtual bool | is_return_p () const |
const diagnostic_event_id_t * | get_id_ptr () const |
void | dump (pretty_printer *pp) const |
void | debug () const |
void | set_location (location_t loc) |
Data Fields | |
const gimple *const | m_stmt |
const program_state | m_dst_state |
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.
|
inherited |
|
inherited |
|
inherited |
ana::statement_event::statement_event | ( | const gimple * | stmt, |
tree | fndecl, | ||
int | depth, | ||
const program_state & | dst_state ) |
|
inlineoverridevirtualinherited |
Implements diagnostic_event.
Reimplemented in ana::start_cfg_edge_event, and ana::start_consolidated_cfg_edges_event.
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements diagnostic_event.
|
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.
Reimplemented in ana::function_entry_event, ana::state_change_event, ana::return_event, ana::start_consolidated_cfg_edges_event, ana::inlined_call_event, and ana::warning_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.
const program_state ana::statement_event::m_dst_state |
|
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 |