1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/gnati.ads b/gcc/testsuite/gnat.dg/specs/gnati.ads
new file mode 100644
index 000000000..72eff6e2e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/gnati.ads
@@ -0,0 +1,13 @@
+--  { dg-do compile }
+--  { dg-options "-gnatI" }
+
+package gnati is
+   type j is range 1 .. 50;
+   for j'size use 1;
+   type n is new integer;
+   for n'alignment use -99;
+   type e is (a, b);
+   for e use (1, 1);
+   type r is record x : integer; end record;
+   for r use record x at 0 range 0 .. 0; end record;
+end gnati;