cprover
propagate_const_function_pointers.h File Reference

Constant Function Pointer Propagation. More...

This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Constant Function Pointer Propagation.

Definition in file propagate_const_function_pointers.h.

Function Documentation

◆ propagate_const_function_pointers()