diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/late_overriding.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/late_overriding.adb | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/late_overriding.adb b/gcc/testsuite/gnat.dg/late_overriding.adb new file mode 100644 index 000000000..9fe5fc139 --- /dev/null +++ b/gcc/testsuite/gnat.dg/late_overriding.adb @@ -0,0 +1,15 @@ +-- { dg-do compile } + +procedure late_overriding is + package Pkg is + type I is interface; + procedure Meth (O : in I) is abstract; + type Root is abstract tagged null record; + type DT1 is abstract new Root and I with null record; + end Pkg; + use Pkg; + type DT2 is new DT1 with null record; + procedure Meth (X : DT2) is begin null; end; -- Test +begin + null; +end; |