infinite_recursion_diagnostic Class Reference

Inheritance diagram for infinite_recursion_diagnostic:

Collaboration diagram for infinite_recursion_diagnostic:

Public Member Functions
	infinite_recursion_diagnostic (const exploded_node *prev_entry_enode, const exploded_node *new_entry_enode, tree callee_fndecl)
const char *	get_kind () const final override
bool	operator== (const infinite_recursion_diagnostic &other) const
int	get_controlling_option () const final override
bool	emit (diagnostic_emission_context &ctxt) final override
bool	describe_final_event (pretty_printer &pp, const evdesc::final_event &) final override
void	add_function_entry_event (const exploded_edge &eedge, checker_path *emission_path) 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
bool	check_valid_fpath_p (const feasible_node &final_fnode, const gimple *) const 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 bool	maybe_add_custom_events_for_superedge (const exploded_edge &, checker_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 *)

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

Detailed Description

Detection of infinite recursion.
   Copyright (C) 2022-2025 Free Software Foundation, Inc.
   Contributed by David Malcolm <dmalcolm@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

A subclass of pending_diagnostic for complaining about suspected
infinite recursion.   

Constructor & Destructor Documentation

infinite_recursion_diagnostic()

infinite_recursion_diagnostic::infinite_recursion_diagnostic ( const exploded_node * prev_entry_enode, const exploded_node * new_entry_enode, tree callee_fndecl )

inline

References m_callee_fndecl, m_new_entry_enode, m_prev_entry_enode, m_prev_entry_event, and NULL.

Referenced by add_function_entry_event(), and operator==().

Member Function Documentation

add_call_event()

virtual void ana::pending_diagnostic::add_call_event ( const exploded_edge & , checker_path *  )

virtualinherited

add_final_event()

void infinite_recursion_diagnostic::add_final_event ( const state_machine * , const exploded_node * enode, const event_loc_info & , tree , state_machine::state_t , checker_path * emission_path )

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References gcc_assert, m_callee_fndecl, and m_new_entry_enode.

add_function_entry_event()

void infinite_recursion_diagnostic::add_function_entry_event ( const exploded_edge & eedge, checker_path * emission_path )

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References ana::pending_diagnostic::add_function_entry_event(), gcc_assert, ana::exploded_node::get_point(), infinite_recursion_diagnostic(), m_new_entry_enode, m_prev_entry_enode, m_prev_entry_event, NULL, and pp_printf().

add_region_creation_events()

virtual void ana::pending_diagnostic::add_region_creation_events ( const region * reg, tree capacity, const event_loc_info & loc_info, checker_path & emission_path )

virtualinherited

check_valid_fpath_p()

bool infinite_recursion_diagnostic::check_valid_fpath_p ( const feasible_node & final_fnode, const gimple *  ) const

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References fedge_uses_conjured_svalue_p(), gcc_assert, gcc_unreachable, ana::base_feasible_node::get_inner_node(), ana::exploded_node::m_index, m_new_entry_enode, dnode< GraphTraits >::m_preds, m_prev_entry_enode, and dedge< GraphTraits >::m_src.

describe_call_with_state()

virtual bool ana::pending_diagnostic::describe_call_with_state ( pretty_printer & , const evdesc::call_with_state &  )

inlinevirtualinherited

describe_final_event()

bool infinite_recursion_diagnostic::describe_final_event ( pretty_printer & pp, const evdesc::final_event &  )

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References m_new_entry_enode, m_prev_entry_enode, pp_printf(), and pp_string().

describe_return_of_state()

virtual bool ana::pending_diagnostic::describe_return_of_state ( pretty_printer & , const evdesc::return_of_state &  )

inlinevirtualinherited

describe_state_change()

virtual bool ana::pending_diagnostic::describe_state_change ( pretty_printer & , const evdesc::state_change &  )

inlinevirtualinherited

emit()

bool infinite_recursion_diagnostic::emit ( diagnostic_emission_context & ctxt )

inlinefinaloverridevirtual

Implements ana::pending_diagnostic.

equal_p()

bool ana::pending_diagnostic::equal_p ( const pending_diagnostic & other ) const

inlineinherited

References get_kind(), and subclass_equal_p().

expr_uses_conjured_svalue_p()

