abg-default-reporter.cc

Go to the documentation of this file.

// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// -*- Mode: C++ -*-
//
// Copyright (C) 2017-2025 Red Hat, Inc.
//
// Author: Dodji Seketeli


/// @file
///
/// This is the implementation of the
/// abigail::comparison::default_reporter type.

#include "abg-comparison-priv.h"
#include "abg-reporter.h"
#include "abg-reporter-priv.h"

namespace abigail
{
namespace comparison
{

/// Test if a given instance of @ref corpus_diff carries changes whose
/// reports are not suppressed by any suppression specification.  In
/// effect, these are deemed incompatible ABI changes.
///
/// @param d the @ref corpus_diff to consider
///
/// @return true iff @p d carries subtype changes that are deemed
/// incompatible ABI changes.
bool
default_reporter::diff_has_net_changes(const corpus_diff *d) const
{
  if (!d)
    return false;

  const corpus_diff::diff_stats& stats = const_cast<corpus_diff*>(d)->
    apply_filters_and_suppressions_before_reporting();

  // Logic here should match emit_diff_stats.
  return (d->architecture_changed()
      || d->soname_changed()
      || stats.net_num_func_removed()
      || stats.net_num_func_changed()
      || stats.net_num_func_added()
      || stats.net_num_vars_removed()
      || stats.net_num_vars_changed()
      || stats.net_num_vars_added()
      || stats.net_num_removed_unreachable_types()
      || stats.net_num_changed_unreachable_types()
      || stats.net_num_added_unreachable_types()
      || stats.net_num_removed_func_syms()
      || stats.net_num_added_func_syms()
      || stats.net_num_removed_var_syms()
      || stats.net_num_added_var_syms());
}

/// Ouputs a report of the differences between of the two type_decl
/// involved in the @ref type_decl_diff.
///
/// @param d the @ref type_decl_diff to consider.
///
/// @param out the output stream to emit the report to.
///
/// @param indent the string to use for indentatino indent.
void
default_reporter::report(const type_decl_diff& d,
             ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  type_decl_sptr f = d.first_type_decl(), s = d.second_type_decl();

  string name = f->get_pretty_representation();

  report_name_size_and_alignment_changes(f, s, d.context(),
                     out, indent);

  if (f->get_visibility() != s->get_visibility())
    {
      out << indent
      << "visibility changed from '"
      << f->get_visibility() << "' to '" << s->get_visibility()
      << "\n";
    }

  if (f->get_linkage_name() != s->get_linkage_name())
    {
      out << indent
      << "mangled name changed from '"
      << f->get_linkage_name() << "' to "
      << s->get_linkage_name()
      << "\n";
    }
}

/// Report the differences between the two enums.
///
/// @param d the enum diff to consider.
///
/// @param out the output stream to send the report to.
///
/// @param indent the string to use for indentation.
void
default_reporter::report(const enum_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER3(d.first_subject(),
                           d.second_subject(),
                           "enum type");

  string name = d.first_enum()->get_pretty_representation();

  enum_type_decl_sptr first = d.first_enum(), second = d.second_enum();

  const diff_context_sptr& ctxt = d.context();

  // Report enum decl-only <-> definition changes.
  if (ctxt->get_allowed_category() & TYPE_DECL_ONLY_DEF_CHANGE_CATEGORY)
    if (filtering::has_enum_decl_only_def_change(first, second))
      {
    string was =
      first->get_is_declaration_only()
      ? " was a declaration-only enum type"
      : " was a defined enum type";

    string is_now =
      second->get_is_declaration_only()
      ? " and is now a declaration-only enum type"
      : " and is now a defined enum type";

    out << indent << "enum type " << name << was << is_now << "\n";
    return;
      }

  report_name_size_and_alignment_changes(first, second, ctxt,
                     out, indent);
  maybe_report_diff_for_member(first, second, ctxt, out, indent);

  //underlying type
  d.underlying_type_diff()->report(out, indent);

  //report deletions/insertions/change of enumerators
  unsigned numdels = d.deleted_enumerators().size();
  unsigned numins = d.inserted_enumerators().size();
  unsigned numchanges = d.changed_enumerators().size();

  if (numdels)
    {
      report_mem_header(out, numdels, 0, del_kind, "enumerator", indent);
      enum_type_decl::enumerators sorted_deleted_enumerators;
      sort_enumerators(d.deleted_enumerators(), sorted_deleted_enumerators);
      for (enum_type_decl::enumerators::const_iterator i =
         sorted_deleted_enumerators.begin();
       i != sorted_deleted_enumerators.end();
       ++i)
    {
      out << indent
          << "  '"
          << (first->get_is_anonymous()
          ? i->get_name()
          : i->get_qualified_name())
          << "' value '"
          << i->get_value()
          << "'";
      out << "\n";
    }
    }
  if (numins)
    {
      report_mem_header(out, numins, 0, ins_kind, "enumerator", indent);
      enum_type_decl::enumerators sorted_inserted_enumerators;
      sort_enumerators(d.inserted_enumerators(), sorted_inserted_enumerators);
      for (enum_type_decl::enumerators::const_iterator i =
         sorted_inserted_enumerators.begin();
       i != sorted_inserted_enumerators.end();
       ++i)
    {
      out << indent
          << "  '"
          << (second->get_is_anonymous()
          ? i->get_name()
          :i->get_qualified_name())
          << "' value '"
          << i->get_value()
          << "'";
      out << "\n";
    }
    }
  if (numchanges)
    {
      report_mem_header(out, numchanges, 0, change_kind, "enumerator", indent);
      changed_enumerators_type sorted_changed_enumerators;
      sort_changed_enumerators(d.changed_enumerators(),
                   sorted_changed_enumerators);
      for (changed_enumerators_type::const_iterator i =
         sorted_changed_enumerators.begin();
       i != sorted_changed_enumerators.end();
       ++i)
    {
      out << indent;
      if (i->first.get_value() != i->second.get_value())
        {
         out << "  '"
         << (first->get_is_anonymous()
             ? i->first.get_name()
             : i->first.get_qualified_name())
         << "' from value '"
         << i->first.get_value() << "' to '"
         << i->second.get_value() << "'";
        }
      else if (i->first.get_name() != i->second.get_name())
        {
          out << "from '"
          << (first->get_is_anonymous()
              ? i->first.get_name()
              : i->first.get_qualified_name())
          << " = " << i->first.get_value()
          << "' to '"
          << (second->get_is_anonymous()
          ? i->second.get_name()
          : i->second.get_qualified_name())
          << " = " << i->second.get_value()
          << "'";
        }
      else
        {
          out << "enumerator change from '"
          << i->first.get_name()
          << " = "
          << i->first.get_value()
          << "' to '"
          << i->second.get_name()
          << " = "
          << i->second.get_value()
          << "' could not be determined - please report as a bug";
        }
      report_loc_info(second, *ctxt, out);
      out << "\n";
    }
    }

  if (ctxt->show_leaf_changes_only())
    maybe_report_interfaces_impacted_by_diff(&d, out, indent);

  d.reported_once(true);
}

/// For a @ref typedef_diff node, report the local changes to the
/// typedef rather the changes to its underlying type.
///
/// Note that changes to the underlying type are also considered
/// local.
///
/// @param d the @ref typedef_diff node to consider.
///
/// @param out the output stream to report to.
///
/// @param indent the white space string to use for indentation.
void
default_reporter::report_non_type_typedef_changes(const typedef_diff &d,
                          ostream& out,
                          const string& indent) const
{
  if (!d.to_be_reported())
    return;

  typedef_decl_sptr f = d.first_typedef_decl(), s = d.second_typedef_decl();

  maybe_report_diff_for_member(f, s, d.context(), out, indent);

  if ((filtering::has_harmless_name_change(f, s, d.context())
       && ((d.context()->get_allowed_category()
        & HARMLESS_DECL_NAME_CHANGE_CATEGORY)
       || d.context()->show_leaf_changes_only()))
      || f->get_qualified_name() != s->get_qualified_name())
    {
      out << indent << "typedef name changed from "
      << f->get_qualified_name()
      << " to "
      << s->get_qualified_name();
      report_loc_info(s, *d.context(), out);
      out << "\n";
    }
}

/// Reports the difference between the two subjects of the diff in a
/// serialized form.
///
/// @param d @ref typedef_diff node to consider.
///
/// @param out the output stream to emit the report to.
///
/// @param indent the indentation string to use.
void
default_reporter::report(const typedef_diff& d,
             ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  typedef_decl_sptr f = d.first_typedef_decl(), s = d.second_typedef_decl();

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    report_non_type_typedef_changes(d, out, indent);

  diff_sptr dif = d.underlying_type_diff();
  if (dif && dif->has_changes())
    {
      if (dif->to_be_reported())
    {
      RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif,
                                "underlying type");
      out << indent
          << "underlying type '"
          << dif->first_subject()->get_pretty_representation() << "'";
      report_loc_info(dif->first_subject(), *d.context(), out);
      out << " changed:\n";
      dif->report(out, indent + "  ");
    }
      else
    {
      // The typedef change is to be reported, so we'll report its
      // underlying type change too (even if its redundant),
      // unless it's suppressed.  It makes sense in this
      // particular case to emit the underlying type change
      // because of the informative value underneath.  We don't
      // want to just know about the local changes of the typedef,
      // but also about the changes on the underlying type.
      diff_category c = dif->get_category();
      if (!(c & (SUPPRESSED_CATEGORY | PRIVATE_TYPE_CATEGORY)))
        {
          out << indent
          << "underlying type '"
          << dif->first_subject()->get_pretty_representation() << "'";
          report_loc_info(dif->first_subject(), *d.context(), out);
          out << " changed:\n";
          if (c & REDUNDANT_CATEGORY)
        dif->set_category(c & ~REDUNDANT_CATEGORY);
          dif->report(out, indent + "  ");
          if (c & REDUNDANT_CATEGORY)
        dif->set_category(c | REDUNDANT_CATEGORY);
        }
    }
    }

