19 for(
const auto &gf_entry :
goto_model1.goto_functions.function_map)
21 if(!gf_entry.second.body_available())
24 goto_functionst::function_mapt::const_iterator f_it =
25 goto_model2.goto_functions.function_map.find(gf_entry.first);
27 f_it ==
goto_model2.goto_functions.function_map.end() ||
28 !f_it->second.body_available())
40 bool function_access_changed =
42 bool class_access_changed =
false;
43 bool field_access_changed =
false;
50 class_access_changed =
54 for(
const auto &field1 : class_type1.
components())
56 for(
const auto &field2 : class_type2.
components())
58 if(field1.get_name() == field2.get_name())
60 field_access_changed = field1.get_access() != field2.get_access();
64 if(field_access_changed)
68 if(function_access_changed || class_access_changed || field_access_changed)
74 if(!gf_entry.second.body.equals(f_it->second.body))
80 for(
const auto &gf_entry :
goto_model2.goto_functions.function_map)
82 if(!gf_entry.second.body_available())
87 goto_functionst::function_mapt::const_iterator f_it =
88 goto_model1.goto_functions.function_map.find(gf_entry.first);
90 f_it ==
goto_model1.goto_functions.function_map.end() ||
91 !f_it->second.body_available())