#include <remove_calls_no_body.h>
|
void | operator() (goto_programt &goto_program, const goto_functionst &goto_functions) |
| Remove calls to functions without a body and replace them with evaluations of the arguments of the call and a nondet assignment to the variable taking the return value. More...
|
|
void | operator() (goto_functionst &goto_functions) |
| Remove calls to functions without a body and replace them with evaluations of the arguments of the call and a nondet assignment to the variable taking the return value. More...
|
|
Definition at line 19 of file remove_calls_no_body.h.
◆ is_opaque_function_call()
Check if instruction is a call to an opaque function through an ordinary (non-function pointer) call.
- Parameters
-
target | iterator pointing to the instruction to check |
goto_functions | all goto function to look up call target |
Definition at line 65 of file remove_calls_no_body.cpp.
◆ operator()() [1/2]
Remove calls to functions without a body and replace them with evaluations of the arguments of the call and a nondet assignment to the variable taking the return value.
- Parameters
-
goto_functions | goto functions to operate on |
Definition at line 120 of file remove_calls_no_body.cpp.
◆ operator()() [2/2]
Remove calls to functions without a body and replace them with evaluations of the arguments of the call and a nondet assignment to the variable taking the return value.
- Parameters
-
goto_program | goto program to operate on |
goto_functions | all goto functions; for looking up functions which the goto program may call |
Definition at line 98 of file remove_calls_no_body.cpp.
◆ remove_call_no_body()
Remove a single call.
- Parameters
-
goto_program | goto program to modify |
target | iterator pointing to the call |
lhs | lhs of the call to which the return value is assigned |
arguments | arguments of the call |
Definition at line 23 of file remove_calls_no_body.cpp.
The documentation for this class was generated from the following files: