view gcc/testsuite/gnat.dg/specs/warnstar.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

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