|
| infinite_loop_diagnostic (std::unique_ptr< infinite_loop > inf_loop) |
|
const char * | get_kind () const final override |
|
bool | operator== (const infinite_loop_diagnostic &other) const |
|
int | get_controlling_option () const final override |
|
bool | emit (diagnostic_emission_context &ctxt) final override |
|
bool | maybe_add_custom_events_for_superedge (const exploded_edge &, checker_path *) final override |
|
bool | describe_final_event (pretty_printer &pp, const evdesc::final_event &) final override |
|
void | add_final_event (const state_machine *, const exploded_node *enode, const event_loc_info &, tree, state_machine::state_t, checker_path *emission_path) final override |
|
void | maybe_add_sarif_properties (sarif_object &result_obj) const final override |
|
bool | subclass_equal_p (const pending_diagnostic &base_other) const final override |
|
virtual bool | terminate_path_p () const |
|
virtual bool | use_of_uninit_p () const |
|
bool | equal_p (const pending_diagnostic &other) const |
|
virtual location_t | fixup_location (location_t loc, bool primary) const |
|
virtual bool | describe_state_change (pretty_printer &, const evdesc::state_change &) |
|
virtual diagnostic_event::meaning | get_meaning_for_state_change (const evdesc::state_change &) const |
|
virtual bool | describe_call_with_state (pretty_printer &, const evdesc::call_with_state &) |
|
virtual bool | describe_return_of_state (pretty_printer &, const evdesc::return_of_state &) |
|
virtual void | add_function_entry_event (const exploded_edge &eedge, checker_path *emission_path) |
|
virtual void | add_call_event (const exploded_edge &, checker_path *) |
|
virtual void | add_region_creation_events (const region *reg, tree capacity, const event_loc_info &loc_info, checker_path &emission_path) |
|
virtual bool | supercedes_p (const pending_diagnostic &other) const |
|
virtual void | mark_interesting_stuff (interesting_t *) |
|
virtual bool | check_valid_fpath_p (const feasible_node &, const gimple *) const |
|
A subclass of pending_diagnostic for complaining about suspected
infinite loops.