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

Author: tautschnig

src/goto-programs/remove_unreachable.cpp

@@ -39,13 +39,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.

src/goto-programs/remove_virtual_functions.cpp

@@ -553,6 +553,8 @@ void remove_virtual_function(
 
   rvf.remove_virtual_function(
     goto_program, instruction, dispatch_table, fallback_action);
+
+  goto_program.update();
 }
 
 void remove_virtual_function(