Loading...

Searching...

No Matches

pointer_offset_size.cpp File Reference

Pointer Logic. More...

#include "pointer_offset_size.h"
#include "arith_tools.h"
#include "byte_operators.h"
#include "c_types.h"
#include "config.h"
#include "invariant.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "simplify_expr.h"
#include "ssa_expr.h"
#include "std_expr.h"

+ Include dependency graph for pointer_offset_size.cpp:

[フレーム]

Go to the source code of this file.

Functions

std::optional< mp_integer > member_offset (const struct_typet &type, const irep_idt &member, const namespacet &ns)

std::optional< mp_integer > member_offset_bits (const struct_typet &type, const irep_idt &member, const namespacet &ns)

std::optional< mp_integer > pointer_offset_size (const typet &type, const namespacet &ns)

Compute the size of a type in bytes, rounding up to full bytes.

std::optional< mp_integer > pointer_offset_bits (const typet &type, const namespacet &ns)

std::optional< exprt > member_offset_expr (const member_exprt &member_expr, const namespacet &ns)

std::optional< exprt > member_offset_expr (const struct_typet &type, const irep_idt &member, const namespacet &ns)

std::optional< exprt > size_of_expr (const typet &type, const namespacet &ns)

bool is_zero_width (const typet &type, const namespacet &ns)

Returns true iff type has effective width of zero bits.

std::optional< mp_integer > compute_pointer_offset (const exprt &expr, const namespacet &ns)

std::optional< exprt > get_subexpression_at_offset (const exprt &expr, const mp_integer &offset_bytes, const typet &target_type_raw, const namespacet &ns)

static bool is_multiplication_by_constant (const exprt &expr)

std::optional< exprt > get_subexpression_at_offset (const exprt &expr, const exprt &offset, const typet &target_type, const namespacet &ns)

Detailed Description

Pointer Logic.

Definition in file pointer_offset_size.cpp.

Function Documentation

◆ compute_pointer_offset()

std::optional< mp_integer > compute_pointer_offset ( const exprt & expr,

const namespacet & ns

)

Definition at line 536 of file pointer_offset_size.cpp.

◆ get_subexpression_at_offset() [1/2]

std::optional< exprt > get_subexpression_at_offset ( const exprt & expr,

const exprt & offset,

const typet & target_type,

const namespacet & ns

)

Definition at line 731 of file pointer_offset_size.cpp.

◆ get_subexpression_at_offset() [2/2]

std::optional< exprt > get_subexpression_at_offset ( const exprt & expr,

const mp_integer & offset_bytes,

const typet & target_type_raw,

const namespacet & ns

)

Definition at line 600 of file pointer_offset_size.cpp.

◆ is_multiplication_by_constant()

static bool is_multiplication_by_constant ( const exprt & expr )

static

Definition at line 721 of file pointer_offset_size.cpp.

◆ is_zero_width()

bool is_zero_width ( const typet & type,

const namespacet & ns

)

Returns true iff type has effective width of zero bits.

In addition to the obvious ID_empty, this recognises struct/union types whose components are all zero-width and arrays of zero-width elements, mirroring the semantics that the bit-blasting back-ends use to skip such types. Tag types (ID_struct_tag, ID_union_tag, ID_c_enum_tag) are unwrapped via ns before further recursion; ID_c_enum types recurse into their underlying integer type.

Definition at line 500 of file pointer_offset_size.cpp.

◆ member_offset()

std::optional< mp_integer > member_offset ( const struct_typet & type,

const irep_idt & member,

const namespacet & ns

)

Definition at line 25 of file pointer_offset_size.cpp.

◆ member_offset_bits()

std::optional< mp_integer > member_offset_bits ( const struct_typet & type,

const irep_idt & member,

const namespacet & ns

)

Definition at line 66 of file pointer_offset_size.cpp.

◆ member_offset_expr() [1/2]

std::optional< exprt > member_offset_expr ( const member_exprt & member_expr,

const namespacet & ns

)

Definition at line 222 of file pointer_offset_size.cpp.

◆ member_offset_expr() [2/2]

std::optional< exprt > member_offset_expr ( const struct_typet & type,

const irep_idt & member,

const namespacet & ns

)

Definition at line 241 of file pointer_offset_size.cpp.

◆ pointer_offset_bits()

std::optional< mp_integer > pointer_offset_bits ( const typet & type,

const namespacet & ns

)

Definition at line 102 of file pointer_offset_size.cpp.

◆ pointer_offset_size()

std::optional< mp_integer > pointer_offset_size ( const typet & type,

const namespacet & ns

)

Compute the size of a type in bytes, rounding up to full bytes.

Definition at line 91 of file pointer_offset_size.cpp.

◆ size_of_expr()

std::optional< exprt > size_of_expr ( const typet & type,

const namespacet & ns

)

Definition at line 287 of file pointer_offset_size.cpp.