34 std::set<irep_idt> added_functions;
38 std::unordered_set<irep_idt> called_functions =
43 std::set<irep_idt> missing_functions;
45 for(
const auto &
id : called_functions)
47 goto_functionst::function_mapt::const_iterator f_it =
52 f_it->second.body_available())
56 else if(added_functions.find(
id) != added_functions.end())
61 missing_functions.insert(
id);
65 if(missing_functions.empty())
68 library(missing_functions, goto_model.
symbol_table, message_handler);
71 for(
const auto &
id : missing_functions)
84 added_functions.insert(
id);
109 std::set<irep_idt> added_functions;
113 std::unordered_set<irep_idt> called_functions =
118 std::set<irep_idt> missing_functions;
120 for(
const auto &
id : called_functions)
122 goto_functionst::function_mapt::const_iterator
126 f_it->second.body_available())
130 else if(added_functions.find(
id)!=added_functions.end())
135 missing_functions.insert(
id);
139 if(missing_functions.empty())
142 library(missing_functions, symbol_table, message_handler);
145 for(
const auto &
id : missing_functions)
148 goto_convert(
id, symbol_table, goto_functions, message_handler);
150 added_functions.insert(
id);