58 std::set<irep_idt> added_functions;
62 std::unordered_set<irep_idt> called_functions =
67 std::set<irep_idt> missing_functions;
69 for(
const auto &
id : called_functions)
71 goto_functionst::function_mapt::const_iterator
75 f_it->second.body_available())
79 else if(added_functions.find(
id)!=added_functions.end())
84 missing_functions.insert(
id);
88 if(missing_functions.empty())
91 library(missing_functions, symbol_table, message_handler);
94 for(
const auto &
id : missing_functions)
97 goto_convert(
id, symbol_table, goto_functions, message_handler);
99 added_functions.insert(
id);