From c4e1af490c8355c715fe67a951426040991c4c75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20AMIARD?= <raph.amiard@gmail.com>
Date: Tue, 10 Sep 2019 23:30:04 +0200
Subject: [PATCH] P506-012: Add test for fully_qualified_name fix

---
 .../name_resolution/fqn_subunits/foo.ads      |  4 +++
 .../fqn_subunits/pkg-inner.adb                | 14 +++++++++
 .../name_resolution/fqn_subunits/pkg.adb      |  5 +++
 .../name_resolution/fqn_subunits/pkg.ads      | 31 +++++++++++++++++++
 .../name_resolution/fqn_subunits/test.out     |  4 +++
 .../name_resolution/fqn_subunits/test.yaml    |  3 ++
 6 files changed, 61 insertions(+)
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/foo.ads
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/pkg-inner.adb
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/pkg.adb
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/pkg.ads
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/test.out
 create mode 100644 ada/testsuite/tests/name_resolution/fqn_subunits/test.yaml

diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/foo.ads b/ada/testsuite/tests/name_resolution/fqn_subunits/foo.ads
new file mode 100644
index 000000000..e3683741a
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/foo.ads
@@ -0,0 +1,4 @@
+package Foo is
+   X : Integer;
+   Z : Integer;
+end Foo;
diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/pkg-inner.adb b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg-inner.adb
new file mode 100644
index 000000000..420d2f65e
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg-inner.adb
@@ -0,0 +1,14 @@
+separate (Pkg)
+package body Inner is
+
+   A : Integer;
+
+   procedure Proc is
+      Y : Integer := Pkg.Inner.A;
+      pragma Test_Statement;
+   begin
+      null;
+   end Proc;
+
+end Inner;
+
diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.adb b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.adb
new file mode 100644
index 000000000..c63bf6b0e
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.adb
@@ -0,0 +1,5 @@
+package body Pkg is
+
+   package body Inner is separate;
+
+end Pkg;
diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.ads b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.ads
new file mode 100644
index 000000000..80baf5e31
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/pkg.ads
@@ -0,0 +1,31 @@
+with Foo;
+
+package Pkg is
+
+   type Kikou is private;
+
+   package Inner is
+      type T is private;
+
+      use Foo;
+
+      procedure Proc;
+
+      Pouet : Integer;
+   private
+      type T is record
+         Obj : Integer;
+      end record;
+   end Inner;
+
+private
+   type Kikou is record
+      Lol : Integer;
+   end record;
+
+   Pouet : Integer;
+
+   Z : Float;
+
+   type T is null record;
+end Pkg;
diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/test.out b/ada/testsuite/tests/name_resolution/fqn_subunits/test.out
new file mode 100644
index 000000000..347e2c7f8
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/test.out
@@ -0,0 +1,4 @@
+Analyzing foo.ads
+#################
+
+Done.
diff --git a/ada/testsuite/tests/name_resolution/fqn_subunits/test.yaml b/ada/testsuite/tests/name_resolution/fqn_subunits/test.yaml
new file mode 100644
index 000000000..2db163930
--- /dev/null
+++ b/ada/testsuite/tests/name_resolution/fqn_subunits/test.yaml
@@ -0,0 +1,3 @@
+driver: name-resolution
+input_sources: [foo.ads]
+with_default_project: False