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


1
2
3
4
5
6
7
8
9
10
11
12

--  { dg-do compile }

pragma Warnings (Off, "*bits of*unused");
package warnstar is
   type r is record
      a : integer;
   end record;
   
   for r use record
      a at 0 range 0 .. 1023;
   end record;
end warnstar;