79 goto_programt::instructionst::const_reverse_iterator rit,
82 if(rit ==
program.instructions.rbegin())
87 goto_programt::instructionst::const_reverse_iterator next=rit;
92 if(!rit->condition().is_false())
95 for(goto_programt::targetst::const_iterator t=rit->targets.begin();
96 t != rit->targets.end();
99 unsigned int loc=(*t)->location_number;
101 targets.insert(s.begin(), s.end());
105 if(rit->condition().is_true())
110 else if(rit->is_assume() || rit->is_assert())
112 if(rit->condition().is_false())
118 unsigned int loc=next->location_number;
120 targets.insert(s.begin(), s.end());