22 std::vector<symbol_exprt> clinit_wrappers_called;
27 if(
const auto code = expr_try_dynamic_cast<codet>(*it))
29 if(code->get_statement() == ID_function_call)
32 const auto callee = expr_try_dynamic_cast<symbol_exprt>(
37 clinit_wrappers_called.push_back(*callee);
46 if(clinit_wrappers_called.empty())
50 std::sort(clinit_wrappers_called.begin(), clinit_wrappers_called.end());
52 std::unique(clinit_wrappers_called.begin(), clinit_wrappers_called.end());
53 clinit_wrappers_called.erase(delete_after, clinit_wrappers_called.end());
57 for(
const auto &callee : clinit_wrappers_called)
66 result.
add(std::move(input));
68 return std::move(result);