12 #ifndef CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 13 #define CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 94 #endif // CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H
The type of an expression.
c_qualifierst c_qualifiers
unsigned gcc_float32x_cnt
virtual void clear() override
source_locationt source_location
unsigned gcc_float64x_cnt
unsigned gcc_float128_cnt
c_storage_spect c_storage_spec
void read(const typet &type)
unsigned gcc_float128x_cnt
Base class for all expressions.
void read_rec(const typet &type)
ansi_c_convert_typet(message_handlert &_message_handler)