location numbers fix

Author: danpoe

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -146,11 +146,6 @@ int goto_instrument_parse_optionst::doit()
 
     get_goto_program();
 
-    // update as goto program produced by goto-cc does not have
-    // unique location numbers
-    goto_functions.update();
-    goto_functions.compute_loop_numbers();
-
     instrument_goto_program();
 
     if(cmdline.isset("unwind"))

src/goto-programs/read_bin_goto_object.cpp

@@ -160,6 +160,8 @@ bool read_bin_goto_object_v3(
     if(hidden) f.make_hidden();
   }
 
+  functions.compute_location_numbers();
+
   return false;
 }