[gcc r15-1162] Add testcase for PR ada/114708

[Eric Botcazou via Gcc-cvs]

https://gcc.gnu.org/g:e29af8de31ba4b73dcee82917c8cec60d53dfa82

commit r15-1162-ge29af8de31ba4b73dcee82917c8cec60d53dfa82
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Jun 10 12:12:21 2024 +0200

    Add testcase for PR ada/114708
    
    gcc/testsuite/
            PR ada/114708
            * gnat.dg/incomplete8.adb: New test.

Diff:
---
 gcc/testsuite/gnat.dg/incomplete8.adb | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gcc/testsuite/gnat.dg/incomplete8.adb 
b/gcc/testsuite/gnat.dg/incomplete8.adb
new file mode 100644
index 00000000000..63fef59e866
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/incomplete8.adb
@@ -0,0 +1,22 @@
+-- PR ada/114708
+-- Reported by Jere <jhb.c...@gmail.com>
+
+-- { dg-do compile }
+
+procedure Incomplete8 is
+
+  generic
+    type Element_Type(<>);
+  package Test_Incomplete_Formal is
+    type Element_Access is access Element_Type;
+  end Test_Incomplete_Formal;
+
+  type Node;
+
+  package P is new Test_Incomplete_Formal(Node);
+
+  type Node is limited null record;
+   
+begin
+  null;
+end;