remove_const_function_pointers.cpp File Reference

#include "remove_const_function_pointers.h"
#include <util/arith_tools.h>
#include <util/format_expr.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/symbol_table.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                                                                           \
  {                                                                            \
    log.debug().source_location = irep.source_location();                      \
    log.debug() << message << ": " << format(irep) << messaget::eom;           \
  } while(0)

Definition at line 22 of file remove_const_function_pointers.cpp.