◆ generate_function_body_impl()
void assert_false_then_assume_false_generate_function_bodiest::generate_function_body_impl |
( |
goto_functiont & |
function, |
|
|
symbol_tablet & |
symbol_table, |
|
|
const irep_idt & |
function_name |
|
) |
| const |
|
inlineoverrideprotectedvirtual |
Produce a body for the passed function At this point the body of function is always empty, and all function parameters have identifiers.
- Parameters
-
function | whose body to generate |
symbol_table | of the current goto program |
function_name | Identifier of function |
Implements generate_function_bodiest.
Definition at line 112 of file generate_function_bodies.cpp.
The documentation for this class was generated from the following file: