aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/specs/aggr6.ads
blob: 8144105a55c49692573ec93a3dfc026a07db9d82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
-- { dg-do compile }

package Aggr6 is

  type B15_T is mod 2 ** 15;
  for B15_T'Size use 15;
  for B15_T'Alignment use 1;

  type B17_T is mod 2 ** 17;
  for B17_T'Size use 17;
  for B17_T'Alignment use 1;

  type Rec_T is record
    A : B17_T;
    B : B15_T;
  end record;
  for Rec_T use record
    A at 0 range 0 .. 16;
    B at 0 range 17 .. 31;
  end record;
  for Rec_T'Size use 32;

  C : constant Rec_T := (A => 1, B => 0);

end Aggr6;