  d.reported_once(true);
}

/// For a @ref qualified_type_diff node, report the changes that are
/// local.
///
/// @param d the @ref qualified_type_diff node to consider.
///
/// @param out the output stream to emit the report to.
///
/// @param indent the white string to use for indentation.
///
/// @return true iff a local change has been emitted.  In this case,
/// the local change is a name change.
bool
default_reporter::report_local_qualified_type_changes(const qualified_type_diff& d,
                              ostream& out,
                              const string& indent) const
{
  if (!d.to_be_reported())
    return false;

  string fname = d.first_qualified_type()->get_pretty_representation(),
    sname = d.second_qualified_type()->get_pretty_representation();

  if (fname != sname)
    {
      out << indent << "'" << fname << "' changed to '" << sname << "'\n";
      return true;
    }
  return false;
}

/// For a @ref qualified_type_diff node, report the changes of its
/// underlying type.
///
/// @param d the @ref qualified_type_diff node to consider.
///
/// @param out the output stream to emit the report to.
///
/// @param indent the white string to use for indentation.
///
/// @return true iff a local change has been emitted.  In this case,
/// the local change is a name change.
void
default_reporter::report_underlying_changes_of_qualified_type
(const qualified_type_diff& d, ostream& out, const string& indent) const
{
  if (!d.to_be_reported())
    return;

  diff_sptr dif = d.leaf_underlying_type_diff();
  ABG_ASSERT(dif);
  ABG_ASSERT(dif->to_be_reported());
  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif,
                            "unqualified "
                            "underlying type");

  string fltname = dif->first_subject()->get_pretty_representation();
  out << indent << "in unqualified underlying type '" << fltname << "'";
  report_loc_info(dif->second_subject(), *d.context(), out);
  out << ":\n";
  dif->report(out, indent + "  ");
}

/// Report a @ref qualified_type_diff in a serialized form.
///
/// @param d the @ref qualified_type_diff node to consider.
///
/// @param out the output stream to serialize to.
///
/// @param indent the string to use to indent the lines of the report.
void
default_reporter::report(const qualified_type_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER(d.first_qualified_type(),
                           d.second_qualified_type());

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    if (report_local_qualified_type_changes(d, out, indent))
      // The local change was emitted and it's a name change.  If the
      // type name changed, the it means the type changed altogether.
      // It makes a little sense to detail the changes in extenso here.
      return;

  report_underlying_changes_of_qualified_type(d, out, indent);
}

/// Report the @ref pointer_diff in a serialized form.
///
/// @param d the @ref pointer_diff node to consider.
///
/// @param out the stream to serialize the diff to.
///
/// @param indent the prefix to use for the indentation of this
/// serialization.
void
default_reporter::report(const pointer_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  if (diff_sptr dif = d.underlying_type_diff())
    {
      RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif, "pointed to type");
      string repr = dif->first_subject()
    ? dif->first_subject()->get_pretty_representation()
    : string("void");

      out << indent
      << "in pointed to type '" << repr << "'";
      report_loc_info(dif->second_subject(), *d.context(), out);
      out << ":\n";
      dif->report(out, indent + "  ");
    }
}

/// For a @reference_diff node, report the local changes carried by
/// the diff node.
///
/// @param d the @reference_diff node to consider.
///
/// @param out the output stream to report to.
///
/// @param indent the white space indentation to use in the report.
void
default_reporter::report_local_reference_type_changes(const reference_diff& d,
                              ostream& out,
                              const string& indent) const
{
  if (!d.to_be_reported())
    return;

  reference_type_def_sptr f = d.first_reference(), s = d.second_reference();
  ABG_ASSERT(f && s);

  string f_repr = f->get_pretty_representation(),
    s_repr = s->get_pretty_representation();

  if (f->is_lvalue() != s->is_lvalue())
    {
      out << indent;
      if (f->is_lvalue())
    out << "lvalue reference type '" << f_repr
        << " became an rvalue reference type: '"
        << s_repr
        << "'\n";
      else
    out << "rvalue reference type '" << f_repr
        << " became an lvalue reference type: '"
        << s_repr
        << "'\n";
    }
  else if (!types_have_similar_structure(f->get_pointed_to_type().get(),
                     s->get_pointed_to_type().get()))
    out << indent
    << "reference type changed from: '"
    << f_repr << "' to: '" << s_repr << "'\n";
}

/// Report a @ref reference_diff in a serialized form.
///
/// @param d the @ref reference_diff node to consider.
///
/// @param out the output stream to serialize the dif to.
///
/// @param indent the string to use for indenting the report.
void
default_reporter::report(const reference_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  enum change_kind k = ir::NO_CHANGE_KIND;
  equals(*d.first_reference(), *d.second_reference(), &k);

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    if ((k & ALL_LOCAL_CHANGES_MASK) && !(k & SUBTYPE_CHANGE_KIND))
      report_local_reference_type_changes(d, out, indent);

  if (k & SUBTYPE_CHANGE_KIND)
    if (diff_sptr dif = d.underlying_type_diff())
      {
    RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif,
                              "referenced type");

    out << indent
        << "in referenced type '"
        << dif->first_subject()->get_pretty_representation() << "'";
    report_loc_info(dif->second_subject(), *d.context(), out);
    out << ":\n";
    dif->report(out, indent + "  ");
      }
}

/// Report the local changes carried by a @ref ptr_to_mbr_diff diff
/// node.
///
/// This is a subroutine of the method default_reporter::report() that
/// emits change report for @ref ptr_to_mbr_diff node.
///
/// @param d the diff node to consider
///
/// @param out the output stream to emit the report to.
///
/// @param indent the indentation string (spaces) to use in the
/// report.
///
/// @return truf iff a report was emitted to the output stream.
bool
default_reporter::report_local_ptr_to_mbr_type_changes(const ptr_to_mbr_diff& d,
                               std::ostream& out,
                               const std::string& indent) const
{
  if (!d.to_be_reported())
    return false;

  ptr_to_mbr_type_sptr f = d.first_ptr_to_mbr_type(),
    s = d.second_ptr_to_mbr_type();

  enum change_kind k = ir::NO_CHANGE_KIND;
  equals(*d.first_ptr_to_mbr_type(), *d.second_ptr_to_mbr_type(), &k);

  if (k & ALL_LOCAL_CHANGES_MASK)
    {
      string f_repr = f->get_pretty_representation(),
    s_repr = s->get_pretty_representation();

      out << indent;
      out << "pointer-to-member type changed from: '"
      << f_repr << " to: '"<< s_repr << "'\n";
      return true;
    }
  return false;
}


