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_ } |
Public Member Functions | |
inlined_call_event (location_t loc, tree apparent_callee_fndecl, tree apparent_caller_fndecl, int actual_depth, int stack_depth_adjustment) | |
void | print_desc (pretty_printer &) const final override |
meaning | get_meaning () const override |
location_t | get_location () const final override |
int | get_stack_depth () const final override |
logical_location | get_logical_location () const final 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_builder &, sarif_object &thread_flow_loc_obj) const override |
enum event_kind | get_kind () const |
tree | get_fndecl () const |
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 |
std::unique_ptr< diagnostics::digraphs::digraph > | maybe_make_diagnostic_state_graph (bool debug) const final override |
virtual const program_state * | get_program_state () 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) |
label_text | get_desc (pretty_printer &ref_pp) const |
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 | |
tree | m_apparent_callee_fndecl |
tree | m_apparent_caller_fndecl |
const checker_path * | m_path |
enum event_kind | m_kind |
A concrete event subclass for describing an inlined call event e.g. "inlined call to 'callee' from 'caller'".
|
stronginherited |
|
stronginherited |
|
stronginherited |
|
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_diagnostic_state_graph().
|
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.
|
overridevirtual |
Reimplemented from ana::checker_event.
|
inlineinherited |
References m_original_depth.
|
inlinevirtualinherited |
Reimplemented in ana::call_event, ana::function_entry_event, ana::state_change_event, ana::statement_event, ana::superedge_event, and ana::warning_event.
|
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.
|
private |
Referenced by inlined_call_event().
|
private |
Referenced by inlined_call_event().
|
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 |