#include <cpp_typecast.h>
|
| cpp_typecastt (cpp_typecheckt &cpp_typecheck) |
|
virtual void | implicit_typecast (exprt &expr, const typet &type) |
|
virtual void | implicit_typecast_arithmetic (exprt &expr) |
|
virtual void | implicit_typecast_arithmetic (exprt &expr1, exprt &expr2) |
|
void | check_qualifiers (const typet &from, const typet &to) |
|
bool | subtype_typecast (const typet &from, const typet &to, std::string &err) |
|
bool | integral_conversion (const typet &src_type, const typet &dest_type) |
|
exprt | subtype_offset (const struct_typet &from, const struct_typet &to) |
|
void | make_ptr_typecast (exprt &expr, const typet &src_type, const typet &dest_type) |
|
| c_typecastt (const namespacet &_ns) |
|
virtual | ~c_typecastt () |
|
virtual void | implicit_typecast (exprt &expr, const typet &type) |
|
virtual void | implicit_typecast_arithmetic (exprt &expr) |
|
virtual void | implicit_typecast_arithmetic (exprt &expr1, exprt &expr2) |
|
|
enum | c_typet {
BOOL
, CHAR
, UCHAR
, SHORT
,
USHORT
, INT
, UINT
, LONG
,
ULONG
, LONGLONG
, ULONGLONG
, LARGE_SIGNED_INT
,
LARGE_UNSIGNED_INT
, INTEGER
, FIXEDBV
, SINGLE
,
DOUBLE
, LONGDOUBLE
, FLOAT128
, RATIONAL
,
REAL
, COMPLEX
, VOIDPTR
, PTR
,
OTHER
} |
|
const namespacet & | ns |
|
Definition at line 17 of file cpp_typecast.h.
◆ cpp_typecastt()
◆ check_qualifiers()
void cpp_typecastt::check_qualifiers |
( |
const typet & |
from, |
|
|
const typet & |
to |
|
) |
| |
◆ get_bases()
void cpp_typecastt::get_bases |
( |
const irep_idt & |
identifier, |
|
|
std::map< irep_idt, unsigned > & |
base_count |
|
) |
| |
|
protected |
◆ implicit_typecast()
virtual void cpp_typecastt::implicit_typecast |
( |
exprt & |
expr, |
|
|
const typet & |
type |
|
) |
| |
|
virtual |
◆ implicit_typecast_arithmetic() [1/2]
virtual void cpp_typecastt::implicit_typecast_arithmetic |
( |
exprt & |
expr | ) |
|
|
virtual |
◆ implicit_typecast_arithmetic() [2/2]
virtual void cpp_typecastt::implicit_typecast_arithmetic |
( |
exprt & |
expr1, |
|
|
exprt & |
expr2 |
|
) |
| |
|
virtual |
◆ implicit_typecast_followed()
virtual void cpp_typecastt::implicit_typecast_followed |
( |
exprt & |
expr, |
|
|
const typet & |
src_type, |
|
|
const typet & |
dest_type |
|
) |
| |
|
protectedvirtual |
◆ integral_conversion()
bool cpp_typecastt::integral_conversion |
( |
const typet & |
src_type, |
|
|
const typet & |
dest_type |
|
) |
| |
◆ make_ptr_typecast()
void cpp_typecastt::make_ptr_typecast |
( |
exprt & |
expr, |
|
|
const typet & |
src_type, |
|
|
const typet & |
dest_type |
|
) |
| |
◆ subtype_offset()
◆ subtype_typecast()
bool cpp_typecastt::subtype_typecast |
( |
const typet & |
from, |
|
|
const typet & |
to, |
|
|
std::string & |
err |
|
) |
| |
◆ cpp_typecheck
The documentation for this class was generated from the following file: