30 result.
set(ID_C_c_type, ID_signed_int);
37 result.
set(ID_C_c_type, ID_signed_short_int);
44 result.
set(ID_C_c_type, ID_unsigned_int);
51 result.
set(ID_C_c_type, ID_unsigned_short_int);
80 result.
set(ID_C_c_type, ID_signed_long_int);
87 result.
set(ID_C_c_type, ID_signed_long_long_int);
94 result.
set(ID_C_c_type, ID_unsigned_long_int);
101 result.
set(ID_C_c_type, ID_unsigned_long_long_int);
121 result.
set(ID_C_c_type, ID_char);
122 return std::move(result);
127 result.
set(ID_C_c_type, ID_char);
128 return std::move(result);
135 result.
set(ID_C_c_type, ID_unsigned_char);
142 result.
set(ID_C_c_type, ID_signed_char);
151 result.
set(ID_C_c_type, ID_wchar_t);
152 return std::move(result);
157 result.
set(ID_C_c_type, ID_wchar_t);
158 return std::move(result);
168 result.
set(ID_C_c_type, ID_char16_t);
178 result.
set(ID_C_c_type, ID_char32_t);
186 result.
set(ID_C_c_type, ID_float);
194 result.
set(ID_C_c_type, ID_double);
218 INVARIANT(
false,
"width of long double");
220 result.
set(ID_C_c_type, ID_long_double);
237 INVARIANT(
false,
"width of pointer difference");
258 if(c_type==ID_signed_int)
260 else if(c_type==ID_signed_short_int)
261 return "signed short int";
262 else if(c_type==ID_unsigned_int)
263 return "unsigned int";
264 else if(c_type==ID_unsigned_short_int)
265 return "unsigned short int";
266 else if(c_type==ID_signed_long_int)
267 return "signed long int";
268 else if(c_type==ID_signed_long_long_int)
269 return "signed long long int";
270 else if(c_type==ID_unsigned_long_int)
271 return "unsigned long int";
272 else if(c_type==ID_unsigned_long_long_int)
273 return "unsigned long long int";
274 else if(c_type==ID_bool)
276 else if(c_type==ID_char)
278 else if(c_type==ID_unsigned_char)
279 return "unsigned char";
280 else if(c_type==ID_signed_char)
281 return "signed char";
282 else if(c_type==ID_wchar_t)
284 else if(c_type==ID_char16_t)
286 else if(c_type==ID_char32_t)
288 else if(c_type==ID_float)
290 else if(c_type==ID_double)
292 else if(c_type==ID_long_double)
293 return "long double";
294 else if(c_type==ID_gcc_float128)
296 else if(c_type==ID_unsigned_int128)
297 return "unsigned __int128";
298 else if(c_type==ID_signed_int128)
299 return "signed __int128";
313 for(
const auto &comp : comps)
317 if(!element_width.has_value())
320 if(max_width.has_value() && *element_width <= *max_width)
323 max_width = *element_width;
324 max_comp_type = comp.type();
325 max_comp_name = comp.get_name();
328 if(!max_width.has_value())
331 return std::make_pair(
floatbv_typet float_type()
bitvector_typet index_type()
signedbv_typet signed_long_int_type()
signedbv_typet signed_char_type()
unsignedbv_typet unsigned_int_type()
unsignedbv_typet unsigned_long_long_int_type()
unsignedbv_typet char32_t_type()
unsignedbv_typet unsigned_long_int_type()
reference_typet reference_type(const typet &subtype)
unsignedbv_typet size_type()
std::string c_type_as_string(const irep_idt &c_type)
signedbv_typet signed_int_type()
pointer_typet pointer_type(const typet &subtype)
signedbv_typet pointer_diff_type()
unsignedbv_typet unsigned_char_type()
signedbv_typet signed_size_type()
bitvector_typet char_type()
signedbv_typet signed_long_long_int_type()
bitvector_typet wchar_t_type()
floatbv_typet long_double_type()
bitvector_typet c_index_type()
floatbv_typet double_type()
signedbv_typet signed_short_int_type()
unsignedbv_typet unsigned_short_int_type()
unsignedbv_typet char16_t_type()
Base class of fixed-width bit-vector types.
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Fixed-width bit-vector with IEEE floating-point interpretation.
static ieee_float_spect single_precision()
static ieee_float_spect quadruple_precision()
class floatbv_typet to_type() const
static ieee_float_spect double_precision()
void set(const irep_idt &name, const irep_idt &value)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
Fixed-width bit-vector with two's complement interpretation.
const componentst & components() const
std::vector< componentt > componentst
The type of an expression, extends irept.
optionalt< std::pair< struct_union_typet::componentt, mp_integer > > find_widest_union_component(const namespacet &ns) const
Determine the member of maximum bit width in a union type.
Fixed-width bit-vector with unsigned binary interpretation.
nonstd::optional< T > optionalt
optionalt< mp_integer > pointer_offset_bits(const typet &type, const namespacet &ns)
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.
std::size_t long_double_width
std::size_t pointer_width
std::size_t wchar_t_width
std::size_t long_long_int_width
std::size_t long_int_width
std::size_t short_int_width