/// Emit a textual report about the changes carried by a @ref
/// ptr_to_mbr_diff diff node.
///
/// @param out the output stream to emit the report to.
///
/// @param indent the indentation string to use for the report.
void
default_reporter::report(const ptr_to_mbr_diff& d,
             std::ostream& out,
             const std::string& indent) const
{
  if (!d.to_be_reported())
    return;

  report_local_ptr_to_mbr_type_changes(d, out, indent);

  if (diff_sptr dif = d.member_type_diff())
    {
      RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2
    (dif,"data member type of pointer-to-member");
      if (dif->to_be_reported())
    {
      out << indent
          << "in data member type '"
          << dif->first_subject()->get_pretty_representation()
          << "' of pointed-to-member type '"
          << d.first_ptr_to_mbr_type()->get_pretty_representation()
          << "'";
      report_loc_info(dif->second_subject(), *d.context(), out);
      out << ":\n";
      dif->report(out, indent + "  ");
    }
    }
  if (diff_sptr dif = d.containing_type_diff())
    {
      RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2
    (dif,"containing type of pointer-to-member");
      if (dif->to_be_reported())
    {
      out << indent
          << "in containing type '"
          << dif->first_subject()->get_pretty_representation()
          << "' of pointed-to-member type '"
          << d.first_ptr_to_mbr_type()->get_pretty_representation()
          << "'";
      report_loc_info(dif->second_subject(), *d.context(), out);
      out << ":\n";
      dif->report(out, indent + "  ");
    }
    }
}

/// Emit a textual report about the a @ref fn_parm_diff instance.
///
/// @param d the @ref fn_parm_diff to consider.
///
/// @param out the output stream to emit the textual report to.
///
/// @param indent the indentation string to use in the report.
void
default_reporter::report(const fn_parm_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  function_decl::parameter_sptr f = d.first_parameter(),
    s = d.second_parameter();

  // either the parameter has a sub-type change (if its type name
  // hasn't changed) or it has a "grey" change (that is, a change that
  // changes his type name w/o changing the signature of the
  // function).
  bool has_sub_type_change =
    type_has_sub_type_changes(d.first_parameter()->get_type(),
                  d.second_parameter()->get_type());

  diff_sptr type_diff = d.type_diff();
  ABG_ASSERT(type_diff->has_changes());

  out << indent;
  if (f->get_is_artificial())
    out << "implicit ";
  out << "parameter " << f->get_index();
  report_loc_info(f, *d.context(), out);
  out << " of type '"
      << f->get_type_pretty_representation();

  if (has_sub_type_change)
    out << "' has sub-type changes:\n";
  else
    out << "' changed:\n";

  type_diff->report(out, indent + "  ");
}

/// For a @ref function_type_diff node, report the local changes
/// carried by the diff node.
///
/// @param d the @ref function_type_diff node to consider.
///
/// @param out the output stream to report to.
///
/// @param indent the white space indentation string to use.
void
default_reporter::report_local_function_type_changes(const function_type_diff& d,
                             ostream& out,
                             const string& indent) const

{
  if (!d.to_be_reported())
    return;

  function_type_sptr fft = d.first_function_type();
  function_type_sptr sft = d.second_function_type();

  diff_context_sptr ctxt = d.context();

  // Report about the size of the function address
  if (fft->get_size_in_bits() != sft->get_size_in_bits())
    {
      out << indent << "address size of function changed from "
      << fft->get_size_in_bits()
      << " bits to "
      << sft->get_size_in_bits()
      << " bits\n";
    }

  // Report about the alignment of the function address
  if (fft->get_alignment_in_bits()
      != sft->get_alignment_in_bits())
    {
      out << indent << "address alignment of function changed from "
      << fft->get_alignment_in_bits()
      << " bits to "
      << sft->get_alignment_in_bits()
      << " bits\n";
    }

  // Hmmh, the above was quick.  Now report about function parameters;
  // this shouldn't be as straightforward.

  // Report about the parameters that got removed.
  for (vector<function_decl::parameter_sptr>::const_iterator i =
     d.priv_->sorted_deleted_parms_.begin();
       i != d.priv_->sorted_deleted_parms_.end();
       ++i)
    {
      out << indent << "parameter " << (*i)->get_index()
      << " of type '" << (*i)->get_type_pretty_representation()
      << "' was removed\n";
    }

  // Report about the parameters that got added
  for (vector<function_decl::parameter_sptr>::const_iterator i =
     d.priv_->sorted_added_parms_.begin();
       i != d.priv_->sorted_added_parms_.end();
       ++i)
    {
      out << indent << "parameter " << (*i)->get_index()
      << " of type '" << (*i)->get_type_pretty_representation()
      << "' was added\n";
    }
}

/// Build and emit a textual report about a @ref function_type_diff.
///
/// @param d the @ref function_type_diff to consider.
///
/// @param out the output stream.
///
/// @param indent the indentation string to use.
void
default_reporter::report(const function_type_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  function_type_sptr fft = d.first_function_type();
  function_type_sptr sft = d.second_function_type();

  diff_context_sptr ctxt = d.context();
  corpus_sptr fc = ctxt->get_first_corpus();
  corpus_sptr sc = ctxt->get_second_corpus();

  // Report about return type differences.
  if (d.priv_->return_type_diff_
      && d.priv_->return_type_diff_->to_be_reported())
    {
      out << indent << "return type changed:\n";
      d.priv_->return_type_diff_->report(out, indent + "  ");
    }

  // Report about the parameter types that have changed sub-types.
  for (vector<fn_parm_diff_sptr>::const_iterator i =
     d.priv_->sorted_subtype_changed_parms_.begin();
       i != d.priv_->sorted_subtype_changed_parms_.end();
       ++i)
    {
      diff_sptr dif = *i;
      if (dif && dif->to_be_reported())
    dif->report(out, indent);
    }

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    report_local_function_type_changes(d, out, indent);
}

/// Report about the change carried by a @ref subrange_diff diff node
/// in a serialized form.
///
/// @param d the diff node to consider.
///
/// @param out the output stream to report to.
///
/// @param indent the indentation string to use in the report.
void
default_reporter::report(const subrange_diff& d, std::ostream& out,
             const std::string& indent) const
{
  if (!diff_to_be_reported(&d))
    return;

  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER3(d.first_subrange(),
                            d.second_subrange(),
                            "range type");

  represent(d, d.context(), out,indent, /*local_only=*/false);
}

/// Report a @ref array_diff in a serialized form.
///
/// @param d the @ref array_diff to consider.
///
/// @param out the output stream to serialize the dif to.
///
/// @param indent the string to use for indenting the report.
void
default_reporter::report(const array_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  string name = d.first_array()->get_pretty_representation();
  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER3(d.first_array(),
                            d.second_array(),
                            "array type");

  diff_sptr dif = d.element_type_diff();
  if (dif->to_be_reported())
    {
      string fn = ir::get_pretty_representation(is_type(dif->first_subject()));
      // report array element type changes
      out << indent << "array element type '"
      << fn << "' changed:\n";
      dif->report(out, indent + "  ");
    }

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    report_name_size_and_alignment_changes(d.first_array(),
                       d.second_array(),
                       d.context(),
                       out, indent);

  if (d.any_subrange_diff_to_be_reported())
    {
      int subrange_index = 0;
      for (const auto& subrange_diff : d.subrange_diffs())
    {
      ++subrange_index;
      if (subrange_diff->to_be_reported())
        {
          out << indent << "array subrange ";
          if (d.subrange_diffs().size() > 1)
        out << subrange_index << " ";
          out  << "changed: \n";
          subrange_diff->report(out, indent + "  ");
        }
    }
    }

}

/// Generates a report for an intance of @ref base_diff.
///
/// @param d the @ref base_diff to consider.
///
/// @param out the output stream to send the report to.
///
/// @param indent the string to use for indentation.
void
default_reporter::report(const base_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  class_decl::base_spec_sptr f = d.first_base(), s = d.second_base();
  string repr = f->get_base_class()->get_pretty_representation();
  bool emitted = false;

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    {
      if (f->get_is_static() != s->get_is_static())
    {
      if (f->get_is_static())
        out << indent << "is no more static";
      else
        out << indent << "now becomes static";
      emitted = true;
    }

      if ((d.context()->get_allowed_category() & ACCESS_CHANGE_CATEGORY)
      && (f->get_access_specifier() != s->get_access_specifier()))
    {
      if (emitted)
        out << ", ";

      out << "has access changed from '"
          << f->get_access_specifier()
          << "' to '"
          << s->get_access_specifier()
          << "'";

      emitted = true;
    }
    }
  if (class_diff_sptr dif = d.get_underlying_class_diff())
    {
      if (dif->to_be_reported())
    {
      if (emitted)
        out << "\n";
      dif->report(out, indent);
    }
    }
}

