cprover
gcc_types.cpp File Reference
#include "gcc_types.h"
#include <util/config.h>
#include <util/c_types.h>
Include dependency graph for gcc_types.cpp:

Go to the source code of this file.

Functions

bitvector_typet gcc_float16_type ()
 
bitvector_typet gcc_float32_type ()
 
bitvector_typet gcc_float32x_type ()
 
bitvector_typet gcc_float64_type ()
 
bitvector_typet gcc_float64x_type ()
 
bitvector_typet gcc_float128_type ()
 
bitvector_typet gcc_float128x_type ()
 
unsignedbv_typet gcc_unsigned_int128_type ()
 
signedbv_typet gcc_signed_int128_type ()
 

Function Documentation

◆ gcc_float128_type()

◆ gcc_float128x_type()

◆ gcc_float16_type()

◆ gcc_float32_type()

◆ gcc_float32x_type()

◆ gcc_float64_type()

◆ gcc_float64x_type()

◆ gcc_signed_int128_type()

signedbv_typet gcc_signed_int128_type ( )

◆ gcc_unsigned_int128_type()

unsignedbv_typet gcc_unsigned_int128_type ( )