|
cprover
|
Goto Programs. More...
#include "remove_const_function_pointers.h"#include <ansi-c/c_qualifiers.h>#include <util/simplify_expr.h>#include <util/arith_tools.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 18 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().