simplify_expr_pointer.cpp File Reference

#include "simplify_expr_class.h"
#include <cassert>
#include "c_types.h"
#include "expr.h"
#include "namespace.h"
#include "std_expr.h"
#include "pointer_offset_size.h"
#include "arith_tools.h"
#include "config.h"
#include "expr_util.h"
#include "threeval.h"
#include "prefix.h"
#include "pointer_predicates.h"

Include dependency graph for simplify_expr_pointer.cpp:

Go to the source code of this file.

Functions
static bool	is_dereference_integer_object (const exprt &expr, mp_integer &address)

Function Documentation

is_dereference_integer_object()

static bool is_dereference_integer_object ( const exprt &  expr, mp_integer &  address  )

static

Definition at line 25 of file simplify_expr_pointer.cpp.

References configt::ansi_c, config, irept::id(), exprt::is_constant(), configt::ansi_ct::NULL_is_zero, exprt::op0(), exprt::operands(), to_constant_expr(), and to_integer().

Referenced by simplify_exprt::simplify_address_of_arg().