9 #ifndef CPROVER_ANSI_C_GCC_TYPES_H 10 #define CPROVER_ANSI_C_GCC_TYPES_H 27 #endif // CPROVER_ANSI_C_GCC_TYPES_H Fixed-width bit-vector with unsigned binary interpretation.
bitvector_typet gcc_float32x_type()
unsignedbv_typet gcc_unsigned_int128_type()
bitvector_typet gcc_float64x_type()
bitvector_typet gcc_float32_type()
bitvector_typet gcc_float64_type()
Fixed-width bit-vector with two's complement interpretation.
bitvector_typet gcc_float128x_type()
signedbv_typet gcc_signed_int128_type()
bitvector_typet gcc_float128_type()
Base class of bitvector types.
bitvector_typet gcc_float16_type()