32 result.
set(ID_C_c_type, ID_signed_int);
39 result.
set(ID_C_c_type, ID_signed_short_int);
46 result.
set(ID_C_c_type, ID_unsigned_int);
53 result.
set(ID_C_c_type, ID_unsigned_short_int);
82 result.
set(ID_C_c_type, ID_signed_long_int);
89 result.
set(ID_C_c_type, ID_signed_long_long_int);
96 result.
set(ID_C_c_type, ID_unsigned_long_int);
103 result.
set(ID_C_c_type, ID_unsigned_long_long_int);
123 result.
set(ID_C_c_type, ID_char);
129 result.
set(ID_C_c_type, ID_char);
137 result.
set(ID_C_c_type, ID_unsigned_char);
144 result.
set(ID_C_c_type, ID_signed_char);
153 result.
set(ID_C_c_type, ID_wchar_t);
159 result.
set(ID_C_c_type, ID_wchar_t);
170 result.
set(ID_C_c_type, ID_char16_t);
180 result.
set(ID_C_c_type, ID_char32_t);
191 result.
set(ID_C_c_type, ID_float);
198 result.
set(ID_C_c_type, ID_float);
210 result.
set(ID_C_c_type, ID_double);
217 result.
set(ID_C_c_type, ID_double);
229 result.
set(ID_C_c_type, ID_long_double);
254 result.
set(ID_C_c_type, ID_long_double);
269 result.
set(ID_C_c_type, ID_gcc_float128);
276 result.
set(ID_C_c_type, ID_gcc_float128);
314 result.
set(ID_C_c_type, ID_unsigned_int128);
321 result.
set(ID_C_c_type, ID_signed_int128);
327 if(c_type==ID_signed_int)
329 else if(c_type==ID_signed_short_int)
330 return "signed short int";
331 else if(c_type==ID_unsigned_int)
332 return "unsigned int";
333 else if(c_type==ID_unsigned_short_int)
334 return "unsigned short int";
335 else if(c_type==ID_signed_long_int)
336 return "signed long int";
337 else if(c_type==ID_signed_long_long_int)
338 return "signed long long int";
339 else if(c_type==ID_unsigned_long_int)
340 return "unsigned long int";
341 else if(c_type==ID_unsigned_long_long_int)
342 return "unsigned long long int";
343 else if(c_type==ID_bool)
345 else if(c_type==ID_char)
347 else if(c_type==ID_unsigned_char)
348 return "unsigned char";
349 else if(c_type==ID_signed_char)
350 return "signed char";
351 else if(c_type==ID_wchar_t)
353 else if(c_type==ID_char16_t)
355 else if(c_type==ID_char32_t)
357 else if(c_type==ID_float)
359 else if(c_type==ID_double)
361 else if(c_type==ID_long_double)
362 return "long double";
363 else if(c_type==ID_gcc_float128)
365 else if(c_type==ID_unsigned_int128)
366 return "unsigned __int128";
367 else if(c_type==ID_signed_int128)
368 return "signed __int128";
The type of an expression.
struct configt::ansi_ct ansi_c
Fixed-width bit-vector with unsigned binary interpretation.
pointer_typet pointer_type(const typet &subtype)
Fixed-width bit-vector with IEEE floating-point interpretation.
unsignedbv_typet unsigned_int_type()
bitvector_typet enum_constant_type()
return type of enum constants
unsignedbv_typet char32_t_type()
bitvector_typet double_type()
unsignedbv_typet size_type()
signedbv_typet pointer_diff_type()
signedbv_typet signed_size_type()
static ieee_float_spect double_precision()
class floatbv_typet to_type() const
bitvector_typet float_type()
reference_typet reference_type(const typet &subtype)
static ieee_float_spect quadruple_precision()
unsigned long_long_int_width
Fixed-width bit-vector with two's complement interpretation.
void set_integer_bits(std::size_t b)
static ieee_float_spect single_precision()
signedbv_typet signed_long_int_type()
bitvector_typet index_type()
Fixed-width bit-vector with signed fixed-point interpretation.
unsignedbv_typet char16_t_type()
Base class of bitvector types.
std::string c_type_as_string(const irep_idt &c_type)
bitvector_typet long_double_type()
signedbv_typet signed_short_int_type()
bitvector_typet wchar_t_type()
unsignedbv_typet gcc_unsigned_int128_type()
bitvector_typet gcc_float128_type()
unsignedbv_typet unsigned_short_int_type()
unsigned long_double_width
unsignedbv_typet unsigned_long_long_int_type()
signedbv_typet signed_int_type()
unsignedbv_typet unsigned_char_type()
unsignedbv_typet unsigned_long_int_type()
signedbv_typet gcc_signed_int128_type()
signedbv_typet signed_long_long_int_type()
signedbv_typet signed_char_type()
bitvector_typet char_type()
void set(const irep_namet &name, const irep_idt &value)
void set_width(std::size_t width)