snode,
as_a <const gcall *> (stmt),
state,
- uncertainty,
path_ctxt,
called_fn,
called_fn_data,
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,
/* 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 ();
const supernode *snode,
const gcall *call_stmt,
program_state *old_state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
call_summary *summary,
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,
const supernode *snode,
const gcall *call_stmt,
program_state *state,
- uncertainty_t *uncertainty,
path_context *path_ctxt,
function *called_fn,
call_summary *summary,