cprover
|
Go to the source code of this file.
Functions | |
void | replace_async (const namespacet &ns, goto_functionst &goto_functions) |
void replace_async | ( | const namespacet & | ns, |
goto_functionst & | goto_functions | ||
) |
Definition at line 21 of file replace_async.h.
References code_function_callt::arguments(), END_THREAD, Forall_goto_functions, Forall_goto_program_instructions, code_function_callt::function(), symbol_exprt::get_identifier(), irept::id(), goto_program_templatet< codeT, guardT >::insert_after(), namespacet::lookup(), START_THREAD, to_address_of_expr(), to_code_function_call(), and to_symbol_expr().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().