cprover
|
Go to the source code of this file.
Pointer Logic
Definition in file pointer_offset_size.h.
exprt build_sizeof_expr | ( | const constant_exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 594 of file pointer_offset_size.cpp.
optionalt<mp_integer> compute_pointer_offset | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 533 of file pointer_offset_size.cpp.
exprt get_subexpression_at_offset | ( | const exprt & | expr, |
const exprt & | offset, | ||
const typet & | target_type, | ||
const namespacet & | ns | ||
) |
Definition at line 728 of file pointer_offset_size.cpp.
exprt get_subexpression_at_offset | ( | const exprt & | expr, |
const mp_integer & | offset, | ||
const typet & | target_type, | ||
const namespacet & | ns | ||
) |
Definition at line 642 of file pointer_offset_size.cpp.
optionalt<mp_integer> member_offset | ( | const struct_typet & | type, |
const irep_idt & | member, | ||
const namespacet & | ns | ||
) |
Definition at line 24 of file pointer_offset_size.cpp.
optionalt<mp_integer> member_offset_bits | ( | const struct_typet & | type, |
const irep_idt & | member, | ||
const namespacet & | ns | ||
) |
Definition at line 65 of file pointer_offset_size.cpp.
exprt member_offset_expr | ( | const member_exprt & | , |
const namespacet & | ns | ||
) |
Definition at line 230 of file pointer_offset_size.cpp.
exprt member_offset_expr | ( | const struct_typet & | type, |
const irep_idt & | member, | ||
const namespacet & | ns | ||
) |
Definition at line 245 of file pointer_offset_size.cpp.
optionalt<mp_integer> pointer_offset_bits | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 101 of file pointer_offset_size.cpp.
optionalt<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 90 of file pointer_offset_size.cpp.
exprt size_of_expr | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 292 of file pointer_offset_size.cpp.