/// Report the changes carried by a @ref scope_diff.
///
/// @param d the @ref scope_diff to consider.
///
/// @param out the out stream to report the changes to.
///
/// @param indent the string to use for indentation.
void
default_reporter::report(const scope_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  // Report changed types.
  unsigned num_changed_types = d.changed_types().size();
  if (num_changed_types == 0)
    ;
  else if (num_changed_types == 1)
    out << indent << "1 changed type:\n";
  else
    out << indent << num_changed_types << " changed types:\n";

  for (diff_sptrs_type::const_iterator dif = d.changed_types().begin();
       dif != d.changed_types().end();
       ++dif)
    {
      if (!*dif)
    continue;

      out << indent << "  '"
      << (*dif)->first_subject()->get_pretty_representation()
      << "' changed:\n";
      (*dif)->report(out, indent + "    ");
    }

  // Report changed decls
  unsigned num_changed_decls = d.changed_decls().size();
  if (num_changed_decls == 0)
    ;
  else if (num_changed_decls == 1)
    out << indent << "1 changed declaration:\n";
  else
    out << indent << num_changed_decls << " changed declarations:\n";

  for (diff_sptrs_type::const_iterator dif= d.changed_decls().begin();
       dif != d.changed_decls().end ();
       ++dif)
    {
      if (!*dif)
    continue;

      out << indent << "  '"
      << (*dif)->first_subject()->get_pretty_representation()
      << "' was changed to '"
      << (*dif)->second_subject()->get_pretty_representation() << "'";
      report_loc_info((*dif)->second_subject(), *d.context(), out);
      out << ":\n";

      (*dif)->report(out, indent + "    ");
    }

  // Report removed types/decls
  for (string_decl_base_sptr_map::const_iterator i =
     d.priv_->deleted_types_.begin();
       i != d.priv_->deleted_types_.end();
       ++i)
    out << indent
    << "  '"
    << i->second->get_pretty_representation()
    << "' was removed\n";

  if (d.priv_->deleted_types_.size())
    out << "\n";

  for (string_decl_base_sptr_map::const_iterator i =
     d.priv_->deleted_decls_.begin();
       i != d.priv_->deleted_decls_.end();
       ++i)
    out << indent
    << "  '"
    << i->second->get_pretty_representation()
    << "' was removed\n";

  if (d.priv_->deleted_decls_.size())
    out << "\n";

  // Report added types/decls
  bool emitted = false;
  for (string_decl_base_sptr_map::const_iterator i =
     d.priv_->inserted_types_.begin();
       i != d.priv_->inserted_types_.end();
       ++i)
    {
      // Do not report about type_decl as these are usually built-in
      // types.
      if (dynamic_pointer_cast<type_decl>(i->second))
    continue;
      out << indent
      << "  '"
      << i->second->get_pretty_representation()
      << "' was added\n";
      emitted = true;
    }

  if (emitted)
    out << "\n";

  emitted = false;
  for (string_decl_base_sptr_map::const_iterator i =
     d.priv_->inserted_decls_.begin();
       i != d.priv_->inserted_decls_.end();
       ++i)
    {
      // Do not report about type_decl as these are usually built-in
      // types.
      if (dynamic_pointer_cast<type_decl>(i->second))
    continue;
      out << indent
      << "  '"
      << i->second->get_pretty_representation()
      << "' was added\n";
      emitted = true;
    }

  if (emitted)
    out << "\n";
}

