cprover
|
Goto Programs. More...
#include "remove_const_function_pointers.h"
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include "goto_functions.h"
Go to the source code of this file.
Macros | |
#define | LOG(message, irep) |
Goto Programs.
Definition in file remove_const_function_pointers.cpp.
#define LOG | ( | message, | |
irep | |||
) |
Definition at line 21 of file remove_const_function_pointers.cpp.
Referenced by remove_const_function_pointerst::try_resolve_address_of_function_call(), remove_const_function_pointerst::try_resolve_dereference(), remove_const_function_pointerst::try_resolve_dereference_function_call(), remove_const_function_pointerst::try_resolve_expression(), remove_const_function_pointerst::try_resolve_function_call(), remove_const_function_pointerst::try_resolve_function_calls(), remove_const_function_pointerst::try_resolve_index_of(), remove_const_function_pointerst::try_resolve_index_of_function_call(), remove_const_function_pointerst::try_resolve_member(), remove_const_function_pointerst::try_resolve_member_function_call(), remove_const_function_pointerst::try_resolve_typecast(), and remove_const_function_pointerst::try_resolve_typecast_function_call().