Merge pull request #314 from tautschnig/location-numbers

Daniel Kroening · web-flow · commit ecb65f68a9e5 · 2016-11-17T17:28:25.000Z
Ensure globally unique location numbers after reading binary
diff --git a/src/goto-programs/read_bin_goto_object.cpp b/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;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -160,6 +160,8 @@ bool read_bin_goto_object_v3(`
`160`	`160`	`if(hidden) f.make_hidden();`
`161`	`161`	`}`
`162`	`162`
	`163`	`+ functions.compute_location_numbers();`
	`164`	`+`
`163`	`165`	`return false;`
`164`	`166`	`}`
`165`	`167`