18 for(
const auto &gf_entry :
goto_model1.goto_functions.function_map)
20 if(!gf_entry.second.body_available())
23 goto_functionst::function_mapt::const_iterator f_it =
24 goto_model2.goto_functions.function_map.find(gf_entry.first);
25 if(f_it==
goto_model2.goto_functions.function_map.end() ||
26 !f_it->second.body_available())
38 bool function_access_changed =
40 bool class_access_changed =
false;
41 bool field_access_changed =
false;
42 if(!class_name.
empty())
48 class_access_changed =
52 for(
const auto &field1 : class_type1.
components())
54 for(
const auto &field2 : class_type2.
components())
56 if(field1.get_name() == field2.get_name())
58 field_access_changed = field1.get_access() != field2.get_access();
62 if(field_access_changed)
66 if(function_access_changed || class_access_changed || field_access_changed)
72 if(!gf_entry.second.body.equals(f_it->second.body))
78 for(
const auto &gf_entry :
goto_model2.goto_functions.function_map)
80 if(!gf_entry.second.body_available())
85 goto_functionst::function_mapt::const_iterator f_it =
86 goto_model1.goto_functions.function_map.find(gf_entry.first);
87 if(f_it==
goto_model1.goto_functions.function_map.end() ||
88 !f_it->second.body_available())