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

   1 --  { dg-do compile }
   2
   3 pragma Warnings (Off, "*bits of*unused");
   4 package warnstar is
   5    type r is record
   6       a : integer;
   7    end record;
   8
   9    for r use record
  10       a at 0 range 0 .. 1023;
  11    end record;
  12 end warnstar;