remove_const_function_pointers.h File Reference

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

  " --remove-const-function-pointers\n"                                        \
  "                              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.