2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>

[official-gcc.git] / gcc / testsuite / gnat.dg / specs / gnati.ads

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