/*******************************************************************\

Module: Value Set Domain (Flow Insensitive, Validity Regions)

Author: Daniel Kroening, kroening@kroening.com
        CM Wintersteiger

\*******************************************************************/

/// \file
/// Value Set Domain (Flow Insensitive, Validity Regions)

#include "value_set_domain_fivrns.h"

#include <util/std_code.h>

bool value_set_domain_fivrnst::transform(
  const namespacet &ns,
  const irep_idt &function_from,
  locationt from_l,
  const irep_idt &function_to,
  locationt to_l)
{
  value_set.set_from(function_from, from_l->location_number);
  value_set.set_to(function_to, to_l->location_number);

#if 0
  std::cout << "Transforming: " <<
    from_l->function << " " << from_l->location_number << " to " <<
    to_l->function << " " << to_l->location_number << '\n';
#endif

  switch(from_l->type)
  {
  case END_FUNCTION:
    value_set.do_end_function(get_return_lhs(to_l), ns);
    break;

  case RETURN:
  case OTHER:
  case ASSIGN:
    value_set.apply_code(from_l->code, ns);
    break;

  case FUNCTION_CALL:
    {
      const code_function_callt &code=
        to_code_function_call(from_l->code);

      value_set.do_function_call(function_to, code.arguments(), ns);
      break;
    }

  default:
    {
    }
  }

  return value_set.handover();
}
