diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/access_discr.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/access_discr.adb | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/access_discr.adb b/gcc/testsuite/gnat.dg/access_discr.adb new file mode 100644 index 00000000000..4e61c2be661 --- /dev/null +++ b/gcc/testsuite/gnat.dg/access_discr.adb @@ -0,0 +1,22 @@ +-- { dg-do compile } + +procedure access_discr is + + type One; + + type Iface is limited interface; + type Base is tagged limited null record; + + type Two_Alone (Parent : access One) is limited null record; + type Two_Iface (Parent : access One) is limited new Iface with null record; + type Two_Base (Parent : access One) is new Base with null record; + + type One is record + TA : Two_Alone (One'Access); + TI : Two_Iface (One'Access); -- OFFENDING LINE + TB : Two_Base (One'Access); + end record; + +begin + null; +end; |