|
| checker_path (logger *logger) |
|
unsigned | num_events () const final override |
|
const diagnostic_event & | get_event (int idx) const final override |
|
unsigned | num_threads () const final override |
|
const diagnostic_thread & | get_thread (diagnostic_thread_id_t) const final override |
|
checker_event * | get_checker_event (int idx) |
|
bool | same_function_p (int event_idx_a, int event_idx_b) const final override |
|
void | dump (pretty_printer *pp) const |
|
void | debug () const |
|
logger * | get_logger () const |
|
void | maybe_log (logger *logger, const char *desc) const |
|
void | add_event (std::unique_ptr< checker_event > event) |
|
void | delete_event (int idx) |
|
void | delete_events (unsigned start_idx, unsigned len) |
|
void | replace_event (unsigned idx, checker_event *new_event) |
|
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) |
|
void | fixup_locations (pending_diagnostic *pd) |
|
void | record_setjmp_event (const exploded_node *enode, diagnostic_event_id_t setjmp_emission_id) |
|
bool | get_setjmp_event (const exploded_node *enode, diagnostic_event_id_t *out_emission_id) |
|
bool | cfg_edge_pair_at_p (unsigned idx) const |
|
void | inject_any_inlined_call_events (logger *logger) |
|
bool | interprocedural_p () const |
|
bool | multithreaded_p () const |
|
Subclass of diagnostic_path for analyzer diagnostics.
bool diagnostic_path::get_first_event_in_a_function |
( |
unsigned * | out_idx | ) |
const |
|
privateinherited |
class diagnostic_path.
Subroutine of diagnostic_path::interprocedural_p.
Look for the first event in this path that is within a function
i.e. has a non-null logical location for which function_p is true.
If found, write its index to *OUT_IDX and return true.
Otherwise return false.
References get_event(), i, and num_events().
Referenced by interprocedural_p().