call_graph.cpp File Reference

Function Call Graphs. More...

#include "call_graph.h"
#include <util/xml.h>
#include <goto-programs/goto_model.h>

Include dependency graph for call_graph.cpp:

Go to the source code of this file.

Classes
class	function_indicest
	Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand. More...

Functions
static void	forall_callsites (const goto_programt &body, std::function< void(goto_programt::const_targett, const irep_idt &)> call_task)

Detailed Description

Function Call Graphs.

Definition in file call_graph.cpp.

Function Documentation

forall_callsites()

static void forall_callsites ( const goto_programt &  body, std::function< void(goto_programt::const_targett, const irep_idt &)>  call_task  )

static

Definition at line 52 of file call_graph.cpp.