propagate_const_function_pointers.cpp File Reference

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>

Include dependency graph for propagate_const_function_pointers.cpp:

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)

Detailed Description

Constant Function Pointer Propagation.

Definition in file propagate_const_function_pointers.cpp.

Function Documentation

propagate_const_function_pointers()

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::goto_functions, const_function_pointer_propagationt::message, const_function_pointer_propagationt::propagate(), const_function_pointer_propagationt::symbol_table, and goto_functions_templatet< bodyT >::update().

Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().