bool infinite_recursion_diagnostic::expr_uses_conjured_svalue_p ( const region_model & model, tree expr )

inlinestaticprivate

References ana::svalue::accept(), ana::region_model::get_rvalue(), and NULL.

Referenced by fedge_uses_conjured_svalue_p().

fedge_uses_conjured_svalue_p()

bool infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p ( feasible_edge * fedge )

inlinestaticprivate

References dyn_cast(), ana::superedge::dyn_cast_cfg_superedge(), expr_uses_conjured_svalue_p(), ana::base_feasible_edge::get_inner_edge(), ana::supernode::get_last_stmt(), ana::feasibility_state::get_model(), ana::feasible_node::get_state(), gimple_cond_lhs(), gimple_cond_rhs(), gimple_switch_index(), dedge< GraphTraits >::m_dest, ana::exploded_edge::m_sedge, and dedge< GraphTraits >::m_src.

Referenced by check_valid_fpath_p().

fixup_location()

virtual location_t ana::pending_diagnostic::fixup_location ( location_t loc, bool primary ) const

virtualinherited

get_controlling_option()

int infinite_recursion_diagnostic::get_controlling_option ( ) const

inlinefinaloverridevirtual

Implements ana::pending_diagnostic.

References final().

get_kind()

const char * infinite_recursion_diagnostic::get_kind ( ) const

inlinefinaloverridevirtual

Implements ana::pending_diagnostic.

References final().

get_meaning_for_state_change()

virtual diagnostic_event::meaning ana::pending_diagnostic::get_meaning_for_state_change ( const evdesc::state_change & ) const

inlinevirtualinherited

mark_interesting_stuff()

virtual void ana::pending_diagnostic::mark_interesting_stuff ( interesting_t * )

inlinevirtualinherited

maybe_add_custom_events_for_superedge()

virtual bool ana::pending_diagnostic::maybe_add_custom_events_for_superedge ( const exploded_edge & , checker_path *  )

inlinevirtualinherited

Reimplemented in infinite_loop_diagnostic.

maybe_add_sarif_properties()

void infinite_recursion_diagnostic::maybe_add_sarif_properties ( sarif_object & result_obj ) const

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References m_new_entry_enode, m_prev_entry_enode, PROPERTY_PREFIX, and json::object::set_integer().

operator==()

bool infinite_recursion_diagnostic::operator== ( const infinite_recursion_diagnostic & other ) const

inline

References infinite_recursion_diagnostic(), and m_callee_fndecl.

same_tree_p()

bool ana::pending_diagnostic::same_tree_p ( tree t1, tree t2 )

staticinherited

Referenced by ana::call_arg_details::operator==().

subclass_equal_p()

bool ana::pending_diagnostic_subclass< infinite_recursion_diagnostic >::subclass_equal_p ( const pending_diagnostic & base_other ) const

inlinefinaloverridevirtualinherited

Implements ana::pending_diagnostic.

supercedes_p()

virtual bool ana::pending_diagnostic::supercedes_p ( const pending_diagnostic & other ) const

inlinevirtualinherited

terminate_path_p()

virtual bool ana::pending_diagnostic::terminate_path_p ( ) const

inlinevirtualinherited

use_of_uninit_p()

virtual bool ana::pending_diagnostic::use_of_uninit_p ( ) const

inlinevirtualinherited

Field Documentation

m_callee_fndecl

tree infinite_recursion_diagnostic::m_callee_fndecl

private

Referenced by add_final_event(), infinite_recursion_diagnostic(), and operator==().

m_new_entry_enode

const exploded_node* infinite_recursion_diagnostic::m_new_entry_enode

private

Referenced by add_final_event(), add_function_entry_event(), check_valid_fpath_p(), describe_final_event(), infinite_recursion_diagnostic(), and maybe_add_sarif_properties().

m_prev_entry_enode

const exploded_node* infinite_recursion_diagnostic::m_prev_entry_enode

private

Referenced by add_function_entry_event(), check_valid_fpath_p(), describe_final_event(), infinite_recursion_diagnostic(), and maybe_add_sarif_properties().

m_prev_entry_event

const checker_event* infinite_recursion_diagnostic::m_prev_entry_event

private

Referenced by add_function_entry_event(), and infinite_recursion_diagnostic().

---

The documentation for this class was generated from the following file:

• infinite-recursion.cc