cprover
|
Public Member Functions | |
zero_initializert (const namespacet &_ns, message_handlert &_message_handler) | |
exprt | operator() (const typet &type, const source_locationt &source_location) |
Protected Member Functions | |
std::string | to_string (const exprt &src) |
std::string | to_string (const typet &src) |
exprt | zero_initializer_rec (const typet &type, const source_locationt &source_location) |
Protected Attributes | |
const namespacet & | ns |
Additional Inherited Members |
Definition at line 26 of file zero_initializer.cpp.
|
inline |
Definition at line 29 of file zero_initializer.cpp.
|
inline |
Definition at line 37 of file zero_initializer.cpp.
References zero_initializer_rec().
|
inlineprotected |
Definition at line 47 of file zero_initializer.cpp.
References expr2c().
Referenced by zero_initializer_rec().
|
inlineprotected |
Definition at line 52 of file zero_initializer.cpp.
References type2c(), and zero_initializer_rec().
|
protected |
Definition at line 62 of file zero_initializer.cpp.
References exprt::add_source_location(), struct_union_typet::components(), exprt::copy_to_operands(), messaget::eom(), messaget::error(), namespace_baset::follow(), namespace_baset::follow_tag(), from_integer(), struct_union_typet::componentt::get_name(), bitvector_typet::get_width(), irept::id(), integer2unsigned(), irept::is_nil(), ns, unary_exprt::op(), exprt::operands(), pointer_offset_bits(), messaget::result(), irept::set(), union_exprt::set_component_name(), constant_exprt::set_value(), array_typet::size(), vector_typet::size(), size_type(), messaget::mstreamt::source_location, typet::subtype(), to_array_type(), to_bitvector_type(), to_c_enum_tag_type(), to_complex_type(), to_integer(), to_string(), to_struct_tag_type(), to_struct_type(), to_union_tag_type(), to_union_type(), to_vector_type(), and exprt::type().
Referenced by operator()(), and to_string().
|
protected |
Definition at line 45 of file zero_initializer.cpp.
Referenced by zero_initializer_rec().