cprover
Loading...
Searching...
No Matches
bv_pointers.cpp File Reference
Include dependency graph for bv_pointers.cpp:

Go to the source code of this file.

Classes

class  bv_endianness_mapt
 Map bytes according to the configured endianness. More...

Macros

#define COMPACT_OBJECT_SIZE_EQ

Functions

static bool is_pointer_subtraction (const exprt &expr)
static std::string bits_to_string (const propt &prop, const bvt &bv)

Macro Definition Documentation

◆ COMPACT_OBJECT_SIZE_EQ

#define COMPACT_OBJECT_SIZE_EQ

Function Documentation

◆ bits_to_string()

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

Definition at line 731 of file bv_pointers.cpp.

◆ is_pointer_subtraction()

bool is_pointer_subtraction ( const exprt & expr)
static

Definition at line 610 of file bv_pointers.cpp.