cprover
|
Go to the source code of this file.
Classes | |
class | c_typecastt |
Functions | |
bool | check_c_implicit_typecast (const typet &src_type, const typet &dest_type) |
bool | check_c_implicit_typecast (const typet &src_type, const typet &dest_type, const namespacet &ns) |
bool | c_implicit_typecast (exprt &expr, const typet &dest_type, const namespacet &ns) |
bool | c_implicit_typecast_arithmetic (exprt &expr1, exprt &expr2, const namespacet &ns) |
perform arithmetic prompotions and conversions More... | |
bool c_implicit_typecast | ( | exprt & | expr, |
const typet & | dest_type, | ||
const namespacet & | ns | ||
) |
Definition at line 26 of file c_typecast.cpp.
bool c_implicit_typecast_arithmetic | ( | exprt & | expr1, |
exprt & | expr2, | ||
const namespacet & | ns | ||
) |
perform arithmetic prompotions and conversions
Definition at line 49 of file c_typecast.cpp.
Definition at line 71 of file c_typecast.cpp.
bool check_c_implicit_typecast | ( | const typet & | src_type, |
const typet & | dest_type, | ||
const namespacet & | ns | ||
) |
Definition at line 36 of file c_typecast.cpp.