21 if(!
gf_entry.second.body_available())
24 goto_functionst::function_mapt::const_iterator
f_it =
28 !
f_it->second.body_available())
82 if(!
gf_entry.second.body_available())
87 goto_functionst::function_mapt::const_iterator
f_it =
91 !
f_it->second.body_available())