CBMC
Loading...
Searching...
No Matches
Macros
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/namespace.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/symbol_table_base.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)
static eomt eom
Definition message.h:289
static format_containert< T > format(const T &o)
Definition format.h:37
double log(double x)
Definition math.c:2416

Definition at line 22 of file remove_const_function_pointers.cpp.

AltStyle によって変換されたページ (->オリジナル) /