From 5c067862b475f2e9a03b12002b9090f9cf3ba6a8 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Fri, 10 Aug 2018 15:18:18 +0100
Subject: [PATCH] set mode for functions added by remove_asm

---
 src/goto-programs/remove_asm.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/goto-programs/remove_asm.cpp b/src/goto-programs/remove_asm.cpp
index e67602fff2a..ff7eb0a4dfc 100644
--- a/src/goto-programs/remove_asm.cpp
+++ b/src/goto-programs/remove_asm.cpp
@@ -98,6 +98,7 @@ void remove_asmt::gcc_asm_function_call(
     symbol.type=fkt_type;
     symbol.base_name=function_base_name;
     symbol.value=nil_exprt();
+    symbol.mode = ID_C;
 
     symbol_table.add(symbol);
   }