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:

Go to the source code of this file.

Classes
class	remove_const_function_pointerst

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

Detailed Description

Goto Programs.

Definition in file remove_const_function_pointers.h.

Macro Definition Documentation

HELP_REMOVE_CONST_FUNCTION_POINTERS

#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"

Definition at line 112 of file remove_const_function_pointers.h.

OPT_REMOVE_CONST_FUNCTION_POINTERS

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

Definition at line 109 of file remove_const_function_pointers.h.