GCC Middle and Back End API Reference
|
#include <diagnostic-manager.h>
Public Member Functions | |
saved_diagnostic (const state_machine *sm, const pending_location &ploc, tree var, const svalue *sval, state_machine::state_t state, std::unique_ptr< pending_diagnostic > d, unsigned idx) | |
bool | operator== (const saved_diagnostic &other) const |
void | add_note (std::unique_ptr< pending_note > pn) |
void | add_event (std::unique_ptr< checker_event > event) |
json::object * | to_json () const |
void | dump_dot_id (pretty_printer *pp) const |
void | dump_as_dot_node (pretty_printer *pp) const |
const feasibility_problem * | get_feasibility_problem () const |
bool | calc_best_epath (epath_finder *pf) |
const exploded_path * | get_best_epath () const |
unsigned | get_epath_length () const |
void | add_duplicate (saved_diagnostic *other) |
unsigned | get_num_dupes () const |
unsigned | get_index () const |
bool | supercedes_p (const saved_diagnostic &other) const |
void | add_any_saved_events (checker_path &dst_path) |
void | emit_any_notes () const |
void | maybe_add_sarif_properties (sarif_object &result_obj) const |
Data Fields | |
const state_machine * | m_sm |
const exploded_node * | m_enode |
const supernode * | m_snode |
const gimple * | m_stmt |
std::unique_ptr< stmt_finder > | m_stmt_finder |
location_t | m_loc |
tree | m_var |
const svalue * | m_sval |
state_machine::state_t | m_state |
std::unique_ptr< pending_diagnostic > | m_d |
const exploded_edge * | m_trailing_eedge |
Private Member Functions | |
DISABLE_COPY_AND_ASSIGN (saved_diagnostic) | |
Private Attributes | |
unsigned | m_idx |
std::unique_ptr< exploded_path > | m_best_epath |
std::unique_ptr< feasibility_problem > | m_problem |
auto_vec< const saved_diagnostic * > | m_duplicates |
auto_delete_vec< pending_note > | m_notes |
auto_delete_vec< checker_event > | m_saved_events |
A to-be-emitted diagnostic stored within diagnostic_manager.
ana::saved_diagnostic::saved_diagnostic | ( | const state_machine * | sm, |
const pending_location & | ploc, | ||
tree | var, | ||
const svalue * | sval, | ||
state_machine::state_t | state, | ||
std::unique_ptr< pending_diagnostic > | d, | ||
unsigned | idx ) |
void ana::saved_diagnostic::add_any_saved_events | ( | checker_path & | dst_path | ) |
void ana::saved_diagnostic::add_duplicate | ( | saved_diagnostic * | other | ) |
void ana::saved_diagnostic::add_event | ( | std::unique_ptr< checker_event > | event | ) |
void ana::saved_diagnostic::add_note | ( | std::unique_ptr< pending_note > | pn | ) |
bool ana::saved_diagnostic::calc_best_epath | ( | epath_finder * | pf | ) |
|
private |
void ana::saved_diagnostic::dump_as_dot_node | ( | pretty_printer * | pp | ) | const |
void ana::saved_diagnostic::dump_dot_id | ( | pretty_printer * | pp | ) | const |
void ana::saved_diagnostic::emit_any_notes | ( | ) | const |
|
inline |
References m_best_epath.
unsigned ana::saved_diagnostic::get_epath_length | ( | ) | const |
|
inline |
References m_problem.
|
inline |
References m_duplicates.
void ana::saved_diagnostic::maybe_add_sarif_properties | ( | sarif_object & | result_obj | ) | const |
bool ana::saved_diagnostic::operator== | ( | const saved_diagnostic & | other | ) | const |
bool ana::saved_diagnostic::supercedes_p | ( | const saved_diagnostic & | other | ) | const |
json::object * ana::saved_diagnostic::to_json | ( | ) | const |
|
private |
Referenced by get_best_epath().
std::unique_ptr<pending_diagnostic> ana::saved_diagnostic::m_d |
|
private |
Referenced by get_num_dupes().
const exploded_node* ana::saved_diagnostic::m_enode |
|
private |
Referenced by get_index().
location_t ana::saved_diagnostic::m_loc |
|
private |
|
private |
Referenced by get_feasibility_problem().
|
private |
const state_machine* ana::saved_diagnostic::m_sm |
state_machine::state_t ana::saved_diagnostic::m_state |
std::unique_ptr<stmt_finder> ana::saved_diagnostic::m_stmt_finder |
const exploded_edge* ana::saved_diagnostic::m_trailing_eedge |
tree ana::saved_diagnostic::m_var |