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 9749321 commit ae368b8Copy full SHA for ae368b8
src/goto-diff/unified_diff.cpp
@@ -266,7 +266,8 @@ unified_difft::differencest unified_difft::lcss(
266
{
267
differences.push_back(differencet::DELETED);
268
--i;
269
- --old_rit;
+ if(old_goto_program.instructions.begin()!=old_rit)
270
+ --old_rit;
271
}
272
else if(instructions_equal(*old_rit, *new_rit))
273
@@ -286,7 +287,8 @@ unified_difft::differencest unified_difft::lcss(
286
287
288
differences.push_back(differencet::NEW);
289
--j;
- --new_rit;
290
+ if(new_goto_program.instructions.begin()!=new_rit)
291
+ --new_rit;
292
293
294
0 commit comments