simplify_expr_pointer.cpp File Reference

#include "simplify_expr_class.h"
#include "arith_tools.h"
#include "c_types.h"
#include "expr_util.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "pointer_offset_size.h"
#include "pointer_predicates.h"
#include "std_expr.h"
#include "string_constant.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 21 of file simplify_expr_pointer.cpp.