@@ -74,17 +74,16 @@ void remove_asmt::gcc_asm_function_call(
74
74
const code_asmt &code,
75
75
goto_programt &dest)
76
76
{
77
- irep_idt function_identifier= function_base_name;
77
+ irep_idt function_identifier = function_base_name;
78
78
79
79
code_function_callt::argumentst arguments;
80
80
81
- const typet void_pointer=
82
- pointer_type (void_typet ());
81
+ const typet void_pointer = pointer_type (void_typet ());
83
82
84
83
// outputs
85
84
forall_operands (it, code.op1 ())
86
85
{
87
- if (it->operands ().size ()== 2 )
86
+ if (it->operands ().size () == 2 )
88
87
{
89
88
arguments.push_back (
90
89
typecast_exprt (address_of_exprt (it->op1 ()), void_pointer));
@@ -94,7 +93,7 @@ void remove_asmt::gcc_asm_function_call(
94
93
// inputs
95
94
forall_operands (it, code.op2 ())
96
95
{
97
- if (it->operands ().size ()== 2 )
96
+ if (it->operands ().size () == 2 )
98
97
{
99
98
arguments.push_back (
100
99
typecast_exprt (address_of_exprt (it->op1 ()), void_pointer));
@@ -108,19 +107,19 @@ void remove_asmt::gcc_asm_function_call(
108
107
109
108
code_function_callt function_call (std::move (fkt), std::move (arguments));
110
109
111
- goto_programt::targett call= dest.add_instruction (FUNCTION_CALL);
112
- call->code = function_call;
113
- call->source_location = code.source_location ();
110
+ goto_programt::targett call = dest.add_instruction (FUNCTION_CALL);
111
+ call->code = function_call;
112
+ call->source_location = code.source_location ();
114
113
115
114
// do we have it?
116
115
if (!symbol_table.has_symbol (function_identifier))
117
116
{
118
117
symbolt symbol;
119
118
120
- symbol.name = function_identifier;
121
- symbol.type = fkt_type;
122
- symbol.base_name = function_base_name;
123
- symbol.value = nil_exprt ();
119
+ symbol.name = function_identifier;
120
+ symbol.type = fkt_type;
121
+ symbol.base_name = function_base_name;
122
+ symbol.value = nil_exprt ();
124
123
symbol.mode = ID_C;
125
124
126
125
symbol_table.add (symbol);
@@ -195,11 +194,11 @@ void remove_asmt::process_instruction(
195
194
goto_programt::instructiont &instruction,
196
195
goto_programt &dest)
197
196
{
198
- const code_asmt &code= to_code_asm (instruction.code );
197
+ const code_asmt &code = to_code_asm (instruction.code );
199
198
200
- const irep_idt &flavor= code.get_flavor ();
199
+ const irep_idt &flavor = code.get_flavor ();
201
200
202
- if (flavor== ID_gcc)
201
+ if (flavor == ID_gcc)
203
202
process_instruction_gcc (code, dest);
204
203
else if (flavor == ID_msc)
205
204
process_instruction_msc (code, dest);
@@ -497,7 +496,7 @@ void remove_asmt::process_function(
497
496
for (auto &instruction : tmp_dest.instructions )
498
497
instruction.function = it->function ;
499
498
500
- goto_programt::targett next= it;
499
+ goto_programt::targett next = it;
501
500
next++;
502
501
503
502
goto_function.body .destructive_insert (next, tmp_dest);
0 commit comments