File tree Expand file tree Collapse file tree 1 file changed +11
-11
lines changed Expand file tree Collapse file tree 1 file changed +11
-11
lines changed Original file line number Diff line number Diff line change @@ -246,6 +246,17 @@ bool ai_baset::fixedpoint(
246
246
return new_data;
247
247
}
248
248
249
+ void ai_baset::fixedpoint (
250
+ const goto_functionst &goto_functions,
251
+ const namespacet &ns)
252
+ {
253
+ goto_functionst::function_mapt::const_iterator
254
+ f_it=goto_functions.function_map .find (goto_functions.entry_point ());
255
+
256
+ if (f_it!=goto_functions.function_map .end ())
257
+ fixedpoint (f_it->first , f_it->second .body , goto_functions, ns);
258
+ }
259
+
249
260
bool ai_baset::visit (
250
261
const irep_idt &function_id,
251
262
trace_ptrt p,
@@ -444,17 +455,6 @@ bool ai_baset::visit_end_function(
444
455
return false ;
445
456
}
446
457
447
- void ai_baset::fixedpoint (
448
- const goto_functionst &goto_functions,
449
- const namespacet &ns)
450
- {
451
- goto_functionst::function_mapt::const_iterator
452
- f_it=goto_functions.function_map .find (goto_functions.entry_point ());
453
-
454
- if (f_it!=goto_functions.function_map .end ())
455
- fixedpoint (f_it->first , f_it->second .body , goto_functions, ns);
456
- }
457
-
458
458
bool ai_recursive_interproceduralt::visit_edge_function_call (
459
459
const irep_idt &calling_function_id,
460
460
trace_ptrt p_call,
You can’t perform that action at this time.
0 commit comments