From 7e42fd2d8a8f350688de0b96ded41262e2a80ab1 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 19 Sep 2017 11:50:55 +0100 Subject: [PATCH] preserve hidden flag for functions --- src/goto-programs/goto_convert_functions.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/goto-programs/goto_convert_functions.cpp b/src/goto-programs/goto_convert_functions.cpp index 58d03a16cef..3efae701a9c 100644 --- a/src/goto-programs/goto_convert_functions.cpp +++ b/src/goto-programs/goto_convert_functions.cpp @@ -140,13 +140,14 @@ void goto_convert_functionst::convert_function(const irep_idt &identifier) const symbolt &symbol=ns.lookup(identifier); goto_functionst::goto_functiont &f=functions.function_map[identifier]; + if(f.body_available()) + return; // already converted + // make tmp variables local to function tmp_symbol_prefix=id2string(symbol.name)+"::$tmp::"; temporary_counter=0; f.type=to_code_type(symbol.type); - if(f.body_available()) - return; // already converted if(symbol.value.is_nil() || symbol.value.id()=="compiled") /* goto_inline may have removed the body */