cprover
gcc_types.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_ANSI_C_GCC_TYPES_H
10 #define CPROVER_ANSI_C_GCC_TYPES_H
11 
12 #include <util/std_types.h>
13 
14 // These are gcc-specific; most are not implemented by clang
15 // https://gcc.gnu.org/onlinedocs/gcc/Floating-Types.html
16 
26 
27 #endif // CPROVER_ANSI_C_GCC_TYPES_H
gcc_float128_type
floatbv_typet gcc_float128_type()
Definition: gcc_types.cpp:58
gcc_float128x_type
floatbv_typet gcc_float128x_type()
Definition: gcc_types.cpp:67
gcc_unsigned_int128_type
unsignedbv_typet gcc_unsigned_int128_type()
Definition: gcc_types.cpp:76
floatbv_typet
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: std_types.h:1379
gcc_float64x_type
floatbv_typet gcc_float64x_type()
Definition: gcc_types.cpp:49
unsignedbv_typet
Fixed-width bit-vector with unsigned binary interpretation.
Definition: std_types.h:1216
gcc_float64_type
floatbv_typet gcc_float64_type()
Definition: gcc_types.cpp:40
gcc_float16_type
floatbv_typet gcc_float16_type()
Definition: gcc_types.cpp:14
signedbv_typet
Fixed-width bit-vector with two's complement interpretation.
Definition: std_types.h:1265
std_types.h
Pre-defined types.
gcc_float32_type
floatbv_typet gcc_float32_type()
Definition: gcc_types.cpp:22
gcc_float32x_type
floatbv_typet gcc_float32x_type()
Definition: gcc_types.cpp:31
gcc_signed_int128_type
signedbv_typet gcc_signed_int128_type()
Definition: gcc_types.cpp:83