@@ -171,7 +171,6 @@ call_summary_replay::call_summary_replay (const call_details &cd,
call_summary *summary,
const extrinsic_state &ext_state)
: m_cd (cd),
- m_called_fn (called_fn),
m_summary (summary),
m_ext_state (ext_state)
{
@@ -100,7 +100,6 @@ private:
const region *convert_region_from_summary_1 (const region *);
const call_details &m_cd;
- function *m_called_fn;
call_summary *m_summary;
const extrinsic_state &m_ext_state;
@@ -1439,7 +1439,6 @@ exploded_node::on_stmt (exploded_graph &eg,
snode,
as_a <const gcall *> (stmt),
state,
- uncertainty,
path_ctxt,
called_fn,
called_fn_data,
@@ -1598,7 +1597,6 @@ exploded_node::replay_call_summaries (exploded_graph &eg,
const supernode *snode,
const gcall *call_stmt,
program_state *state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
per_function_data *called_fn_data,
@@ -1612,7 +1610,7 @@ exploded_node::replay_call_summaries (exploded_graph &eg,
/* Each summary will call bifurcate on the PATH_CTXT. */
for (auto summary : called_fn_data->m_summaries)
- replay_call_summary (eg, snode, call_stmt, state, uncertainty,
+ replay_call_summary (eg, snode, call_stmt, state,
path_ctxt, called_fn, summary, ctxt);
path_ctxt->terminate_path ();
@@ -1628,7 +1626,6 @@ exploded_node::replay_call_summary (exploded_graph &eg,
const supernode *snode,
const gcall *call_stmt,
program_state *old_state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
call_summary *summary,
@@ -271,7 +271,6 @@ class exploded_node : public dnode<eg_traits>
const supernode *snode,
const gcall *call_stmt,
program_state *state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
per_function_data *called_fn_data,
@@ -280,7 +279,6 @@ class exploded_node : public dnode<eg_traits>
const supernode *snode,
const gcall *call_stmt,
program_state *state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
call_summary *summary,