gnati.ads

来自「用于进行gcc测试」· ADS 代码 · 共 14 行

--  { 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;