summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/pr34799.ads
blob: 7d06049d07f35bf769d7980210ff1bbd0c60cc33 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
-- { dg-do compile }
-- { dg-options "-gnatwa" }

package PR34799 is
   generic
      type Custom_T is private;
   package Handler is
      type Storage_T is record
         A : Boolean;
         B : Boolean;
         C : Custom_T;
      end record;

      for Storage_T use record
         A at 0 range 0..0;
         B at 1 range 0..0;
      end record;
   end Handler;
end PR34799;