/// Report the changes carried by a @ref class_or_union_diff node in a
/// textual format.
///
/// @param d the @ref class_or_union_diff node to consider.
///
/// @param out the output stream to write the textual report to.
///
/// @param indent the number of white space to use as indentation.
void
default_reporter::report(const class_or_union_diff& d,
             ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  class_or_union_sptr first = d.first_class_or_union(),
    second = d.second_class_or_union();

  const diff_context_sptr& ctxt = d.context();

  // Report class decl-only <-> definition change.
  if (ctxt->get_allowed_category() & TYPE_DECL_ONLY_DEF_CHANGE_CATEGORY)
    if (filtering::has_class_decl_only_def_change(first, second))
      {
    string was =
      first->get_is_declaration_only()
      ? " was a declaration-only type"
      : " was a defined type";

    string is_now =
      second->get_is_declaration_only()
      ? " and is now a declaration-only type"
      : " and is now a defined type";

    out << indent << "type " << first->get_pretty_representation()
        << was << is_now << "\n";
    return;
      }

  // member functions
  if (d.member_fns_changes())
    {
      // report deletions
      int numdels = d.get_priv()->deleted_member_functions_.size();
      size_t num_filtered =
    d.get_priv()->count_filtered_deleted_mem_fns(ctxt);
      if (numdels)
    report_mem_header(out, numdels, num_filtered, del_kind,
              "member function", indent);
      for (class_or_union::member_functions::const_iterator i =
         d.get_priv()->sorted_deleted_member_functions_.begin();
       i != d.get_priv()->sorted_deleted_member_functions_.end();
       ++i)
    {
      if (!(ctxt->get_allowed_category()
        & NON_VIRT_MEM_FUN_CHANGE_CATEGORY)
          && !get_member_function_is_virtual(*i))
        continue;

      method_decl_sptr mem_fun = *i;
      out << indent << "  ";
      represent(*ctxt, mem_fun, out);
    }

      // report insertions;
      int numins = d.get_priv()->inserted_member_functions_.size();
      num_filtered = d.get_priv()->count_filtered_inserted_mem_fns(ctxt);
      if (numins)
    report_mem_header(out, numins, num_filtered, ins_kind,
              "member function", indent);
      for (class_or_union::member_functions::const_iterator i =
         d.get_priv()->sorted_inserted_member_functions_.begin();
       i != d.get_priv()->sorted_inserted_member_functions_.end();
       ++i)
    {
      if (!(ctxt->get_allowed_category()
        & NON_VIRT_MEM_FUN_CHANGE_CATEGORY)
          && !get_member_function_is_virtual(*i))
        continue;

      method_decl_sptr mem_fun = *i;
      out << indent << "  ";
      represent(*ctxt, mem_fun, out);
    }

      // report member function with sub-types changes
      int numchanges = d.get_priv()->sorted_changed_member_functions_.size();
      num_filtered = d.get_priv()->count_filtered_changed_mem_fns(ctxt);
      if (numchanges)
    report_mem_header(out, numchanges, num_filtered, change_kind,
              "member function", indent);
      for (function_decl_diff_sptrs_type::const_iterator i =
         d.get_priv()->sorted_changed_member_functions_.begin();
       i != d.get_priv()->sorted_changed_member_functions_.end();
       ++i)
    {
      if (!(ctxt->get_allowed_category()
        & NON_VIRT_MEM_FUN_CHANGE_CATEGORY)
          && !(get_member_function_is_virtual
           ((*i)->first_function_decl()))
          && !(get_member_function_is_virtual
           ((*i)->second_function_decl())))
        continue;

      diff_sptr diff = *i;
      if (!diff || !diff->to_be_reported())
        continue;

      string repr =
        (*i)->first_function_decl()->get_pretty_representation();
      out << indent << "  '" << repr << "' has some sub-type changes:\n";
      diff->report(out, indent + "    ");
    }
    }

  // data members
  if (d.data_members_changes())
    {
      // report deletions
      int numdels = d.class_or_union_diff::get_priv()->
    get_deleted_non_static_data_members_number();
      if (numdels)
    {
      report_mem_header(out, numdels, 0, del_kind,
                "data member", indent);
      vector<decl_base_sptr> sorted_dms;
      sort_data_members
        (d.class_or_union_diff::get_priv()->deleted_data_members_,
         sorted_dms);
      for (vector<decl_base_sptr>::const_iterator i = sorted_dms.begin();
           i != sorted_dms.end();
           ++i)
        {
          var_decl_sptr data_mem =
        dynamic_pointer_cast<var_decl>(*i);
          ABG_ASSERT(data_mem);
          if (get_member_is_static(data_mem))
        continue;
          represent_data_member(data_mem, ctxt, out, indent + "  ");
        }
    }

      //report insertions
      int numins =
    d.class_or_union_diff::get_priv()->inserted_data_members_.size();
      if (numins)
    {
      report_mem_header(out, numins, 0, ins_kind,
                "data member", indent);
      vector<decl_base_sptr> sorted_dms;
      sort_data_members
        (d.class_or_union_diff::get_priv()->inserted_data_members_,
         sorted_dms);
      for (vector<decl_base_sptr>::const_iterator i = sorted_dms.begin();
           i != sorted_dms.end();
           ++i)
        {
          var_decl_sptr data_mem =
        dynamic_pointer_cast<var_decl>(*i);
          ABG_ASSERT(data_mem);
          represent_data_member(data_mem, ctxt, out, indent + "  ");
        }
    }

      // report change
      size_t num_changes =
    (d.sorted_subtype_changed_data_members().size()
     + d.sorted_changed_data_members().size());

      size_t num_changes_filtered =
    (d.count_filtered_subtype_changed_data_members()
     + d.count_filtered_changed_data_members());

      if (num_changes)
    {
      report_mem_header(out, num_changes, num_changes_filtered,
                change_kind, "data member", indent);

      for (var_diff_sptrs_type::const_iterator it =
         d.sorted_changed_data_members().begin();
           it != d.sorted_changed_data_members().end();
           ++it)
        if ((*it)->to_be_reported())
          represent(*it, ctxt, out, indent + "  ");

      for (var_diff_sptrs_type::const_iterator it =
         d.sorted_subtype_changed_data_members().begin();
           it != d.sorted_subtype_changed_data_members().end();
           ++it)
        if ((*it)->to_be_reported())
          represent(*it, ctxt, out, indent + "  ");
    }

      // Report about data members replaced by an anonymous union data
      // member.
      maybe_report_data_members_replaced_by_anon_dm(d, out, indent);
    }

  // member types
  if (const edit_script& e = d.member_types_changes())
    {
      int numchanges =
    d.class_or_union_diff::get_priv()->sorted_changed_member_types_.size();
      int numdels =
    d.class_or_union_diff::get_priv()->deleted_member_types_.size();

      // report deletions
      if (numdels)
    {
      report_mem_header(out, numdels, 0, del_kind,
                "member type", indent);

      for (string_decl_base_sptr_map::const_iterator i =
         d.class_or_union_diff::get_priv()->deleted_member_types_.begin();
           i != d.class_or_union_diff::get_priv()->deleted_member_types_.end();
           ++i)
        {
          decl_base_sptr mem_type = i->second;
          out << indent << "  '"
          << mem_type->get_pretty_representation()
          << "'\n";
        }
      out << "\n";
    }
      // report changes
      if (numchanges)
    {
      report_mem_header(out, numchanges, 0, change_kind,
                "member type", indent);

      for (diff_sptrs_type::const_iterator it =
         d.class_or_union_diff::get_priv()->sorted_changed_member_types_.begin();
           it != d.class_or_union_diff::get_priv()->sorted_changed_member_types_.end();
           ++it)
        {
          if (!(*it)->to_be_reported())
        continue;

          type_or_decl_base_sptr o = (*it)->first_subject();
          type_or_decl_base_sptr n = (*it)->second_subject();
          out << indent << "  '"
          << o->get_pretty_representation()
          << "' changed ";
          report_loc_info(n, *ctxt, out);
          out << ":\n";
          (*it)->report(out, indent + "    ");
        }
      out << "\n";
    }

      // report insertions
      int numins = e.num_insertions();
      ABG_ASSERT(numchanges <= numins);
      numins -= numchanges;

      if (numins)
    {
      report_mem_header(out, numins, 0, ins_kind,
                "member type", indent);

      for (vector<insertion>::const_iterator i = e.insertions().begin();
           i != e.insertions().end();
           ++i)
        {
          type_base_sptr mem_type;
          for (vector<unsigned>::const_iterator j =
             i->inserted_indexes().begin();
           j != i->inserted_indexes().end();
           ++j)
        {
          mem_type = second->get_member_types()[*j];
          if (!d.class_or_union_diff::get_priv()->
              member_type_has_changed(get_type_declaration(mem_type)))
            {
              out << indent << "  '"
              << get_type_declaration(mem_type)->
            get_pretty_representation()
              << "'\n";
            }
        }
        }
      out << "\n";
    }
    }

  // member function templates
  if (const edit_script& e = d.member_fn_tmpls_changes())
    {
      // report deletions
      int numdels = e.num_deletions();
      if (numdels)
    report_mem_header(out, numdels, 0, del_kind,
              "member function template", indent);
      for (vector<deletion>::const_iterator i = e.deletions().begin();
       i != e.deletions().end();
       ++i)
    {
      member_function_template_sptr mem_fn_tmpl =
        first->get_member_function_templates()[i->index()];
      out << indent << "  '"
          << mem_fn_tmpl->as_function_tdecl()->get_pretty_representation()
          << "'\n";
    }

      // report insertions
      int numins = e.num_insertions();
      if (numins)
    report_mem_header(out, numins, 0, ins_kind,
              "member function template", indent);
      for (vector<insertion>::const_iterator i = e.insertions().begin();
       i != e.insertions().end();
       ++i)
    {
      member_function_template_sptr mem_fn_tmpl;
      for (vector<unsigned>::const_iterator j =
         i->inserted_indexes().begin();
           j != i->inserted_indexes().end();
           ++j)
        {
          mem_fn_tmpl = second->get_member_function_templates()[*j];
          out << indent << "  '"
          << mem_fn_tmpl->as_function_tdecl()->
        get_pretty_representation()
          << "'\n";
        }
    }
    }

  // member class templates.
  if (const edit_script& e = d.member_class_tmpls_changes())
    {
      // report deletions
      int numdels = e.num_deletions();
      if (numdels)
    report_mem_header(out, numdels, 0, del_kind,
              "member class template", indent);
      for (vector<deletion>::const_iterator i = e.deletions().begin();
       i != e.deletions().end();
       ++i)
    {
      member_class_template_sptr mem_cls_tmpl =
        first->get_member_class_templates()[i->index()];
      out << indent << "  '"
          << mem_cls_tmpl->as_class_tdecl()->get_pretty_representation()
          << "'\n";
    }

      // report insertions
      int numins = e.num_insertions();
      if (numins)
    report_mem_header(out, numins, 0, ins_kind,
              "member class template", indent);
      for (vector<insertion>::const_iterator i = e.insertions().begin();
       i != e.insertions().end();
       ++i)
    {
      member_class_template_sptr mem_cls_tmpl;
      for (vector<unsigned>::const_iterator j =
         i->inserted_indexes().begin();
           j != i->inserted_indexes().end();
           ++j)
        {
          mem_cls_tmpl = second->get_member_class_templates()[*j];
          out << indent << "  '"
          << mem_cls_tmpl->as_class_tdecl()
        ->get_pretty_representation()
          << "'\n";
        }
    }
    }
}

/// Produce a basic report about the changes carried by a @ref
/// class_diff node.
///
/// @param d the @ref class_diff node to consider.
///
/// @param out the output stream to report the changes to.
///
/// @param indent the string to use as an indentation prefix in the
/// report.
void
default_reporter::report(const class_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  string name = d.first_subject()->get_pretty_representation();

  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER(d.first_subject(),
                           d.second_subject());

  d.currently_reporting(true);

  // Now report the changes about the differents parts of the type.
  class_decl_sptr first = d.first_class_decl(),
    second = d.second_class_decl();

  report_name_size_and_alignment_changes(first, second, d.context(),
                     out, indent);

  const diff_context_sptr& ctxt = d.context();
  maybe_report_diff_for_member(first, second, ctxt, out, indent);

  // bases classes
  if (d.base_changes())
    {
      // Report deletions.
      int numdels = d.get_priv()->deleted_bases_.size();
      size_t numchanges = d.get_priv()->sorted_changed_bases_.size();

      if (numdels)
    {
      report_mem_header(out, numdels, 0, del_kind,
                "base class", indent);

      for (class_decl::base_specs::const_iterator i
         = d.get_priv()->sorted_deleted_bases_.begin();
           i != d.get_priv()->sorted_deleted_bases_.end();
           ++i)
        {
          if (i != d.get_priv()->sorted_deleted_bases_.begin())
        out << "\n";

          class_decl::base_spec_sptr base = *i;

          if (d.get_priv()->base_has_changed(base))
        continue;
          out << indent << "  "
          << base->get_base_class()->get_pretty_representation();
          report_loc_info(base->get_base_class(), *d.context(), out);
        }
      out << "\n";
    }

      // Report changes.
      size_t num_filtered = d.get_priv()->count_filtered_bases();
      if (numchanges)
    {
      report_mem_header(out, numchanges, num_filtered, change_kind,
                "base class", indent);
      for (base_diff_sptrs_type::const_iterator it =
         d.get_priv()->sorted_changed_bases_.begin();
           it != d.get_priv()->sorted_changed_bases_.end();
           ++it)
        {
          base_diff_sptr diff = *it;
          if (!diff || !diff->to_be_reported())
        continue;

          class_decl::base_spec_sptr o = diff->first_base();
          out << indent << "  '"
          << o->get_base_class()->get_pretty_representation() << "'";
          report_loc_info(o->get_base_class(), *d.context(), out);
          out << " changed:\n";
          diff->report(out, indent + "    ");
        }
    }

      //Report insertions.
      int numins = d.get_priv()->inserted_bases_.size();
      if (numins)
    {
      report_mem_header(out, numins, 0, ins_kind,
                "base class", indent);

      for (class_decl::base_specs::const_iterator i =
         d.get_priv()->sorted_inserted_bases_.begin();
           i != d.get_priv()->sorted_inserted_bases_.end();
           ++i)
        {
          class_decl_sptr b = (*i)->get_base_class();
          out << indent << "  " << b->get_pretty_representation();
          report_loc_info(b, *ctxt, out);
          out << "\n";
        }
    }

      // Report base classes re-organisation
      maybe_report_base_class_reordering(d, out, indent);
    }

  d.class_or_union_diff::report(out, indent);

  d.currently_reporting(false);

  d.reported_once(true);
}

