diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-06-10 12:12:21 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2024-06-10 12:14:18 +0200 |
| commit | e29af8de31ba4b73dcee82917c8cec60d53dfa82 (patch) | |
| tree | 29ac3607da4d27eb10f9de1195935235af558efe /gcc | |
| parent | e1c1f128d1c1e1f548cbae4eb014e455cfdfccc8 (diff) | |
| download | gcc-e29af8de31ba4b73dcee82917c8cec60d53dfa82.zip gcc-e29af8de31ba4b73dcee82917c8cec60d53dfa82.tar.gz gcc-e29af8de31ba4b73dcee82917c8cec60d53dfa82.tar.bz2 | |
Add testcase for PR ada/114708
gcc/testsuite/
PR ada/114708
* gnat.dg/incomplete8.adb: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gnat.dg/incomplete8.adb | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/incomplete8.adb b/gcc/testsuite/gnat.dg/incomplete8.adb new file mode 100644 index 0000000..63fef59 --- /dev/null +++ b/gcc/testsuite/gnat.dg/incomplete8.adb @@ -0,0 +1,22 @@ +-- PR ada/114708 +-- Reported by Jere <jhb.chat@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; |