10 #ifndef CPROVER_ANSI_C_C_TYPECAST_H 11 #define CPROVER_ANSI_C_C_TYPECAST_H 22 const typet &src_type,
23 const typet &dest_type);
26 const typet &src_type,
27 const typet &dest_type,
32 const typet &dest_type,
94 const typet &src_type,
95 const typet &orig_dest_type,
96 const typet &dest_type);
103 #endif // CPROVER_ANSI_C_C_TYPECAST_H The type of an expression.
void do_typecast(exprt &dest, const typet &type)
bool c_implicit_typecast_arithmetic(exprt &expr1, exprt &expr2, const namespacet &ns)
perform arithmetic prompotions and conversions
virtual void implicit_typecast_followed(exprt &expr, const typet &src_type, const typet &orig_dest_type, const typet &dest_type)
c_typet get_c_type(const typet &type) const
bool check_c_implicit_typecast(const typet &src_type, const typet &dest_type)
std::list< std::string > warnings
std::list< std::string > errors
c_typecastt(const namespacet &_ns)
typet follow_with_qualifiers(const typet &src)
virtual void implicit_typecast_arithmetic(exprt &expr)
Base class for all expressions.
virtual void implicit_typecast(exprt &expr, const typet &type)
bool c_implicit_typecast(exprt &expr, const typet &dest_type, const namespacet &ns)
c_typet minimum_promotion(const typet &type) const