cprover
|
Constant Function Pointer Propagation. More...
#include "propagate_const_function_pointers.h"
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/std_types.h>
#include <util/irep.h>
#include <util/namespace.h>
#include <util/message.h>
#include <goto-programs/goto_functions.h>
#include <goto-programs/goto_program.h>
#include <map>
#include <list>
#include <cassert>
Go to the source code of this file.
Classes | |
class | const_function_pointer_propagationt |
class | const_function_pointer_propagationt::arg_stackt |
Functions | |
void | propagate_const_function_pointers (symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler) |
Constant Function Pointer Propagation.
Definition in file propagate_const_function_pointers.cpp.
void propagate_const_function_pointers | ( | symbol_tablet & | symbol_table, |
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().