/// Produce a basic report about the changes carried by a @ref
/// union_diff node.
///
/// @param d the @ref union_diff node to consider.
///
/// @param out the output stream to report the changes to.
///
/// @param indent the string to use as an indentation prefix in the
/// report.
void
default_reporter::report(const union_diff& d, ostream& out,
             const string& indent) const
{
  RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER(d.first_subject(),
                           d.second_subject());

  d.currently_reporting(true);

  // Now report the changes about the differents parts of the type.
  union_decl_sptr first = d.first_union_decl(), second = d.second_union_decl();

  report_name_size_and_alignment_changes(first, second, d.context(),
                     out, indent);

  maybe_report_diff_for_member(first, second,d. context(), out, indent);

  d.class_or_union_diff::report(out, indent);

  if (d.context()->get_allowed_category() & HARMLESS_UNION_OR_CLASS_CHANGE_CATEGORY
      && filtering::union_diff_has_harmless_changes(&d))
    {
      // The user wants to see harmless changes and the union diff we
      // are looking at does carry some harmless changes.  Let's show
      // the "before" and "after" carried by the diff node.
      out << indent << "type changed from:\n"
      << get_class_or_union_flat_representation(first, indent + "  ",
                            /*one_line=*/true,
                            /*internal=*/false,
                            /*qualified_names=*/false)
      << "\n"
      << indent << "to:\n"
      << get_class_or_union_flat_representation(second, indent + "  ",
                            /*one_line=*/true,
                            /*internal=*/false,
                            /*qualified_names=*/false)
      << "\n";
    }

  d.currently_reporting(false);

  d.reported_once(true);
}

/// Emit a report about the changes carried by a @ref distinct_diff
/// node.
///
/// @param d the @ref distinct_diff node to consider.
///
/// @param out the output stream to send the diff report to.
///
/// @param indent the indentation string to use in the report.
void
default_reporter::report(const distinct_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  type_or_decl_base_sptr f = d.first(), s = d.second();

  string f_repr = f ? f->get_pretty_representation() : "'void'";
  string s_repr = s ? s->get_pretty_representation() : "'void'";

  diff_sptr diff = d.compatible_child_diff();

  string compatible = diff ? " to compatible type '": " to '";

  out << indent << "entity changed from '" << f_repr << "'"
      << compatible << s_repr << "'";
  report_loc_info(s, *d.context(), out);
  out << "\n";

  type_base_sptr fs = strip_typedef(is_type(f)),
    ss = strip_typedef(is_type(s));

  report_size_and_alignment_changes(f, s, d.context(), out, indent);
}

/// Serialize a report of the changes encapsulated in the current
/// instance of @ref function_decl_diff over to an output stream.
///
/// @param d the @ref function_decl_diff node to consider.
///
/// @param out the output stream to serialize the report to.
///
/// @param indent the string to use an an indentation prefix.
void
default_reporter::report(const function_decl_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  maybe_report_diff_for_member(d.first_function_decl(),
                   d.second_function_decl(),
                   d.context(), out, indent);

  function_decl_sptr ff = d.first_function_decl();
  function_decl_sptr sf = d.second_function_decl();

  diff_context_sptr ctxt = d.context();
  corpus_sptr fc = ctxt->get_first_corpus();
  corpus_sptr sc = ctxt->get_second_corpus();


  string qn1 = ff->get_qualified_name(), qn2 = sf->get_qualified_name(),
    linkage_names1, linkage_names2;
  elf_symbol_sptr s1 = ff->get_symbol(), s2 = sf->get_symbol();

  if (s1)
    linkage_names1 = s1->get_id_string();
  if (s2)
    linkage_names2 = s2->get_id_string();

  // If the symbols for ff and sf have aliases, get all the names of
  // the aliases;
  if (fc && s1)
    linkage_names1 =
      s1->get_aliases_id_string(fc->get_fun_symbol_map());
  if (sc && s2)
    linkage_names2 =
      s2->get_aliases_id_string(sc->get_fun_symbol_map());

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    {
      /// If the set of linkage names of the function have changed, report
      /// it.
      if (linkage_names1 != linkage_names2)
    {
      if (linkage_names1.empty())
        {
          out << indent << ff->get_pretty_representation()
          << " didn't have any linkage name, and it now has: '"
          << linkage_names2 << "'\n";
        }
      else if (linkage_names2.empty())
        {
          out << indent << ff->get_pretty_representation()
          << " did have linkage names '" << linkage_names1
          << "'\n"
          << indent << "but it doesn't have any linkage name anymore\n";
        }
      else
        out << indent << "linkage names of "
        << ff->get_pretty_representation()
        << "\n" << indent << "changed from '"
        << linkage_names1 << "' to '" << linkage_names2 << "'\n";
    }

      if (qn1 != qn2
      && d.type_diff()
      && d.type_diff()->to_be_reported())
    {
      // So the function has sub-type changes that are to be
      // reported.  Let's see if the function name changed too; if it
      // did, then we'd report that change right before reporting the
      // sub-type changes.
      string frep1 = d.first_function_decl()->get_pretty_representation(),
        frep2 = d.second_function_decl()->get_pretty_representation();
      out << indent << "'" << frep1 << " {" << linkage_names1<< "}"
          << "' now becomes '"
          << frep2 << " {" << linkage_names2 << "}" << "'\n";
    }

      maybe_report_diff_for_symbol(ff->get_symbol(),
                   sf->get_symbol(),
                   d.context(), out, indent);

      // Now report about inline-ness changes
      if (ff->is_declared_inline() != sf->is_declared_inline())
    {
      out << indent;
      if (ff->is_declared_inline())
        out << sf->get_pretty_representation()
        << " is not declared inline anymore\n";
      else
        out << sf->get_pretty_representation()
        << " is now declared inline\n";
    }

      // Report about vtable offset changes.
      if (is_member_function(ff) && is_member_function(sf))
    {
      bool ff_is_virtual = get_member_function_is_virtual(ff),
        sf_is_virtual = get_member_function_is_virtual(sf);
      if (ff_is_virtual != sf_is_virtual)
        {
          out << indent;
          if (ff_is_virtual)
        out << ff->get_pretty_representation()
            << " is no more declared virtual\n";
          else
        out << ff->get_pretty_representation()
            << " is now declared virtual\n";
        }

      size_t ff_vtable_offset = get_member_function_vtable_offset(ff),
        sf_vtable_offset = get_member_function_vtable_offset(sf);
      if (ff_is_virtual && sf_is_virtual
          && (ff_vtable_offset != sf_vtable_offset))
        {
          out << indent
          << "the vtable offset of "  << ff->get_pretty_representation()
          << " changed from " << ff_vtable_offset
          << " to " << sf_vtable_offset << "\n";
        }

      // the parent types (classe or union) of the two member
      // functions.
      class_or_union_sptr f =
        is_class_or_union_type(is_method_type(ff->get_type())->get_class_type());
      class_or_union_sptr s =
        is_class_or_union_type(is_method_type(sf->get_type())->get_class_type());

      class_decl_sptr fc = is_class_type(f);
      class_decl_sptr sc = is_class_type(s);

      // Detect if the virtual member function changes above
      // introduced a vtable change or not.
      bool vtable_added = false, vtable_removed = false;
      if (!f->get_is_declaration_only() && !s->get_is_declaration_only())
        {
          if (fc && sc)
        {
          vtable_added = !fc->has_vtable() && sc->has_vtable();
          vtable_removed = fc->has_vtable() && !sc->has_vtable();
        }
        }
      bool vtable_changed = ((ff_is_virtual != sf_is_virtual)
                 || (ff_vtable_offset != sf_vtable_offset));
      bool incompatible_change = (ff_vtable_offset != sf_vtable_offset);

      if (vtable_added)
        out << indent
        << "  note that a vtable was added to "
        << fc->get_pretty_representation()
        << "\n";
      else if (vtable_removed)
        out << indent
        << "  note that the vtable was removed from "
        << fc->get_pretty_representation()
        << "\n";
      else if (vtable_changed)
        {
          out << indent;
          if (incompatible_change)
        out << "  note that this is an ABI incompatible "
          "change to the vtable of ";
          else
        out << "  note that this induces a change to the vtable of ";
          out << fc->get_pretty_representation()
          << "\n";
        }

    }
    }

  // Report about function type differences.
  if (d.type_diff() && d.type_diff()->to_be_reported())
    d.type_diff()->report(out, indent);
}

