Skip to content

Commit 5c06786

Browse files
author
Daniel Kroening
committed
set mode for functions added by remove_asm
1 parent d7ddf59 commit 5c06786

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/goto-programs/remove_asm.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,7 @@ void remove_asmt::gcc_asm_function_call(
9898
symbol.type=fkt_type;
9999
symbol.base_name=function_base_name;
100100
symbol.value=nil_exprt();
101+
symbol.mode = ID_C;
101102

102103
symbol_table.add(symbol);
103104
}

0 commit comments

Comments
 (0)