c_types.cpp File Reference

#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <util/irep/std_types.h>
#include <irep2/irep2_utils.h>

Include dependency graph for c_types.cpp:

Functions
static unsigned	float_fraction_bits (unsigned width)
typet	build_float_type (unsigned width)
type2tc	build_float_type2 (unsigned width)
typet	index_type ()
type2tc	index_type2 ()
typet	enum_type ()
typet	int_type ()
type2tc	int_type2 ()
typet	uint_type ()
type2tc	uint_type2 ()
typet	bool_type ()
typet	long_int_type ()
type2tc	long_int_type2 ()
typet	long_long_int_type ()
type2tc	long_long_int_type2 ()
typet	int128_type ()
type2tc	int128_type2 ()
typet	uint128_type ()
type2tc	uint128_type2 ()
typet	uint256_type ()
typet	long_uint_type ()
type2tc	long_uint_type2 ()
typet	long_long_uint_type ()
type2tc	long_long_uint_type2 ()
typet	signed_short_int_type ()
typet	unsigned_short_int_type ()
typet	char_type ()
typet	unsigned_char_type ()
typet	signed_char_type ()
typet	char16_type ()
typet	char32_type ()
typet	wchar_type ()
typet	unsigned_wchar_type ()
type2tc	char_type2 ()
typet	half_float_type ()
typet	bfloat16_type ()
typet	float_type ()
type2tc	float_type2 ()
typet	double_type ()
type2tc	double_type2 ()
typet	long_double_type ()
const char *	c_float_literal_suffix (const typet &type)
	The C literal suffix of a floating-point type: "f", "l" or "".
type2tc	long_double_type2 ()
typet	size_type ()
type2tc	size_type2 ()
typet	signed_size_type ()
type2tc	signed_size_type2 ()
typet	pointer_type ()
type2tc	pointer_type2 ()
type2tc	ptraddr_type2 ()
BigInt	max_object_size ()
BigInt	first_object_address ()
BigInt	max_layable_size ()
type2tc	bitsize_type2 ()
type2tc	get_uint8_type ()
type2tc	get_uint16_type ()
type2tc	get_uint32_type ()
type2tc	get_uint64_type ()
type2tc	get_int8_type ()
type2tc	get_int16_type ()
type2tc	get_int32_type ()
type2tc	get_int64_type ()
type2tc	get_uint_type (unsigned int sz)
type2tc	get_int_type (unsigned int sz)
type2tc	get_bool_type ()
type2tc	get_empty_type ()

Function Documentation

bfloat16_type()

typet bfloat16_type

(

)

bitsize_type2()

type2tc bitsize_type2

(

)

bool_type()

typet bool_type

(

)

build_float_type()

typet build_float_type

(

unsigned

width

)

build_float_type2()

type2tc build_float_type2

(

unsigned

width

)

c_float_literal_suffix()

const char * c_float_literal_suffix

(

const typet &

type

)

The C literal suffix of a floating-point type: "f", "l" or "".

char16_type()

typet char16_type

(

)

char32_type()

typet char32_type

(

)

char_type()

typet char_type

(

)

char_type2()

type2tc char_type2

(

)

double_type()

typet double_type

(

)

double_type2()

type2tc double_type2

(

)

enum_type()

typet enum_type

(

)

first_object_address()

BigInt first_object_address

(

)

float_fraction_bits()

unsigned float_fraction_bits ( unsigned width )

static

float_type()

typet float_type

(

)

float_type2()

type2tc float_type2

(

)

get_bool_type()

type2tc get_bool_type

(

)

get_empty_type()

type2tc get_empty_type

(

)

get_int16_type()

type2tc get_int16_type

(

)

get_int32_type()

type2tc get_int32_type

(

)

get_int64_type()

type2tc get_int64_type

(

)

get_int8_type()

type2tc get_int8_type

(

)

get_int_type()

type2tc get_int_type

(

unsigned int

sz

)

get_uint16_type()

type2tc get_uint16_type

(

)

get_uint32_type()

type2tc get_uint32_type

(

)

get_uint64_type()

type2tc get_uint64_type

(

)

get_uint8_type()

type2tc get_uint8_type

(

)

get_uint_type()

type2tc get_uint_type

(

unsigned int

sz

)

half_float_type()

typet half_float_type

(

)

index_type()

typet index_type

(

)

index_type2()

type2tc index_type2

(

)

int128_type()

typet int128_type

(

)

int128_type2()

type2tc int128_type2

(

)

int_type()

typet int_type

(

)

int_type2()

type2tc int_type2

(

)

long_double_type()

typet long_double_type

(

)

long_double_type2()

type2tc long_double_type2

(

)

long_int_type()

typet long_int_type

(

)

long_int_type2()

type2tc long_int_type2

(

)

long_long_int_type()

typet long_long_int_type

(

)

long_long_int_type2()

type2tc long_long_int_type2

(

)

long_long_uint_type()

typet long_long_uint_type

(

)

long_long_uint_type2()

type2tc long_long_uint_type2

(

)

long_uint_type()

typet long_uint_type

(

)

long_uint_type2()

type2tc long_uint_type2

(

)

max_layable_size()

BigInt max_layable_size

(

)

max_object_size()

BigInt max_object_size

(

)

pointer_type()

typet pointer_type

(

)

pointer_type2()

type2tc pointer_type2

(

)

ptraddr_type2()

type2tc ptraddr_type2

(

)

signed_char_type()

typet signed_char_type

(

)

signed_short_int_type()

typet signed_short_int_type

(

)

signed_size_type()

typet signed_size_type

(

)

signed_size_type2()

type2tc signed_size_type2

(

)

size_type()

typet size_type

(

)

size_type2()

type2tc size_type2

(

)

uint128_type()

typet uint128_type

(

)

uint128_type2()

type2tc uint128_type2

(

)

uint256_type()

typet uint256_type

(

)

uint_type()

typet uint_type

(

)

uint_type2()

type2tc uint_type2

(

)

unsigned_char_type()

typet unsigned_char_type

(

)

unsigned_short_int_type()

typet unsigned_short_int_type

(

)

unsigned_wchar_type()

typet unsigned_wchar_type

(

)

wchar_type()

typet wchar_type

(

)