20 if(!it->second.body_available())
23 goto_functionst::function_mapt::const_iterator f_it =
27 !f_it->second.body_available())
39 bool function_access_changed =
41 bool class_access_changed =
false;
42 bool field_access_changed =
false;
43 if(!class_name.
empty())
49 class_access_changed =
53 for(
const auto &field1 : class_type1.
components())
55 for(
const auto &field2 : class_type2.
components())
57 if(field1.get_name() == field2.get_name())
59 field_access_changed = field1.get_access() != field2.get_access();
63 if(field_access_changed)
67 if(function_access_changed || class_access_changed || field_access_changed)
73 if(!it->second.body.equals(f_it->second.body))
79 goto_programt::instructionst::const_iterator i_it1 =
80 it->second.body.instructions.begin();
81 for(goto_programt::instructionst::const_iterator
82 i_it2 = f_it->second.body.instructions.begin();
83 i_it1 != it->second.body.instructions.end() &&
84 i_it2 != f_it->second.body.instructions.end();
87 if(i_it1->function != i_it2->function)
96 if(!it->second.body_available())
101 goto_functionst::function_mapt::const_iterator f_it =
105 !f_it->second.body_available())