#include <program-point.h>

Collaboration diagram for ana::program_point:

Public Member Functions
	program_point (const function_point &fn_point, const call_string &call_string)

void	print (pretty_printer *pp, const format &f) const

void	dump () const

json::object *	to_json () const

hashval_t	hash () const

bool	operator== (const program_point &other) const

bool	operator!= (const program_point &other) const

const function_point &	get_function_point () const

const call_string &	get_call_string () const

const supernode *	get_supernode () const

function *	get_function () const

function *	get_function_at_depth (unsigned depth) const

tree	get_fndecl () const

const gimple *	get_stmt () const

location_t	get_location () const

enum point_kind	get_kind () const

const superedge *	get_from_edge () const

unsigned	get_stmt_idx () const

int	get_stack_depth () const

bool	on_edge (exploded_graph &eg, const superedge *succ)

void	push_to_call_stack (const supernode caller, const supernode callee)

void	pop_from_call_stack ()

void	validate () const

void	next_stmt ()

program_point	get_next () const

Static Public Member Functions
static program_point	origin (const region_model_manager &mgr)

static program_point	from_function_entry (const region_model_manager &mgr, const supergraph &sg, const function &fun)

static program_point	before_supernode (const supernode supernode, const superedge from_edge, const call_string &call_string)

static program_point	before_stmt (const supernode *supernode, unsigned stmt_idx, const call_string &call_string)

static program_point	after_supernode (const supernode *supernode, const call_string &call_string)

static program_point	empty ()

static program_point	deleted ()

static bool	effectively_intraprocedural_p (const program_point &point_a, const program_point &point_b)

Private Member Functions
	program_point (const function_point &fn_point)

Private Attributes
function_point	m_function_point

const call_string *	m_call_string

Detailed Description

A class for representing a location within the program, including
interprocedural information.

This represents a fine-grained location within the supergraph (or
within one of its nodes), along with a call string giving the
interprocedural context.

Constructor & Destructor Documentation

◆ program_point() [1/2]

ana::program_point::program_point	(	const function_point &	fn_point,
		const call_string &	call_string )

inline

Referenced by after_supernode(), before_stmt(), before_supernode(), deleted(), and empty().

◆ program_point() [2/2]

ana::program_point::program_point ( const function_point & fn_point )

inlineprivate

Member Function Documentation

◆ after_supernode()

static program_point ana::program_point::after_supernode	(	const supernode *	supernode,
		const call_string &	call_string )

inlinestatic

References ana::function_point::after_supernode(), and program_point().

◆ before_stmt()

static program_point ana::program_point::before_stmt	(	const supernode *	supernode,
		unsigned	stmt_idx,
		const call_string &	call_string )

inlinestatic

References ana::function_point::before_stmt(), ggc_alloc(), and program_point().

◆ before_supernode()

static program_point ana::program_point::before_supernode	(	const supernode *	supernode,
		const superedge *	from_edge,
		const call_string &	call_string )