Go to the documentation of this file.
15 const typet &dest_type)
23 for(std::list<std::string>::const_iterator
24 it=c_typecast.
errors.begin();
25 it!=c_typecast.
errors.end();
30 <<
"conversion from `"
36 if(!c_typecast.
errors.empty())
39 for(std::list<std::string>::const_iterator
45 warning() <<
"warning: conversion from `"
49 <<
"': " << *it <<
eom;
virtual void implicit_typecast_arithmetic(exprt &expr)
The type of an expression, extends irept.
virtual std::string to_string(const exprt &expr)
Base class for all expressions.
typet & type()
Return the type of the expression.
std::list< std::string > warnings
source_locationt source_location
const source_locationt & find_source_location() const
Get a source_locationt from the expression or from its operands (non-recursively).
virtual void implicit_typecast_arithmetic(exprt &expr)
std::list< std::string > errors
virtual void implicit_typecast(exprt &expr, const typet &type)
mstreamt & warning() const
virtual void implicit_typecast(exprt &expr, const typet &type)