10 #ifndef CPROVER_CPP_CPP_TYPECAST_H 11 #define CPROVER_CPP_CPP_TYPECAST_H 36 const typet &src_type,
37 const typet &dest_type);
41 std::map<irep_idt, unsigned> &base_count);
54 const typet &src_type,
55 const typet &dest_type);
63 const typet &src_type,
64 const typet &dest_type);
69 #endif // CPROVER_CPP_CPP_TYPECAST_H The type of an expression.
bool integral_conversion(const typet &src_type, const typet &dest_type)
void check_qualifiers(const typet &from, const typet &to)
void make_ptr_typecast(exprt &expr, const typet &src_type, const typet &dest_type)
virtual void implicit_typecast_arithmetic(exprt &expr)
virtual void implicit_typecast(exprt &expr, const typet &type)
bool subtype_typecast(const typet &from, const typet &to, std::string &err)
cpp_typecastt(cpp_typecheckt &cpp_typecheck)
virtual void implicit_typecast_followed(exprt &expr, const typet &src_type, const typet &dest_type)
Base class for all expressions.
cpp_typecheckt & cpp_typecheck
void get_bases(const irep_idt &identifier, std::map< irep_idt, unsigned > &base_count)
exprt subtype_offset(const struct_typet &from, const struct_typet &to)