c_typecheck_typecast.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "c_typecheck_base.h"
 
#include "c_typecast.h"
 
void c_typecheck_baset::implicit_typecast(
  exprt &expr,
  const typet &dest_type)
{
  c_typecastt c_typecast(*this);
 
  typet src_type=expr.type();
 
  c_typecast.implicit_typecast(expr, dest_type);
 
  for(const auto &tc_error : c_typecast.errors)
  {
    error().source_location=expr.find_source_location();
    error() << "in expression '" << to_string(expr) << "':\n"
            << "conversion from '" << to_string(src_type) << "' to '"
            << to_string(dest_type) << "': " << tc_error << eom;
  }
 
  if(!c_typecast.errors.empty())
    throw 0; // give up
 
  for(const auto &tc_warning : c_typecast.warnings)
  {
    warning().source_location=expr.find_source_location();
    warning() << "conversion from '" << to_string(src_type) << "' to '"
              << to_string(dest_type) << "': " << tc_warning << eom;
  }
}
void c_typecheck_baset::implicit_typecast( {…}
 
void c_typecheck_baset::implicit_typecast_arithmetic(
  exprt &expr1,
  exprt &expr2)
{
  c_typecastt c_typecast(*this);
  c_typecast.implicit_typecast_arithmetic(expr1, expr2);
 
  for(const auto &tc_error : c_typecast.errors)
  {
    error().source_location = expr1.find_source_location();
    error() << "in expression '" << to_string(expr1) << "':\n"
            << "conversion from '" << to_string(expr1.type()) << "' to '"
            << to_string(expr2.type()) << "': " << tc_error << eom;
  }
 
  if(!c_typecast.errors.empty())
    throw 0; // give up
 
  for(const auto &tc_warning : c_typecast.warnings)
  {
    warning().source_location = expr1.find_source_location();
    warning() << "conversion from '" << to_string(expr1.type()) << "' to '"
              << to_string(expr2.type()) << "': " << tc_warning << eom;
  }
}
void c_typecheck_baset::implicit_typecast_arithmetic( {…}
 
void c_typecheck_baset::implicit_typecast_arithmetic(exprt &expr)
{
  c_typecastt c_typecast(*this);
  c_typecast.implicit_typecast_arithmetic(expr);
 
  for(const auto &tc_error : c_typecast.errors)
  {
    error().source_location = expr.find_source_location();
    error() << tc_error << eom;
  }
 
  if(!c_typecast.errors.empty())
    throw 0; // give up
 
  for(const auto &tc_warning : c_typecast.warnings)
  {
    warning().source_location = expr.find_source_location();
    warning() << tc_warning << eom;
  }
}
void c_typecheck_baset::implicit_typecast_arithmetic(exprt &expr) {…}