From 7e1b38208db2fa3cd646c04ffb43cf2942f4b3e3 Mon Sep 17 00:00:00 2001 From: Cristina Date: Mon, 10 Apr 2017 13:54:35 +0100 Subject: [PATCH] Set function member for class identifier assignment --- src/goto-programs/remove_instanceof.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-programs/remove_instanceof.cpp b/src/goto-programs/remove_instanceof.cpp index 3fc2699ef47..8e6c9f5de20 100644 --- a/src/goto-programs/remove_instanceof.cpp +++ b/src/goto-programs/remove_instanceof.cpp @@ -140,6 +140,7 @@ void remove_instanceoft::lower_instanceof( newinst->make_assignment(); newinst->code=code_assignt(newsym.symbol_expr(), object_clsid); newinst->source_location=this_inst->source_location; + newinst->function=this_inst->function; // Insert the check instruction after the existing one. // This will briefly be ill-formed (use before def of