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;
The type of an expression.
static mstreamt & eom(mstreamt &m)
virtual std::string to_string(const exprt &expr)
ANSI-C Language Type Checking.
const source_locationt & find_source_location() const
source_locationt source_location
std::list< std::string > warnings
std::list< std::string > errors
virtual void implicit_typecast(exprt &expr, const typet &type)
virtual void implicit_typecast_arithmetic(exprt &expr)
Base class for all expressions.
virtual void implicit_typecast(exprt &expr, const typet &type)
virtual void implicit_typecast_arithmetic(exprt &expr)