Merge pull request #2711 from diffblue/mode-gcc-asm-functions

set mode for functions added by remove_asm

Author: Daniel Kroening

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);
   }