cprover
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()