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
Fixed-width bit-vector with unsigned binary interpretation.
Definition: std_types.h:1223
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: std_types.h:1398
floatbv_typet gcc_float128_type()
Definition: gcc_types.cpp:58
unsignedbv_typet gcc_unsigned_int128_type()
Definition: gcc_types.cpp:76
floatbv_typet gcc_float32_type()
Definition: gcc_types.cpp:22
Fixed-width bit-vector with two&#39;s complement interpretation.
Definition: std_types.h:1278
signedbv_typet gcc_signed_int128_type()
Definition: gcc_types.cpp:83
Pre-defined types.
floatbv_typet gcc_float16_type()
Definition: gcc_types.cpp:14
floatbv_typet gcc_float128x_type()
Definition: gcc_types.cpp:67
floatbv_typet gcc_float64x_type()
Definition: gcc_types.cpp:49
floatbv_typet gcc_float32x_type()
Definition: gcc_types.cpp:31
floatbv_typet gcc_float64_type()
Definition: gcc_types.cpp:40