Add testcase for PR ada/114708

gcc/testsuite/
	PR ada/114708
	* gnat.dg/incomplete8.adb: New test.
This commit is contained in:
Eric Botcazou 2024-06-10 12:12:21 +02:00
parent e1c1f128d1
commit e29af8de31

View File

@ -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;