cprover
|
Constant Function Pointer Propagation. More...
Go to the source code of this file.
Functions | |
void | propagate_const_function_pointers (symbol_tablet &symbol_tables, goto_functionst &goto_functions, message_handlert &message_handler) |
Constant Function Pointer Propagation.
Definition in file propagate_const_function_pointers.h.
void propagate_const_function_pointers | ( | symbol_tablet & | symbol_tables, |
goto_functionst & | goto_functions, | ||
message_handlert & | message_handler | ||
) |
Definition at line 545 of file propagate_const_function_pointers.cpp.
References const_function_pointer_propagationt::message, const_function_pointer_propagationt::propagate(), and goto_functions_templatet< bodyT >::update().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().