21#ifndef GCC_ANALYZER_CHECKER_EVENT_H
22#define GCC_ANALYZER_CHECKER_EVENT_H
132 std::unique_ptr<diagnostics::digraphs::digraph>
536 pp_string (&pp,
"...catching exception here");
629 tree apparent_callee_fndecl,
630 tree apparent_caller_fndecl,
632 int stack_depth_adjustment)
635 apparent_caller_fndecl,
636 actual_depth + stack_depth_adjustment)),
658 const gcall &setjmp_call)
747 const gcall &throw_call)
767 const gcall &throw_call,
792 const gcall &throw_call,
void print_desc(pretty_printer &pp) const override
const program_state * get_program_state() const final override
meaning get_meaning() const override
call_event(const exploded_edge &eedge, const event_loc_info &loc_info)
bool is_call_p() const final override
tree get_callee_fndecl() const
const supernode * m_dest_snode
Definition checker-event.h:564
tree get_caller_fndecl() const
const supernode * m_src_snode
Definition checker-event.h:563
Definition supergraph.h:400
tree m_type
Definition checker-event.h:540
catch_cfg_edge_event(const exploded_edge &eedge, const event_loc_info &loc_info, tree type)
Definition checker-event.h:523
void print_desc(pretty_printer &pp) const final override
Definition checker-event.h:531
meaning get_meaning() const override
cfg_edge_event(enum event_kind kind, const exploded_edge &eedge, const event_loc_info &loc_info)
const cfg_superedge & get_cfg_superedge() const
Definition supergraph.h:522
virtual void prepare_for_emission(checker_path *, pending_diagnostic *pd, diagnostic_event_id_t emission_id)
virtual const program_state * get_program_state() const
Definition checker-event.h:136
checker_event(enum event_kind kind, const event_loc_info &loc_info)
virtual bool is_return_p() const
Definition checker-event.h:130
tree m_effective_fndecl
Definition checker-event.h:159
diagnostic_event_id_t m_emission_id
Definition checker-event.h:163
enum event_kind get_kind() const
Definition checker-event.h:120
int get_stack_depth() const final override
Definition checker-event.h:103
location_t m_loc
Definition checker-event.h:157
const diagnostic_event_id_t * get_id_ptr() const
Definition checker-event.h:139
enum event_kind m_kind
Definition checker-event.h:155
tree m_original_fndecl
Definition checker-event.h:158
virtual bool is_function_entry_p() const
Definition checker-event.h:129
logical_location m_logical_loc
Definition checker-event.h:164
void set_location(location_t loc)
Definition checker-event.h:147
pending_diagnostic * m_pending_diagnostic
Definition checker-event.h:162
bool connect_to_next_event_p() const override
Definition checker-event.h:109
int get_original_stack_depth() const
Definition checker-event.h:123
location_t get_location() const final override
Definition checker-event.h:102
virtual bool is_call_p() const
Definition checker-event.h:128
std::unique_ptr< diagnostics::digraphs::digraph > maybe_make_diagnostic_state_graph(bool debug) const final override
tree get_fndecl() const
Definition checker-event.h:121
void maybe_add_sarif_properties(sarif_builder &, sarif_object &thread_flow_loc_obj) const override
const checker_path * m_path
Definition checker-event.h:154
int m_effective_depth
Definition checker-event.h:161
int m_original_depth
Definition checker-event.h:160
diagnostic_thread_id_t get_thread_id() const final override
Definition checker-event.h:110
meaning get_meaning() const override
logical_location get_logical_location() const final override
Definition checker-event.h:104
void dump(pretty_printer *pp) const
Definition checker-path.h:32
custom_event(const event_loc_info &loc_info)
Definition checker-event.h:197
char * m_desc
Definition checker-event.h:188
~debug_event()
Definition checker-event.h:180
debug_event(const event_loc_info &loc_info, const char *desc)
Definition checker-event.h:174
void print_desc(pretty_printer &) const final override
end_cfg_edge_event(const exploded_edge &eedge, const event_loc_info &loc_info)
Definition checker-event.h:505
void print_desc(pretty_printer &pp) const final override
Definition checker-event.h:511
end_consolidated_cfg_edges_event(const event_loc_info &loc_info)
Definition checker-event.h:611
void print_desc(pretty_printer &pp) const final override
Definition checker-event.h:616
tree m_type
Definition checker-event.h:779
void print_desc(pretty_printer &pp) const final override
bool m_is_rethrow
Definition checker-event.h:780
explicit_throw_event(const event_loc_info &loc_info, const exploded_node *enode, const gcall &throw_call, tree type, bool is_rethrow)
Definition checker-event.h:765
Definition exploded-graph.h:396
Definition exploded-graph.h:205
function_entry_event(const program_point &dst_point, const program_state &state)
const program_state * get_program_state() const final override
Definition checker-event.h:368
meaning get_meaning() const override
function_entry_event(const event_loc_info &loc_info, const program_state &state)
Definition checker-event.h:352
bool is_function_entry_p() const final override
Definition checker-event.h:365
void print_desc(pretty_printer &pp) const override
const program_state & m_state
Definition checker-event.h:374
meaning get_meaning() const override
void print_desc(pretty_printer &) const final override
inlined_call_event(location_t loc, tree apparent_callee_fndecl, tree apparent_caller_fndecl, int actual_depth, int stack_depth_adjustment)
Definition checker-event.h:628
tree m_apparent_callee_fndecl
Definition checker-event.h:647
tree m_apparent_caller_fndecl
Definition checker-event.h:648
Definition pending-diagnostic.h:190
~precanned_custom_event()
Definition checker-event.h:214
char * m_desc
Definition checker-event.h:222
void print_desc(pretty_printer &) const final override
precanned_custom_event(const event_loc_info &loc_info, const char *desc)
Definition checker-event.h:208
Definition program-point.h:175
Definition program-state.h:224
tree m_capacity
Definition checker-event.h:324
void print_desc(pretty_printer &pp) const final override
region_creation_event_allocation_size(tree capacity, const event_loc_info &loc_info)
Definition checker-event.h:315
void print_desc(pretty_printer &pp) const final override
region_creation_event_capacity(tree capacity, const event_loc_info &loc_info)
Definition checker-event.h:294
tree m_capacity
Definition checker-event.h:305
region_creation_event_debug(const region *reg, tree capacity, const event_loc_info &loc_info)
Definition checker-event.h:333
tree m_capacity
Definition checker-event.h:344
const region * m_reg
Definition checker-event.h:343
void print_desc(pretty_printer &pp) const final override
enum memory_space m_mem_space
Definition checker-event.h:284
void print_desc(pretty_printer &pp) const final override
region_creation_event_memory_space(enum memory_space mem_space, const event_loc_info &loc_info)
Definition checker-event.h:274
region_creation_event(const event_loc_info &loc_info)
const supernode * m_dest_snode
Definition checker-event.h:581
return_event(const exploded_edge &eedge, const event_loc_info &loc_info)
void print_desc(pretty_printer &pp) const final override
bool is_return_p() const final override
const supernode * m_src_snode
Definition checker-event.h:580
meaning get_meaning() const override
tree get_longjmp_caller() const
rewind_event(const exploded_edge *eedge, enum event_kind kind, const event_loc_info &loc_info, const rewind_info_t *rewind_info)
tree get_setjmp_caller() const
const exploded_edge * m_eedge
Definition checker-event.h:696
const rewind_info_t * m_rewind_info
Definition checker-event.h:693
const exploded_edge * get_eedge() const
Definition checker-event.h:686
rewind_from_longjmp_event(const exploded_edge *eedge, const event_loc_info &loc_info, const rewind_info_t *rewind_info)
Definition checker-event.h:705
void print_desc(pretty_printer &pp) const final override
Definition exploded-graph.h:472
void prepare_for_emission(checker_path *path, pending_diagnostic *pd, diagnostic_event_id_t emission_id) final override
rewind_to_setjmp_event(const exploded_edge *eedge, const event_loc_info &loc_info, const rewind_info_t *rewind_info)
Definition checker-event.h:722
void print_desc(pretty_printer &pp) const final override
diagnostic_event_id_t m_original_setjmp_event_id
Definition checker-event.h:737
const gcall & m_setjmp_call
Definition checker-event.h:672
void print_desc(pretty_printer &pp) const final override
void prepare_for_emission(checker_path *path, pending_diagnostic *pd, diagnostic_event_id_t emission_id) final override
const exploded_node * m_enode
Definition checker-event.h:671
setjmp_event(const event_loc_info &loc_info, const exploded_node *enode, const gcall &setjmp_call)
Definition checker-event.h:656
bool connect_to_next_event_p() const final override
Definition checker-event.h:486
void print_desc(pretty_printer &pp) const override
static label_text maybe_describe_condition(bool can_colorize, tree lhs, enum tree_code op, tree rhs)
start_cfg_edge_event(const exploded_edge &eedge, const event_loc_info &loc_info)
Definition checker-event.h:479
label_text maybe_describe_condition(bool can_colorize) const
static bool should_print_expr_p(tree)
bool connect_to_next_event_p() const final override
Definition checker-event.h:599
meaning get_meaning() const override
start_consolidated_cfg_edges_event(const event_loc_info &loc_info, bool edge_sense)
Definition checker-event.h:590
bool m_edge_sense
Definition checker-event.h:602
void print_desc(pretty_printer &pp) const final override
state_machine::state_t m_to
Definition checker-event.h:413
state_machine::state_t m_from
Definition checker-event.h:412
void print_desc(pretty_printer &pp) const final override
const svalue * m_origin
Definition checker-event.h:414
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)
const exploded_node * get_exploded_node() const
Definition checker-event.h:406
meaning get_meaning() const override
const supernode * m_node
Definition checker-event.h:408
program_state m_dst_state
Definition checker-event.h:415
const state_machine & m_sm
Definition checker-event.h:410
const svalue * m_sval
Definition checker-event.h:411
const program_state * get_program_state() const final override
Definition checker-event.h:396
const exploded_node * m_enode
Definition checker-event.h:416
const gimple * m_stmt
Definition checker-event.h:409
const function * get_dest_function() const
Definition checker-event.h:401
const state_machine::state * state_t
Definition sm.h:61
statement_event(const gimple *stmt, tree fndecl, int depth, const program_state &dst_state)
void print_desc(pretty_printer &) const final override
const program_state * get_program_state() const final override
Definition checker-event.h:237
const gimple *const m_stmt
Definition checker-event.h:242
const program_state m_dst_state
Definition checker-event.h:243
const program_state * get_program_state() const override
state_machine::state_t m_critical_state
Definition checker-event.h:454
superedge_event(enum event_kind kind, const exploded_edge &eedge, const event_loc_info &loc_info)
const callgraph_superedge & get_callgraph_superedge() const
void maybe_add_sarif_properties(sarif_builder &, sarif_object &thread_flow_loc_obj) const override
tree m_var
Definition checker-event.h:453
const exploded_edge & m_eedge
Definition checker-event.h:451
bool should_filter_p(int verbosity) const
void record_critical_state(tree var, state_machine::state_t state)
Definition checker-event.h:433
const superedge * m_sedge
Definition checker-event.h:452
Definition supergraph.h:318
Definition supergraph.h:239
const gcall & m_throw_call
Definition checker-event.h:756
throw_event(const event_loc_info &loc_info, const exploded_node *enode, const gcall &throw_call)
Definition checker-event.h:745
const exploded_node * m_enode
Definition checker-event.h:755
void print_desc(pretty_printer &pp) const final override
throw_from_call_to_external_fn_event(const event_loc_info &loc_info, const exploded_node *enode, const gcall &throw_call, tree fndecl)
Definition checker-event.h:790
tree m_fndecl
Definition checker-event.h:802
unwind_event(const event_loc_info &loc_info)
Definition checker-event.h:811
void print_desc(pretty_printer &pp) const final override
int m_num_frames
Definition checker-event.h:819
const program_state * get_program_state() const final override
std::unique_ptr< program_state > m_program_state
Definition checker-event.h:858
tree m_var
Definition checker-event.h:854
const exploded_node * get_exploded_node() const
Definition checker-event.h:849
const state_machine * m_sm
Definition checker-event.h:853
meaning get_meaning() const override
const exploded_node * m_enode
Definition checker-event.h:852
void print_desc(pretty_printer &pp) const final override
state_machine::state_t m_state
Definition checker-event.h:855
warning_event(const event_loc_info &loc_info, const exploded_node *enode, const state_machine *sm, tree var, state_machine::state_t state, const program_state *program_state_=nullptr)
Definition checker-event.h:830
Definition diagnostic-event-id.h:37
Definition diagnostic-path.h:80
@ function
Definition diagnostic-path.h:104
Definition pretty-print.h:241
Definition diagnostic-format-sarif.cc:750
Definition diagnostic-format-sarif.h:146
static struct path_prefix cpath path
Definition collect2.cc:514
union tree_node * tree
Definition coretypes.h:97
int diagnostic_thread_id_t
Definition diagnostic-event-id.h:70
void final(rtx_insn *first, FILE *file, int optimize_p)
Definition final.cc:2008
tree_code
Definition genmatch.cc:1002
logical_location_manager::key logical_location
Definition logical-location.h:173
Definition access-diagram.h:30
event_kind
Definition checker-event.h:35
@ function_entry
Definition checker-event.h:40
@ throw_
Definition checker-event.h:53
@ unwind
Definition checker-event.h:54
@ stmt
Definition checker-event.h:38
@ setjmp_
Definition checker-event.h:50
@ rewind_to_setjmp
Definition checker-event.h:52
@ start_consolidated_cfg_edges
Definition checker-event.h:47
@ start_cfg_edge
Definition checker-event.h:42
@ region_creation
Definition checker-event.h:39
@ inlined_call
Definition checker-event.h:49
@ warning
Definition checker-event.h:55
@ state_change
Definition checker-event.h:41
@ rewind_from_longjmp
Definition checker-event.h:51
@ catch_
Definition checker-event.h:44
@ custom
Definition checker-event.h:37
@ return_edge
Definition checker-event.h:46
@ end_cfg_edge
Definition checker-event.h:43
@ debug
Definition checker-event.h:36
@ call_edge
Definition checker-event.h:45
@ end_consolidated_cfg_edges
Definition checker-event.h:48
const char * event_kind_to_string(enum event_kind ek)
memory_space
Definition region.h:32
void pp_printf(pretty_printer *pp, const char *msg,...)
Definition pretty-print.cc:2557
void pp_string(pretty_printer *pp, const char *str)
Definition pretty-print.cc:2638
Definition event-loc-info.h:29
Definition diagnostic-path.h:124
Definition genautomata.cc:669
Definition gengtype.h:252
#define NULL
Definition system.h:50
#define gcc_assert(EXPR)
Definition system.h:814