Explicitly invoke goto_program.update() where remove_skip is not used

NathanJPhillips · Jun 4, 2018 · 3f34c1a · 3f34c1a
1 parent 6bac80e
commit 3f34c1a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/goto-programs/remove_unreachable.cpp b/src/goto-programs/remove_unreachable.cpp
@@ -41,13 +41,20 @@ void remove_unreachable(goto_programt &goto_program)
 
   // make all unreachable code a skip
   // unless it's an 'end_function'
+  bool did_something = false;
 
   Forall_goto_program_instructions(it, goto_program)
   {
     if(reachable.find(it)==reachable.end() &&
        !it->is_end_function())
+    {
       it->make_skip();
+      did_something = true;
+    }
   }
+
+  if(did_something)
+    goto_program.update();
 }
 
 /// Removes unreachable instructions from all functions.