Skip to content

Commit 972646d

Browse files
committed
Fix uninitialised collect_callsites field in call_grapht
This only affected people using both collect_callsites and a call graph restricted to those functions reachable from a particular root function, hence slipping through the net.
1 parent ac6eb21 commit 972646d

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/analyses/call_graph.cpp

+2-1
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,8 @@ static void forall_callsites(
7474
call_grapht::call_grapht(
7575
const goto_functionst &goto_functions,
7676
const irep_idt &root,
77-
bool collect_callsites)
77+
bool collect_callsites):
78+
collect_callsites(collect_callsites)
7879
{
7980
std::stack<irep_idt, std::vector<irep_idt>> pending_stack;
8081
pending_stack.push(root);

0 commit comments

Comments
 (0)