Extra fix for lcss needed

smowton · Dec 8, 2017 · 479e6cf · 479e6cf
1 parent cf187c8
commit 479e6cf
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/src/goto-diff/unified_diff.cpp b/src/goto-diff/unified_diff.cpp
@@ -260,7 +260,8 @@ unified_difft::differencest unified_difft::lcss(
     {
       differences.push_back(differencet::NEW);
       --j;
-      --new_rit;
+      if(new_goto_program.instructions.begin()!=new_rit)
+        --new_rit;
     }
     else if(j == 0)
     {
@@ -273,15 +274,18 @@ unified_difft::differencest unified_difft::lcss(
     {
       differences.push_back(differencet::SAME);
       --i;
-      --old_rit;
+      if(old_goto_program.instructions.begin()!=old_rit)
+        --old_rit;
       --j;
-      --new_rit;
+      if(new_goto_program.instructions.begin()!=new_rit)
+        --new_rit;
     }
     else if(lcss_matrix[i][j - 1] < lcss_matrix[i][j])
     {
       differences.push_back(differencet::DELETED);
       --i;
-      --old_rit;
+      if(old_goto_program.instructions.begin()!=old_rit)
+        --old_rit;
     }
     else
     {