Inheritance diagram for infinite_loop_diagnostic:

[legend]

Collaboration diagram for infinite_loop_diagnostic:

[legend]

Public Member Functions
	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

Static Public Member Functions
static bool	same_tree_p (tree t1, tree t2)

Private Attributes
std::unique_ptr< infinite_loop >	m_inf_loop

Detailed Description

A subclass of pending_diagnostic for complaining about suspected
infinite loops.

Constructor & Destructor Documentation

◆ infinite_loop_diagnostic()

infinite_loop_diagnostic::infinite_loop_diagnostic ( std::unique_ptr< infinite_loop > inf_loop )

inline

References gcc_assert, and m_inf_loop.

Referenced by 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_loop_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 ana::cfg_superedge::back_edge_p(), ana::cfg_superedge::dyn_cast_cfg_superedge(), ana::superedge::dyn_cast_switch_cfg_superedge(), ana::cfg_superedge::false_value_p(), ana::program_point::get_fndecl(), ana::cfg_superedge::get_goto_locus(), ana::supernode::get_last_stmt(), ana::exploded_node::get_point(), ana::program_point::get_stack_depth(), ana::supernode::get_start_location(), ana::program_point::get_supernode(), gimple::location, ana::logger::log(), m_inf_loop, and ana::cfg_superedge::true_value_p().

◆ add_function_entry_event()

virtual void ana::pending_diagnostic::add_function_entry_event	(	const exploded_edge &	eedge,
		checker_path *	emission_path )

virtualinherited

Reimplemented in infinite_recursion_diagnostic.

Referenced by infinite_recursion_diagnostic::add_function_entry_event().

◆ 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()

virtual bool ana::pending_diagnostic::check_valid_fpath_p	(	const feasible_node &	,
		const gimple *	) const

inlinevirtualinherited

Reimplemented in infinite_recursion_diagnostic.

◆ 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_loop_diagnostic::describe_final_event	(	pretty_printer &	pp,
		const evdesc::final_event &	)

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References 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_loop_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().

◆ fixup_location()

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

virtualinherited

◆ get_controlling_option()

int infinite_loop_diagnostic::get_controlling_option ( ) const

inlinefinaloverridevirtual

Implements ana::pending_diagnostic.

References final().

◆ get_kind()

const char * infinite_loop_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()

bool infinite_loop_diagnostic::maybe_add_custom_events_for_superedge	(	const exploded_edge &	,
		checker_path *	)

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

◆ maybe_add_sarif_properties()

void infinite_loop_diagnostic::maybe_add_sarif_properties ( sarif_object & result_obj ) const

inlinefinaloverridevirtual

Reimplemented from ana::pending_diagnostic.

References m_inf_loop, PROPERTY_PREFIX, and json::object::set().

◆ operator==()

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

inline

References infinite_loop_diagnostic(), and m_inf_loop.

◆ 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_loop_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_inf_loop

std::unique_ptr<infinite_loop> infinite_loop_diagnostic::m_inf_loop

private

Referenced by add_final_event(), infinite_loop_diagnostic(), maybe_add_sarif_properties(), and operator==().

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

infinite-loop.cc

Public Member Functions

Static Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ infinite_loop_diagnostic()

Member Function Documentation

◆ add_call_event()

◆ add_final_event()

◆ add_function_entry_event()

◆ add_region_creation_events()

◆ check_valid_fpath_p()

◆ describe_call_with_state()

◆ describe_final_event()

◆ describe_return_of_state()

◆ describe_state_change()

◆ emit()

◆ equal_p()

◆ fixup_location()

◆ get_controlling_option()

◆ get_kind()

◆ get_meaning_for_state_change()

◆ mark_interesting_stuff()

◆ maybe_add_custom_events_for_superedge()

◆ maybe_add_sarif_properties()

◆ operator==()

◆ same_tree_p()

◆ subclass_equal_p()

◆ supercedes_p()

◆ terminate_path_p()

◆ use_of_uninit_p()

Field Documentation

◆ m_inf_loop