#include "c_types.h"
#include "config.h"
#include "invariant.h"
#include "pointer_offset_size.h"
#include "std_types.h"

Include dependency graph for c_types.cpp:

Functions
bitvector_typet	c_index_type ()

signedbv_typet	signed_int_type ()

signedbv_typet	signed_short_int_type ()

unsignedbv_typet	unsigned_int_type ()

unsignedbv_typet	unsigned_short_int_type ()

unsignedbv_typet	size_type ()

signedbv_typet	signed_size_type ()

signedbv_typet	signed_long_int_type ()

signedbv_typet	signed_long_long_int_type ()

unsignedbv_typet	unsigned_long_int_type ()

unsignedbv_typet	unsigned_long_long_int_type ()

typet	c_bool_type ()

bitvector_typet	char_type ()

unsignedbv_typet	unsigned_char_type ()

signedbv_typet	signed_char_type ()

bitvector_typet	wchar_t_type ()

unsignedbv_typet	char16_t_type ()

unsignedbv_typet	char32_t_type ()

floatbv_typet	float_type ()

floatbv_typet	double_type ()

floatbv_typet	long_double_type ()

signedbv_typet	pointer_diff_type ()

pointer_typet	pointer_type (const typet &subtype)

reference_typet	reference_type (const typet &subtype)

empty_typet	void_type ()

std::string	c_type_as_string (const irep_idt &c_type)

Function Documentation

◆ c_bool_type()

typet c_bool_type ( )

Definition at line 100 of file c_types.cpp.

◆ c_index_type()

bitvector_typet c_index_type ( )

Definition at line 16 of file c_types.cpp.

◆ c_type_as_string()

std::string c_type_as_string ( const irep_idt & c_type )

Definition at line 251 of file c_types.cpp.

◆ char16_t_type()

unsignedbv_typet char16_t_type ( )

Definition at line 157 of file c_types.cpp.

◆ char32_t_type()

unsignedbv_typet char32_t_type ( )

Definition at line 167 of file c_types.cpp.

◆ char_type()

bitvector_typet char_type ( )

Definition at line 106 of file c_types.cpp.

◆ double_type()

floatbv_typet double_type ( )

Definition at line 185 of file c_types.cpp.

◆ float_type()

floatbv_typet float_type ( )

Definition at line 177 of file c_types.cpp.

◆ long_double_type()

floatbv_typet long_double_type ( )

Definition at line 193 of file c_types.cpp.

◆ pointer_diff_type()

signedbv_typet pointer_diff_type ( )

Definition at line 220 of file c_types.cpp.

◆ pointer_type()

pointer_typet pointer_type ( const typet & subtype )

Definition at line 235 of file c_types.cpp.

◆ reference_type()

reference_typet reference_type ( const typet & subtype )

Definition at line 240 of file c_types.cpp.

◆ signed_char_type()

signedbv_typet signed_char_type ( )

Definition at line 134 of file c_types.cpp.

◆ signed_int_type()

signedbv_typet signed_int_type ( )

Definition at line 22 of file c_types.cpp.

◆ signed_long_int_type()

signedbv_typet signed_long_int_type ( )

Definition at line 72 of file c_types.cpp.

◆ signed_long_long_int_type()

signedbv_typet signed_long_long_int_type ( )

Definition at line 79 of file c_types.cpp.

◆ signed_short_int_type()

signedbv_typet signed_short_int_type ( )

Definition at line 29 of file c_types.cpp.

◆ signed_size_type()

signedbv_typet signed_size_type ( )

Definition at line 66 of file c_types.cpp.

◆ size_type()

unsignedbv_typet size_type ( )

Definition at line 50 of file c_types.cpp.

◆ unsigned_char_type()

unsignedbv_typet unsigned_char_type ( )

Definition at line 127 of file c_types.cpp.

◆ unsigned_int_type()

unsignedbv_typet unsigned_int_type ( )

Definition at line 36 of file c_types.cpp.

◆ unsigned_long_int_type()

unsignedbv_typet unsigned_long_int_type ( )

Definition at line 86 of file c_types.cpp.

◆ unsigned_long_long_int_type()

unsignedbv_typet unsigned_long_long_int_type ( )

Definition at line 93 of file c_types.cpp.

◆ unsigned_short_int_type()

unsignedbv_typet unsigned_short_int_type ( )

Definition at line 43 of file c_types.cpp.

◆ void_type()

empty_typet void_type ( )

Definition at line 245 of file c_types.cpp.

◆ wchar_t_type()

bitvector_typet wchar_t_type ( )

Definition at line 141 of file c_types.cpp.

Functions