cprover
remove_const_function_pointers.cpp File Reference

Goto Programs. More...

+ 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.

format
static format_containert< T > format(const T &o)
Definition: format.h:35
message
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
Definition: static_verifier.cpp:74