ANSI-C Language Type Checking.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
virtual void implicit_typecast(exprt &expr, const typet &type)
virtual void implicit_typecast_arithmetic(exprt &expr)
virtual std::string to_string(const exprt &expr)
Base class for all expressions.
const source_locationt & find_source_location() const
Get a source_locationt from the expression or from its operands (non-recursively).
typet & type()
Return the type of the expression.
source_locationt source_location
mstreamt & warning() const
The type of an expression, extends irept.