12 #ifndef CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 13 #define CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 61 unsigned_cnt=signed_cnt=char_cnt=int_cnt=short_cnt=
62 long_cnt=double_cnt=float_cnt=c_bool_cnt=proper_bool_cnt=complex_cnt=
63 int8_cnt=int16_cnt=int32_cnt=int64_cnt=
65 gcc_float128_cnt=gcc_int128_cnt=bv_cnt=floatbv_cnt=fixedbv_cnt=0;
73 packed=aligned=constructor=destructor=
false;
76 c_storage_spec.
clear();
84 #endif // CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H
The type of an expression.
c_qualifierst c_qualifiers
source_locationt source_location
unsigned gcc_float128_cnt
c_storage_spect c_storage_spec
void read(const typet &type)
Base class for all expressions.
void read_rec(const typet &type)
ansi_c_convert_typet(message_handlert &_message_handler)