C++ Ada namespace identity

/* { dg-do compile } */
/* { dg-options "-fdump-ada-spec-slim" } */
/* { dg-final { scan-file namespace_identity_c.ads "package first is" } } */
/* { dg-final { scan-file namespace_identity_c.ads "package inner is" } } */
/* { dg-final { scan-file namespace_identity_c.ads "function transform \(value : Item\) return Item" } } */
/* { dg-final { scan-file namespace_identity_c.ads "package Class_Object is" } } */
/* { dg-final { scan-file namespace_identity_c.ads "package a_b is" } } */
/* { dg-final { scan-file namespace_identity_c.ads "package a is" } } */
/* { dg-final { scan-file namespace_identity_c.ads "type Again is record" } } */
/* { dg-final { scan-file-not namespace_identity_c.ads "package :: is" } } */

namespace first::inner
{
  struct Item { int value; };
  Item transform (Item value) { value.value += 1; return value; }

  class Object
  {
  public:
    int get () const;
  private:
    int value_;
  };
}

namespace second::inner
{
  struct Item { double value; };
  Item transform (Item value) { value.value += 2.0; return value; }

  class Object
  {
  public:
    int get () const;
  private:
    double value_;
  };
}

namespace a_b
{
  struct Marker { int value; };
}

namespace a::b
{
  struct Marker { double value; };
}

namespace first::inner
{
  struct Again { long value; };
}

using First_Item = first::inner::Item;
using Second_Item = second::inner::Item;

extern "C" int namespace_identity_oracle () { return 73; }

/* { dg-final { cleanup-ada-spec } } */

with Namespace_Identity_C;
with Interfaces.C; use Interfaces.C;

procedure Namespace_Identity_Consumer is
   package Bindings renames Namespace_Identity_C;
   First : Bindings.first.inner.Item := (value => 11);
   Second : Bindings.second.inner.Item := (value => 13.0);
   Flat : Bindings.a_b.Marker := (value => 17);
   Nested : Bindings.a.b.Marker := (value => 19.0);
   Reopened : Bindings.first.inner.Again := (value => 23);
begin
   if Bindings.namespace_identity_oracle /= 73
     or else First.value /= 11
     or else Second.value /= 13.0
     or else Flat.value /= 17
     or else Nested.value /= 19.0
     or else Reopened.value /= 23
   then
      raise Program_Error with "nested namespace package mapping failed";
   end if;
end Namespace_Identity_Consumer;

#!/usr/bin/env bash
set -euo pipefail

if [[ $# -ne 3 ]]; then
  echo "usage: $0 TOOLCHAIN_ROOT GCC_VERSION unpatched|patched" >&2
  exit 2
fi

root=$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)
source "$root/scripts/regression-common.sh"
resolve_regression_toolchain "$1"
version=$2
state=$3
[[ "$state" == unpatched || "$state" == patched ]] || {
  echo "error: state must be unpatched or patched" >&2
  exit 2
}

gxx="$REGRESSION_TOOLCHAIN/bin/g++"
[[ -x "$gxx" ]] || {
  echo "error: no g++ in $REGRESSION_TOOLCHAIN" >&2
  exit 1
}

cxx_fixture="$root/bundles/cxx-ada-namespace-identity/tests/namespace-identity.C"
ada_fixture="$root/bundles/cxx-ada-namespace-identity/tests/namespace_identity_consumer.adb"
work=$(mktemp -d "${TMPDIR:-/tmp}/gnat-cxx-ada-namespace-test.XXXXXX")
trap 'rm -rf "$work"' EXIT

for optimization in 0 2; do
  case_dir="$work/O$optimization"
  mkdir -p "$case_dir"
  cp "$cxx_fixture" "$ada_fixture" "$case_dir/"
  (
    cd "$case_dir"
    "${REGRESSION_ENV[@]}" "$gxx" -c "-O$optimization" \
      -fdump-ada-spec-slim namespace-identity.C
  )

  spec="$case_dir/namespace_identity_c.ads"
  set +e
  (
    cd "$case_dir"
    "${REGRESSION_ENV[@]}" "$REGRESSION_GNATMAKE" -q -f \
      "-O$optimization" namespace_identity_consumer.adb \
      -largs namespace-identity.o -lstdc++
    "${REGRESSION_ENV[@]}" ./namespace_identity_consumer
  ) >"$case_dir/build.log" 2>&1
  build_status=$?
  set -e

  if [[ "$state" == unpatched ]]; then
    [[ $build_status -ne 0 ]] || {
      echo "error: unpatched namespace regression unexpectedly compiled" >&2
      exit 1
    }
    grep -Eiq 'conflicts with declaration|duplicate|already declared' \
      "$case_dir/build.log" || {
      cat "$case_dir/build.log"
      exit 1
    }
    echo "cxx-ada-namespace-identity -O$optimization: expected collision (GCC $version)"
    continue
  fi

  [[ $build_status -eq 0 ]] || {
    cat "$case_dir/build.log"
    exit 1
  }
  grep -F "package first is" "$spec"
  grep -F "package inner is" "$spec"
  grep -F "function transform (value : Item) return Item" "$spec"
  grep -F "package Class_Object is" "$spec"
  grep -F "package a_b is" "$spec"
  grep -F "package a is" "$spec"
  grep -F "type Again is record" "$spec"
  if grep -Fq "package :: is" "$spec"; then
    echo "error: global C++ namespace was emitted as an Ada package" >&2
    exit 1
  fi
  echo "cxx-ada-namespace-identity -O$optimization: patched (GCC $version)"
done