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


1
2
3
4
5
6
7
8
9
10
11
12
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;