cprover
|
#include <c_sizeof.h>
Public Member Functions | |
c_sizeoft (const namespacet &_ns) | |
virtual | ~c_sizeoft () |
exprt | operator() (const typet &type) |
exprt | c_offsetof (const struct_typet &type, const irep_idt &component_name) |
Protected Member Functions | |
virtual exprt | sizeof_rec (const typet &type) |
Protected Attributes | |
const namespacet & | ns |
Definition at line 16 of file c_sizeof.h.
|
inlineexplicit |
Definition at line 19 of file c_sizeof.h.
|
inlinevirtual |
Definition at line 23 of file c_sizeof.h.
exprt c_sizeoft::c_offsetof | ( | const struct_typet & | type, |
const irep_idt & | component_name | ||
) |
Definition at line 253 of file c_sizeof.cpp.
References struct_union_typet::components(), namespace_baset::follow(), from_integer(), bitvector_typet::get_width(), irept::id(), irept::is_nil(), ns, size_type(), sizeof_rec(), and to_c_bit_field_type().
Referenced by c_offsetof(), and operator()().
Definition at line 27 of file c_sizeof.h.
References c_offsetof(), and sizeof_rec().
Definition at line 22 of file c_sizeof.cpp.
References configt::ansi_c, c_implicit_typecast(), struct_union_typet::components(), config, exprt::copy_to_operands(), namespace_baset::follow(), namespace_baset::follow_tag(), from_integer(), irept::get_bool(), bitvector_typet::get_width(), irept::id(), irept::is_nil(), irept::make_nil(), exprt::move_to_operands(), ns, exprt::op0(), exprt::op1(), configt::ansi_ct::pointer_width, simplify(), array_typet::size(), vector_typet::size(), size_type(), typet::subtype(), to_array_type(), to_bitvector_type(), to_c_bit_field_type(), to_c_enum_tag_type(), to_integer(), to_struct_type(), to_union_type(), to_vector_type(), and exprt::type().
Referenced by c_offsetof(), and operator()().
|
protected |
Definition at line 37 of file c_sizeof.h.
Referenced by c_offsetof(), and sizeof_rec().