/// Report the changes carried by a @ref var_diff node in a serialized
/// form.
///
/// @param d the @ref var_diff node to consider.
///
/// @param out the stream to serialize the diff to.
///
/// @param indent the prefix to use for the indentation of this
/// serialization.
void
default_reporter::report(const var_diff& d, ostream& out,
             const string& indent) const
{
  if (!d.to_be_reported())
    return;

  decl_base_sptr first = d.first_var(), second = d.second_var();
  string n = first->get_pretty_representation();

  if (!d.is_filtered_out_without_looking_at_allowed_changes())
    {
      report_name_size_and_alignment_changes(first, second,
                         d.context(),
                         out, indent);

      maybe_report_diff_for_symbol(d.first_var()->get_symbol(),
                   d.second_var()->get_symbol(),
                   d.context(), out, indent);

      maybe_report_diff_for_member(first, second, d.context(), out, indent);

      maybe_report_diff_for_variable(first, second, d.context(), out, indent);
    }

  if (diff_sptr dif = d.type_diff())
    {
      if (dif->to_be_reported())
    {
      RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif, "type");
      out << indent << "type of variable changed:\n";
      dif->report(out, indent + "  ");
    }
    }
}

/// Report the changes carried by a @ref translation_unit_diff node in
/// a serialized form.
///
/// @param d the @ref translation_unit_diff node to consider.
///
/// @param out the output stream to serialize the report to.
///
/// @param indent the prefix to use as indentation for the report.
void
default_reporter::report(const translation_unit_diff& d,
             ostream& out,
             const string& indent) const
{
  static_cast<const scope_diff&>(d).report(out, indent);
}

