We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0890344 commit a4c52bdCopy full SHA for a4c52bd
src/goto-instrument/unwind.cpp
@@ -55,9 +55,10 @@ void goto_unwindt::copy_segment(
55
assert(goto_program.instructions.size()==target_vector.size());
56
57
// adjust intra-segment gotos
58
- for(std::size_t i=0; i<target_vector.size(); i++)
+ for(std::size_t target_index = 0; target_index < target_vector.size();
59
+ target_index++)
60
{
- goto_programt::targett t=target_vector[i];
61
+ goto_programt::targett t = target_vector[target_index];
62
63
if(!t->is_goto())
64
continue;
0 commit comments