Edge of the directed graph representation of this call graph. More...

#include <call_graph.h>

Collaboration diagram for call_grapht::edge_with_callsitest:

Public Attributes
locationst	callsites
	Callsites responsible for this graph edge. More...

Detailed Description

Edge of the directed graph representation of this call graph.

Definition at line 124 of file call_graph.h.

Member Data Documentation

locationst call_grapht::edge_with_callsitest::callsites

Callsites responsible for this graph edge.

Will be empty if collect_callsites was not set at call_grapht construction time.

Definition at line 128 of file call_graph.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/call_graph.h