1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/warn10.ads b/gcc/testsuite/gnat.dg/warn10.ads
new file mode 100644
index 00000000000..01aa1e4b58a
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/warn10.ads
@@ -0,0 +1,11 @@
+with Warn10_Pkg; use Warn10_Pkg;
+
+package Warn10 is
+
+   type My_Driver is new Root with record
+      Extra : Natural;
+   end record;
+
+   procedure Do_Something(Driver : My_Driver);
+
+end Warn10;