/// Report the changes carried by a @ref corpus_diff node in a
/// serialized form.
///
/// @param d the @ref corpus_diff node to consider.
///
/// @param out the output stream to serialize the report to.
///
/// @param indent the prefix to use as indentation for the report.
void
default_reporter::report(const corpus_diff& d, ostream& out,
             const string& indent) const
{
  const corpus_diff::diff_stats &s =
    const_cast<corpus_diff&>(d).
    apply_filters_and_suppressions_before_reporting();

  const diff_context_sptr& ctxt = d.context();

  d.priv_->emit_diff_stats(s, out, indent);
  if (ctxt->show_stats_only())
    return;
  out << "\n";

  if (ctxt->show_soname_change()
      && !d.priv_->sonames_equal_)
    out << indent << "SONAME changed from '"
    << d.first_corpus()->get_soname() << "' to '"
    << d.second_corpus()->get_soname() << "'\n\n";

  if (ctxt->show_architecture_change()
      && !d.priv_->architectures_equal_)
    out << indent << "architecture changed from '"
    << d.first_corpus()->get_architecture_name() << "' to '"
    << d.second_corpus()->get_architecture_name() << "'\n\n";

  /// Report removed/added/changed functions.
  if (ctxt->show_deleted_fns())
    {
      if (s.net_num_func_removed() == 1)
    out << indent << "1 Removed function:\n\n";
      else if (s.net_num_func_removed() > 1)
    out << indent << s.net_num_func_removed() << " Removed functions:\n\n";

      bool emitted = false;
      corpus::functions sorted_deleted_fns;
      sort_string_function_ptr_map(d.priv_->deleted_fns_, sorted_deleted_fns);
      for (auto f : sorted_deleted_fns)
    {
      if (d.priv_->deleted_function_is_suppressed(f))
        continue;

      out << indent
          << "  ";
      out << "[D] ";
      out << "'" << (f)->get_pretty_representation() << "'";
      if (ctxt->show_linkage_names())
        {
          out << "    {";
          show_linkage_name_and_aliases(out, "", *(f)->get_symbol(),
                        d.first_corpus()->get_fun_symbol_map());
          out << "}";
        }
      out << "\n";
      if (is_member_function(f) && get_member_function_is_virtual(f))
        {
          class_decl_sptr c =
        is_class_type(is_method_type(f->get_type())->get_class_type());
          out << indent
          << "    "
          << "note that this removes an entry from the vtable of "
          << c->get_pretty_representation()
          << "\n";
        }
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  if (size_t num_changed = s.num_func_with_incompatible_changes())
    {
      if (num_changed == 1)
    out << indent << "1 function with incompatible sub-type changes:\n\n";
      else if (num_changed > 1)
    out << indent << num_changed
        << " functions with incompatible sub-type changes:\n\n";

      sort_function_decl_diffs(const_cast<corpus_diff&>(d).
                   incompatible_changed_functions());
      for (auto& fn_diff : d.incompatible_changed_functions())
    if (fn_diff)
      emit_changed_fn_report(ctxt, fn_diff, out, indent);
    }

  if (ctxt->show_added_fns())
    {
      if (s.net_num_func_added() == 1)
    out << indent << "1 Added function:\n\n";
      else if (s.net_num_func_added() > 1)
    out << indent << s.net_num_func_added()
        << " Added functions:\n\n";
      bool emitted = false;
      corpus::functions sorted_added_fns;
      sort_string_function_ptr_map(d.priv_->added_fns_, sorted_added_fns);
      for (auto f : sorted_added_fns)
    {
      if (d.priv_->added_function_is_suppressed(f))
        continue;

      out
        << indent
        << "  ";
      out << "[A] ";
      out << "'"
          << f->get_pretty_representation()
          << "'";
      if (ctxt->show_linkage_names())
        {
          out << "    {";
          show_linkage_name_and_aliases
        (out, "", *f->get_symbol(),
         d.second_corpus()->get_fun_symbol_map());
          out << "}";
        }
      out << "\n";
      if (is_member_function(f) && get_member_function_is_virtual(f))
        {
          class_decl_sptr c =
        is_class_type(is_method_type(f->get_type())->get_class_type());
          out << indent
          << "    "
          << "note that this adds a new entry to the vtable of "
          << c->get_pretty_representation()
          << "\n";
        }
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  if (ctxt->show_changed_fns())
    if (size_t num_changed = s.net_num_non_incompatible_func_changed())
    {
      if (num_changed == 1)
    out << indent << "1 function with some indirect sub-type change:\n\n";
      else if (num_changed > 1)
    out << indent << num_changed
        << " functions with some indirect sub-type change:\n\n";

      vector<function_decl_diff_sptr> sorted_changed_fns;
      sort_string_function_decl_diff_sptr_map(d.priv_->changed_fns_map_,
                          sorted_changed_fns);
      for (auto& fn_diff : sorted_changed_fns)
    if (fn_diff && !filtering::has_incompatible_fn_or_var_change(fn_diff))
      emit_changed_fn_report(ctxt, fn_diff, out, indent,
                 /*indirect_changed_subtypes=*/true,
                 /*emit_redundant_fns=*/false);
      // Changed functions have extra spacing already. No new line here.
    }

  // Report removed/added/changed variables.
  if (ctxt->show_deleted_vars())
    {
      if (s.net_num_vars_removed() == 1)
    out << indent << "1 Removed variable:\n\n";
      else if (s.net_num_vars_removed() > 1)
    out << indent << s.net_num_vars_removed()
        << " Removed variables:\n\n";
      string n;
      bool emitted = false;
      corpus::variables sorted_deleted_vars;
      sort_string_var_ptr_map(d.priv_->deleted_vars_, sorted_deleted_vars);
      for (auto v : sorted_deleted_vars)
    {
      if (d.priv_->deleted_variable_is_suppressed(v))
        continue;

      n = v->get_pretty_representation();

      out << indent
          << "  ";
      out << "[D] ";
      out << "'"
          << n
          << "'";
      if (ctxt->show_linkage_names())
        {
          out << "    {";
          show_linkage_name_and_aliases(out, "", *v->get_symbol(),
                        d.first_corpus()->get_var_symbol_map());
          out << "}";
        }
      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  if (size_t num_changed = s.num_var_with_incompatible_changes())
    {
      if (num_changed == 1)
    out << indent << "1 variable with incompatible sub-type changes:\n\n";
      else if (num_changed  > 1)
    out << indent << num_changed
        << " variables with incompatible sub-type changes:\n\n";

      sort_var_diffs(const_cast<corpus_diff&>(d).
             incompatible_changed_variables());
      for (auto& var_diff : d.incompatible_changed_variables())
    if (var_diff)
      emit_changed_var_report(ctxt, var_diff, out, indent);
    }

  if (ctxt->show_added_vars())
    {
      if (s.net_num_vars_added() == 1)
    out << indent << "1 Added variable:\n\n";
      else if (s.net_num_vars_added() > 1)
    out << indent << s.net_num_vars_added()
        << " Added variables:\n\n";
      string n;
      bool emitted = false;
      corpus::variables sorted_added_vars;
      sort_string_var_ptr_map(d.priv_->added_vars_, sorted_added_vars);
      for (auto v : sorted_added_vars)
    {
      if (d.priv_->added_variable_is_suppressed(v))
        continue;

      n = v->get_pretty_representation();

      out << indent
          << "  ";
      out << "[A] ";
      out << "'" << n << "'";
      if (ctxt->show_linkage_names())
        {
          out << "    {";
          show_linkage_name_and_aliases(out, "", *v->get_symbol(),
                        d.second_corpus()->get_var_symbol_map());
          out << "}";
        }
      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  if (ctxt->show_changed_vars())
    if (size_t num_changed = s.net_num_non_incompatible_var_changed())
    {
      if (num_changed == 1)
    out << indent << "1 Changed variable:\n\n";
      else if (num_changed > 1)
    out << indent << num_changed
        << " Changed variables:\n\n";
      string n1, n2;

      for (auto& var_diff : d.priv_->sorted_changed_vars_)
    if (var_diff
        && !filtering::has_incompatible_fn_or_var_change(var_diff))
      emit_changed_var_report(ctxt, var_diff, out, indent);
      // Changed variables have extra spacing already. No new line here.
    }

  // Report removed function symbols not referenced by any debug info.
  if (ctxt->show_symbols_unreferenced_by_debug_info()
      && d.priv_->deleted_unrefed_fn_syms_.size())
    {
      if (s.net_num_removed_func_syms() == 1)
    out << indent
        << "1 Removed function symbol not referenced by debug info:\n\n";
      else if (s.net_num_removed_func_syms() > 0)
    out << indent
        << s.net_num_removed_func_syms()
        << " Removed function symbols not referenced by debug info:\n\n";

      bool emitted = false;
      vector<elf_symbol_sptr> sorted_deleted_unrefed_fn_syms;
      sort_string_elf_symbol_map(d.priv_->deleted_unrefed_fn_syms_,
                 sorted_deleted_unrefed_fn_syms);
      for (vector<elf_symbol_sptr>::const_iterator i =
         sorted_deleted_unrefed_fn_syms.begin();
       i != sorted_deleted_unrefed_fn_syms.end();
       ++i)
    {
      if (d.priv_->deleted_unrefed_fn_sym_is_suppressed((*i).get()))
        continue;

      out << indent << "  ";
      out << "[D] ";

      show_linkage_name_and_aliases(out, "", **i,
                    d.first_corpus()->get_fun_symbol_map());
      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  // Report added function symbols not referenced by any debug info.
  if (ctxt->show_symbols_unreferenced_by_debug_info()
      && ctxt->show_added_symbols_unreferenced_by_debug_info()
      && d.priv_->added_unrefed_fn_syms_.size())
    {
      if (s.net_num_added_func_syms() == 1)
    out << indent
        << "1 Added function symbol not referenced by debug info:\n\n";
      else if (s.net_num_added_func_syms() > 0)
    out << indent
        << s.net_num_added_func_syms()
        << " Added function symbols not referenced by debug info:\n\n";

      bool emitted = false;
      vector<elf_symbol_sptr> sorted_added_unrefed_fn_syms;
      sort_string_elf_symbol_map(d.priv_->added_unrefed_fn_syms_,
                 sorted_added_unrefed_fn_syms);
      for (vector<elf_symbol_sptr>::const_iterator i =
         sorted_added_unrefed_fn_syms.begin();
       i != sorted_added_unrefed_fn_syms.end();
       ++i)
    {
      if (d.priv_->added_unrefed_fn_sym_is_suppressed((*i).get()))
        continue;

      out << indent << "  ";
      out << "[A] ";
      show_linkage_name_and_aliases(out, "",
                    **i,
                    d.second_corpus()->get_fun_symbol_map());
      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  // Report removed variable symbols not referenced by any debug info.
  if (ctxt->show_symbols_unreferenced_by_debug_info()
      && d.priv_->deleted_unrefed_var_syms_.size())
    {
      if (s.net_num_removed_var_syms() == 1)
    out << indent
        << "1 Removed variable symbol not referenced by debug info:\n\n";
      else if (s.net_num_removed_var_syms() > 0)
    out << indent
        << s.net_num_removed_var_syms()
        << " Removed variable symbols not referenced by debug info:\n\n";

      bool emitted = false;
      vector<elf_symbol_sptr> sorted_deleted_unrefed_var_syms;
      sort_string_elf_symbol_map(d.priv_->deleted_unrefed_var_syms_,
                 sorted_deleted_unrefed_var_syms);
      for (vector<elf_symbol_sptr>::const_iterator i =
         sorted_deleted_unrefed_var_syms.begin();
       i != sorted_deleted_unrefed_var_syms.end();
       ++i)
    {
      if (d.priv_->deleted_unrefed_var_sym_is_suppressed((*i).get()))
        continue;

      out << indent << "  ";
      out << "[D] ";

      show_linkage_name_and_aliases
        (out, "", **i,
         d.first_corpus()->get_fun_symbol_map());

      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  // Report added variable symbols not referenced by any debug info.
  if (ctxt->show_symbols_unreferenced_by_debug_info()
      && ctxt->show_added_symbols_unreferenced_by_debug_info()
      && d.priv_->added_unrefed_var_syms_.size())
    {
      if (s.net_num_added_var_syms() == 1)
    out << indent
        << "1 Added variable symbol not referenced by debug info:\n\n";
      else if (s.net_num_added_var_syms() > 0)
    out << indent
        << s.net_num_added_var_syms()
        << " Added variable symbols not referenced by debug info:\n\n";

      bool emitted = false;
      vector<elf_symbol_sptr> sorted_added_unrefed_var_syms;
      sort_string_elf_symbol_map(d.priv_->added_unrefed_var_syms_,
                 sorted_added_unrefed_var_syms);
      for (vector<elf_symbol_sptr>::const_iterator i =
         sorted_added_unrefed_var_syms.begin();
       i != sorted_added_unrefed_var_syms.end();
       ++i)
    {
      if (d.priv_->added_unrefed_var_sym_is_suppressed((*i).get()))
        continue;

      out << indent << "  ";
      out << "[A] ";
      show_linkage_name_and_aliases(out, "", **i,
                    d.second_corpus()->get_fun_symbol_map());
      out << "\n";
      emitted = true;
    }
      if (emitted)
    out << "\n";
    }

  // Report added/removed/changed types not reacheable from public
  // interfaces.
  maybe_report_unreachable_type_changes(d, s, indent, out);

  d.priv_->maybe_dump_diff_tree();
}

} // end namespace comparison
}// end namespace libabigail