31 const std::string &callercallee,
32 std::vector<std::string> &result)
35 return (result.size()!= 2);
40 const std::string &callercallee,
46 std::vector<std::string> caller_callee;
49 message.
error() <<
"Expecting two function names separated by a comma"
53 goto_functionst::function_mapt::iterator caller_fun=
55 goto_functionst::function_mapt::const_iterator callee_fun=
62 if(!caller_fun->second.body_available())
73 caller_fun->second.body.instructions.begin();
75 caller_fun->second.body.insert_before(start);
77 ns.
lookup(callee_fun->first).symbol_expr());