@@ -74,18 +74,17 @@ 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 function_call;
80
80
function_call.lhs ().make_nil ();
81
81
82
- const typet void_pointer=
83
- pointer_type (void_typet ());
82
+ const typet void_pointer = pointer_type (void_typet ());
84
83
85
84
// outputs
86
85
forall_operands (it, code.op1 ())
87
86
{
88
- if (it->operands ().size ()== 2 )
87
+ if (it->operands ().size () == 2 )
89
88
{
90
89
function_call.arguments ().push_back (
91
90
typecast_exprt (address_of_exprt (it->op1 ()), void_pointer));
@@ -95,7 +94,7 @@ void remove_asmt::gcc_asm_function_call(
95
94
// inputs
96
95
forall_operands (it, code.op2 ())
97
96
{
98
- if (it->operands ().size ()== 2 )
97
+ if (it->operands ().size () == 2 )
99
98
{
100
99
function_call.arguments ().push_back (
101
100
typecast_exprt (address_of_exprt (it->op1 ()), void_pointer));
@@ -107,21 +106,21 @@ void remove_asmt::gcc_asm_function_call(
107
106
108
107
symbol_exprt fkt (function_identifier, fkt_type);
109
108
110
- function_call.function ()= fkt;
109
+ function_call.function () = fkt;
111
110
112
- goto_programt::targett call= dest.add_instruction (FUNCTION_CALL);
113
- call->code = function_call;
114
- call->source_location = code.source_location ();
111
+ goto_programt::targett call = dest.add_instruction (FUNCTION_CALL);
112
+ call->code = function_call;
113
+ call->source_location = code.source_location ();
115
114
116
115
// do we have it?
117
116
if (!symbol_table.has_symbol (function_identifier))
118
117
{
119
118
symbolt symbol;
120
119
121
- symbol.name = function_identifier;
122
- symbol.type = fkt_type;
123
- symbol.base_name = function_base_name;
124
- symbol.value = nil_exprt ();
120
+ symbol.name = function_identifier;
121
+ symbol.type = fkt_type;
122
+ symbol.base_name = function_base_name;
123
+ symbol.value = nil_exprt ();
125
124
symbol.mode = ID_C;
126
125
127
126
symbol_table.add (symbol);
@@ -196,11 +195,11 @@ void remove_asmt::process_instruction(
196
195
goto_programt::instructiont &instruction,
197
196
goto_programt &dest)
198
197
{
199
- const code_asmt &code= to_code_asm (instruction.code );
198
+ const code_asmt &code = to_code_asm (instruction.code );
200
199
201
- const irep_idt &flavor= code.get_flavor ();
200
+ const irep_idt &flavor = code.get_flavor ();
202
201
203
- if (flavor== ID_gcc)
202
+ if (flavor == ID_gcc)
204
203
process_instruction_gcc (code, dest);
205
204
else if (flavor == ID_msc)
206
205
process_instruction_msc (code, dest);
@@ -488,7 +487,7 @@ void remove_asmt::process_function(
488
487
489
488
Forall_goto_program_instructions (it, goto_function.body )
490
489
{
491
- if (it->is_other () && it->code .get_statement ()== ID_asm)
490
+ if (it->is_other () && it->code .get_statement () == ID_asm)
492
491
{
493
492
goto_programt tmp_dest;
494
493
process_instruction (*it, tmp_dest);
@@ -498,7 +497,7 @@ void remove_asmt::process_function(
498
497
for (auto &instruction : tmp_dest.instructions )
499
498
instruction.function = it->function ;
500
499
501
- goto_programt::targett next= it;
500
+ goto_programt::targett next = it;
502
501
next++;
503
502
504
503
goto_function.body .destructive_insert (next, tmp_dest);
0 commit comments