diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/interface1.adb')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/interface1.adb | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/interface1.adb b/gcc-4.9/gcc/testsuite/gnat.dg/interface1.adb new file mode 100644 index 000000000..b22b94959 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/interface1.adb @@ -0,0 +1,23 @@ +-- { dg-do run } + +with System; +procedure Interface1 is + package Pkg is + type I1 is interface; + type Root is tagged record + Data : string (1 .. 300); + end record; + type DT is new Root and I1 with null record; + end Pkg; + use Pkg; + use type System.Address; + Obj : DT; + procedure IW (O : I1'Class) is + begin + if O'Address /= Obj'Address then + raise Program_Error; + end if; + end IW; +begin + IW (Obj); +end Interface1; |