1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/ext1.ads b/gcc/testsuite/gnat.dg/ext1.ads
new file mode 100644
index 000000000..db58e284a
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/ext1.ads
@@ -0,0 +1,12 @@
+package ext1 is
+    type I_Smiley is interface;
+    procedure Set_Mood (Obj : out I_Smiley) is abstract;
+--      
+    type Smiley (Max : Positive) is abstract new I_Smiley with record
+       S : String (1 .. Max);
+    end record; 
+--      
+    type Regular_Smiley is new Smiley (3) with null record; 
+    overriding
+    procedure Set_Mood (Obj : out Regular_Smiley);
+end ext1;