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:1220
bitvector_typet gcc_float32x_type()
Definition: gcc_types.cpp:31
unsignedbv_typet gcc_unsigned_int128_type()
Definition: gcc_types.cpp:76
bitvector_typet gcc_float64x_type()
Definition: gcc_types.cpp:49
bitvector_typet gcc_float32_type()
Definition: gcc_types.cpp:22
bitvector_typet gcc_float64_type()
Definition: gcc_types.cpp:40
Fixed-width bit-vector with two&#39;s complement interpretation.
Definition: std_types.h:1262
bitvector_typet gcc_float128x_type()
Definition: gcc_types.cpp:67
signedbv_typet gcc_signed_int128_type()
Definition: gcc_types.cpp:83
bitvector_typet gcc_float128_type()
Definition: gcc_types.cpp:58
Base class of bitvector types.
Definition: std_types.h:1102
API to type classes.
bitvector_typet gcc_float16_type()
Definition: gcc_types.cpp:14