gcc/testsuite/gnat.dg/specs/gnati.ads

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatI" }
   3
   4 package gnati is
   5    type j is range 1 .. 50;
   6    for j'size use 1;
   7    type n is new integer;
   8    for n'alignment use -99;
   9    type e is (a, b);
  10    for e use (1, 1);
  11    type r is record x : integer; end record;
  12    for r use record x at 0 range 0 .. 0; end record;
  13 end gnati;