Loading...

Searching...

No Matches

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.