18 if(!it->second.body_available())
21 goto_functionst::function_mapt::const_iterator f_it=
24 !f_it->second.body_available())
30 if(it->second.body.instructions.size() !=
31 f_it->second.body.instructions.size())
37 goto_programt::instructionst::const_iterator
38 i_it1=it->second.body.instructions.begin();
39 for(goto_programt::instructionst::const_iterator
40 i_it2=f_it->second.body.instructions.begin();
41 i_it1!=it->second.body.instructions.end() &&
42 i_it2!=f_it->second.body.instructions.end();
45 if(i_it1->code != i_it2->code ||
46 i_it1->function != i_it2->function ||
47 i_it1->type != i_it2->type ||
48 i_it1->guard != i_it2->guard ||
49 i_it1->targets != i_it2->targets)
58 if(!it->second.body_available())
63 goto_functionst::function_mapt::const_iterator f_it=
66 !f_it->second.body_available())
const goto_modelt & goto_model1
virtual bool operator()()
const goto_modelt & goto_model2
unsigned total_functions_count
irep_id_sett modified_functions
function_mapt function_map
irep_id_sett new_functions
irep_id_sett deleted_functions
#define forall_goto_functions(it, functions)
goto_functionst goto_functions