Go to the documentation of this file.
33 result.
set(ID_C_c_type, ID_signed_int);
40 result.
set(ID_C_c_type, ID_signed_short_int);
47 result.
set(ID_C_c_type, ID_unsigned_int);
54 result.
set(ID_C_c_type, ID_unsigned_short_int);
83 result.
set(ID_C_c_type, ID_signed_long_int);
90 result.
set(ID_C_c_type, ID_signed_long_long_int);
97 result.
set(ID_C_c_type, ID_unsigned_long_int);
104 result.
set(ID_C_c_type, ID_unsigned_long_long_int);
124 result.
set(ID_C_c_type, ID_char);
125 return std::move(result);
130 result.
set(ID_C_c_type, ID_char);
131 return std::move(result);
138 result.
set(ID_C_c_type, ID_unsigned_char);
145 result.
set(ID_C_c_type, ID_signed_char);
154 result.
set(ID_C_c_type, ID_wchar_t);
155 return std::move(result);
160 result.
set(ID_C_c_type, ID_wchar_t);
161 return std::move(result);
171 result.
set(ID_C_c_type, ID_char16_t);
181 result.
set(ID_C_c_type, ID_char32_t);
189 result.
set(ID_C_c_type, ID_float);
197 result.
set(ID_C_c_type, ID_double);
221 INVARIANT(
false,
"width of long double");
223 result.
set(ID_C_c_type, ID_long_double);
240 INVARIANT(
false,
"width of pointer difference");
261 if(c_type==ID_signed_int)
263 else if(c_type==ID_signed_short_int)
264 return "signed short int";
265 else if(c_type==ID_unsigned_int)
266 return "unsigned int";
267 else if(c_type==ID_unsigned_short_int)
268 return "unsigned short int";
269 else if(c_type==ID_signed_long_int)
270 return "signed long int";
271 else if(c_type==ID_signed_long_long_int)
272 return "signed long long int";
273 else if(c_type==ID_unsigned_long_int)
274 return "unsigned long int";
275 else if(c_type==ID_unsigned_long_long_int)
276 return "unsigned long long int";
277 else if(c_type==ID_bool)
279 else if(c_type==ID_char)
281 else if(c_type==ID_unsigned_char)
282 return "unsigned char";
283 else if(c_type==ID_signed_char)
284 return "signed char";
285 else if(c_type==ID_wchar_t)
287 else if(c_type==ID_char16_t)
289 else if(c_type==ID_char32_t)
291 else if(c_type==ID_float)
293 else if(c_type==ID_double)
295 else if(c_type==ID_long_double)
296 return "long double";
297 else if(c_type==ID_gcc_float128)
299 else if(c_type==ID_unsigned_int128)
300 return "unsigned __int128";
301 else if(c_type==ID_signed_int128)
302 return "signed __int128";
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::size_t wchar_t_width
signedbv_typet signed_char_type()
signedbv_typet signed_long_long_int_type()
The type of an expression, extends irept.
unsignedbv_typet char32_t_type()
floatbv_typet long_double_type()
Fixed-width bit-vector with IEEE floating-point interpretation.
static ieee_float_spect quadruple_precision()
unsignedbv_typet unsigned_char_type()
struct configt::ansi_ct ansi_c
unsignedbv_typet char16_t_type()
bitvector_typet index_type()
unsignedbv_typet unsigned_short_int_type()
Fixed-width bit-vector with unsigned binary interpretation.
unsignedbv_typet unsigned_long_long_int_type()
bitvector_typet enum_constant_type()
return type of enum constants
unsignedbv_typet unsigned_long_int_type()
static ieee_float_spect double_precision()
signedbv_typet signed_int_type()
class floatbv_typet to_type() const
Fixed-width bit-vector with two's complement interpretation.
bitvector_typet wchar_t_type()
signedbv_typet signed_short_int_type()
floatbv_typet float_type()
signedbv_typet signed_size_type()
std::size_t long_long_int_width
pointer_typet pointer_type(const typet &subtype)
unsignedbv_typet unsigned_int_type()
floatbv_typet double_type()
bitvector_typet char_type()
reference_typet reference_type(const typet &subtype)
std::string c_type_as_string(const irep_idt &c_type)
Base class of fixed-width bit-vector types.
void set(const irep_namet &name, const irep_idt &value)
std::size_t long_double_width
std::size_t short_int_width
signedbv_typet signed_long_int_type()
std::size_t pointer_width
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.
signedbv_typet pointer_diff_type()
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
unsignedbv_typet size_type()
static ieee_float_spect single_precision()
std::size_t long_int_width