gcc/testsuite/gnat.dg/aggr30.ads


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

with Interfaces;

package Aggr30 is

   type Data_Type is array (1 .. 4) of Interfaces.Unsigned_8;

   type Padding_Type is array (5 .. 4096) of Interfaces.Unsigned_8;

   type Rec is record
      Data    : Data_Type;
      Padding : Padding_Type;
   end record;

   procedure Init;

   procedure Init_Volatile;

private

   Instance : Rec;

   Instance_Volatile : Rec;
   pragma Volatile (Instance_Volatile);

end Aggr30;