Loading...

Searching...

No Matches

remove_const_function_pointers.h File Reference

Goto Programs. More...

#include <list>
#include <unordered_set>
#include <util/expr.h>
#include <util/message.h>
#include <util/mp_arith.h>

+ Include dependency graph for remove_const_function_pointers.h:

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

Classes

Macros

Goto Programs.

#define HELP_REMOVE_CONST_FUNCTION_POINTERS

Value:

" {y--remove-const-function-pointers} \t " \

"remove function pointers that are constant or constant part of an array\n"

#define OPT_REMOVE_CONST_FUNCTION_POINTERS "(remove-const-function-pointers)"