Loading...

Searching...

No Matches

bv_pointers_wide.cpp File Reference

#include "bv_pointers_wide.h"
#include <util/arith_tools.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/exception_utils.h>
#include <util/expr_util.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/pointer_offset_size.h>
#include <util/pointer_predicates.h>

+ Include dependency graph for bv_pointers_wide.cpp:

[フレーム]

Go to the source code of this file.

Functions

static bool is_pointer_subtraction (const exprt &expr)

static std::string bits_to_string (const propt &prop, const bvt &bv)

Function Documentation

◆ bits_to_string()

static std::string bits_to_string ( const propt & prop,

const bvt & bv

)

static

Definition at line 721 of file bv_pointers_wide.cpp.

◆ is_pointer_subtraction()

static bool is_pointer_subtraction ( const exprt & expr )

static

Definition at line 550 of file bv_pointers_wide.cpp.