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.
References c_typecastt::errors, and c_typecastt::implicit_typecast().
Referenced by value_set_dereferencet::bounds_check(), and c_sizeoft::sizeof_rec().
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.
References c_typecastt::errors, and c_typecastt::implicit_typecast_arithmetic().
Definition at line 71 of file c_typecast.cpp.
References check_c_implicit_typecast(), irept::get_bool(), irept::id(), is_void_pointer(), and typet::subtype().
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.
References c_typecastt::errors, c_typecastt::implicit_typecast(), and exprt::type().
Referenced by check_c_implicit_typecast(), and c_typecastt::implicit_typecast_followed().