GCC Middle and Back End API Reference
|
Static Public Member Functions | |
static bool | same_tree_p (tree t1, tree t2) |
Static Private Member Functions | |
static bool | fedge_uses_conjured_svalue_p (feasible_edge *fedge) |
static bool | expr_uses_conjured_svalue_p (const region_model &model, tree expr) |
Private Attributes | |
const exploded_node * | m_prev_entry_enode |
const exploded_node * | m_new_entry_enode |
tree | m_callee_fndecl |
const checker_event * | m_prev_entry_event |
A subclass of pending_diagnostic for complaining about suspected infinite recursion.
|
inline |
|
virtualinherited |
|
inlinefinaloverridevirtual |
Reimplemented from ana::pending_diagnostic.
References gcc_assert, ana::exploded_node::get_stack_depth(), ana::supernode::get_start_location(), ana::exploded_node::get_supernode(), ggc_alloc(), m_callee_fndecl, m_new_entry_enode, and NULL.
|
inlinefinaloverridevirtual |
Reimplemented from ana::pending_diagnostic.
References ana::pending_diagnostic::add_function_entry_event(), gcc_assert, ana::exploded_node::get_point(), ggc_alloc(), m_new_entry_enode, m_prev_entry_enode, m_prev_entry_event, make_label_text(), and NULL.
|
virtualinherited |
|
inlinefinaloverridevirtual |
Reimplemented from ana::pending_diagnostic.
References fedge_uses_conjured_svalue_p(), gcc_assert, gcc_unreachable, ggc_alloc(), m_new_entry_enode, and m_prev_entry_enode.
|
inlinevirtualinherited |
References ggc_alloc().
|
inlinefinaloverridevirtual |
Reimplemented from ana::pending_diagnostic.
References ana::exploded_node::get_stack_depth(), ggc_alloc(), m_new_entry_enode, and m_prev_entry_enode.
|
inlinevirtualinherited |
References ggc_alloc().
|
inlinevirtualinherited |
References ggc_alloc().
|
inlinefinaloverridevirtual |
Implements ana::pending_diagnostic.
References ggc_alloc().
|
inlineinherited |
References ana::pending_diagnostic::get_kind().
|
inlinestaticprivate |
References ana::svalue::accept(), ggc_alloc(), and NULL.
Referenced by fedge_uses_conjured_svalue_p().
|
inlinestaticprivate |
References expr_uses_conjured_svalue_p(), ggc_alloc(), gimple_cond_lhs(), gimple_cond_rhs(), and gimple_switch_index().
Referenced by check_valid_fpath_p().
|
virtualinherited |
|
inlinefinaloverridevirtual |
Implements ana::pending_diagnostic.
References ggc_alloc().
Implements ana::pending_diagnostic.
|
inlinevirtualinherited |
|
inlinevirtualinherited |
|
inlinevirtualinherited |
Reimplemented in infinite_loop_diagnostic.
|
inlinefinaloverridevirtual |
Reimplemented from ana::pending_diagnostic.
References ggc_alloc(), ana::exploded_node::m_index, m_new_entry_enode, m_prev_entry_enode, and PROPERTY_PREFIX.
|
inline |
References m_callee_fndecl.
Referenced by ana::call_arg_details::operator==().
|
inlinefinaloverridevirtualinherited |
Implements ana::pending_diagnostic.
|
inlinevirtualinherited |
|
private |
Referenced by add_final_event(), and operator==().
|
private |
|
private |
Referenced by add_function_entry_event(), check_valid_fpath_p(), describe_final_event(), and maybe_add_sarif_properties().
|
private |
Referenced by add_function_entry_event().