From 74e95351e7af5e6c04e838a93851fef3ff106743 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 17 Nov 2016 02:25:40 +0000 Subject: [PATCH] Ensure globally unique location numbers after reading binary Location numbers are not stored in v3 goto binaries. Reading from binaries up to now only invoked update() on a per-function level. The additional goto_functionst::compute_location_numbers() ensures globally unique location numbers. Fixes #313. --- src/goto-programs/read_bin_goto_object.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/goto-programs/read_bin_goto_object.cpp b/src/goto-programs/read_bin_goto_object.cpp index f04b0640425..91e50acfa66 100644 --- 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; }