remove_const_function_pointers.cpp File Reference

Goto Programs. More...

#include "remove_const_function_pointers.h"
#include <util/arith_tools.h>
#include <util/format_expr.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include "goto_functions.h"

Include dependency graph for remove_const_function_pointers.cpp:

Go to the source code of this file.

Macros
#define	LOG(message, irep)

Detailed Description

Goto Programs.

Definition in file remove_const_function_pointers.cpp.

Macro Definition Documentation

LOG

#define LOG	(		message,
			irep
	)

Value:

do { \
    debug().source_location = irep.source_location(); \
    debug() << message << ": " << format(irep) << eom; \
  } \
  while(0)

Definition at line 22 of file remove_const_function_pointers.cpp.