21#ifndef GCC_ANALYZER_CHECKER_PATH_H
22#define GCC_ANALYZER_CHECKER_PATH_H
73 int event_idx_b)
const final override;
81 void add_event (std::unique_ptr<checker_event> event);
92 for (
unsigned i = start_idx;
i < start_idx + len;
i++)
94 m_events.block_remove (start_idx, len);
134 *out_emission_id = *emission_id;
Definition checker-event.h:97
void delete_events(unsigned start_idx, unsigned len)
Definition checker-path.h:90
void add_region_creation_events(pending_diagnostic *pd, const region *reg, const region_model *model, const event_loc_info &loc_info, bool debug)
void prepare_for_emission(pending_diagnostic *pd)
Definition checker-path.h:113
void inject_any_inlined_call_events(logger *logger)
void maybe_log(logger *logger, const char *desc) const
const extrinsic_state & get_ext_state() const
Definition checker-path.h:64
const diagnostic_event & get_event(int idx) const final override
Definition checker-path.h:50
bool get_setjmp_event(const exploded_node *enode, diagnostic_event_id_t *out_emission_id)
Definition checker-path.h:129
hash_map< const exploded_node *, diagnostic_event_id_t > m_setjmp_event_ids
Definition checker-path.h:157
auto_delete_vec< checker_event > m_events
Definition checker-path.h:152
const diagnostic_thread & get_thread(diagnostic_thread_id_t) const final override
Definition checker-path.h:59
bool same_function_p(int event_idx_a, int event_idx_b) const final override
unsigned num_threads() const final override
Definition checker-path.h:54
DISABLE_COPY_AND_ASSIGN(checker_path)
logger * m_logger
Definition checker-path.h:159
void record_setjmp_event(const exploded_node *enode, diagnostic_event_id_t setjmp_emission_id)
Definition checker-path.h:123
void add_event(std::unique_ptr< checker_event > event)
void replace_event(unsigned idx, checker_event *new_event)
Definition checker-path.h:97
unsigned num_events() const final override
Definition checker-path.h:45
void dump(pretty_printer *pp) const
logger * get_logger() const
Definition checker-path.h:78
checker_event * get_checker_event(int idx)
Definition checker-path.h:66
bool cfg_edge_pair_at_p(unsigned idx) const
simple_diagnostic_thread m_thread
Definition checker-path.h:149
const extrinsic_state & m_ext_state
Definition checker-path.h:147
void fixup_locations(pending_diagnostic *pd)
checker_path(const logical_location_manager &logical_loc_mgr, const extrinsic_state &ext_state, logger *logger)
Definition checker-path.h:34
void delete_event(int idx)
Definition checker-path.h:83
Definition exploded-graph.h:205
Definition program-state.h:36
Definition analyzer-logging.h:34
Definition pending-diagnostic.h:190
Definition region-model.h:298
Definition diagnostic-event-id.h:37
Definition diagnostic-path.h:74
diagnostic_path(const logical_location_manager &logical_loc_mgr)
Definition diagnostic-path.h:222
Definition diagnostic-path.h:189
Definition logical-location.h:91
Definition pretty-print.h:241
Definition simple-diagnostic-path.h:80
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
Definition access-diagram.h:30
i
Definition poly-int.h:776
Definition event-loc-info.h:29
#define FOR_EACH_VEC_ELT(V, I, P)
Definition vec.h:1895