type.cpp File Reference

#include <util/irep/type.h>

Include dependency graph for type.cpp:

Functions
bool	is_number (const typet &type)
bool	is_array_like (const typet &type)
	Returns wether the type behaves similarly to an array.
bool	is_decaying_array (const typet &type)
	Types that decay to a pointer in C11 6.3.2.1p3 – an array, but not a vector, which is a value.

Function Documentation

is_array_like()

bool is_array_like

(

const typet &

type

)

Returns wether the type behaves similarly to an array.

This is mainly used for DRY, e.g. checking for vector and array types.

Parameters

type

Returns

true

false

is_decaying_array()

bool is_decaying_array

(

const typet &

type

)

Types that decay to a pointer in C11 6.3.2.1p3 – an array, but not a vector, which is a value.

is_number()

bool is_number

(

const typet &

type

)