cprover
|
Go to the source code of this file.
Functions | |
typet | c_bit_field_replacement_type (const c_bit_field_typet &, const namespacet &) |
typet c_bit_field_replacement_type | ( | const c_bit_field_typet & | , |
const namespacet & | |||
) |
Definition at line 12 of file c_bit_field_replacement_type.cpp.
References namespace_baset::follow_tag(), bitvector_typet::get_width(), irept::id(), bitvector_typet::set_width(), typet::subtype(), to_bitvector_type(), and to_c_enum_tag_type().
Referenced by smt2_convt::convert_type(), smt1_convt::convert_typecast(), smt2_convt::convert_typecast(), and boolbvt::type_conversion().