1pragma Restrictions (No_Exception_Propagation);
2
3package Warn31 is
4
5   type U16 is mod 2 ** 16;
6   type U32 is mod 2 ** 32;
7
8   type Pair is record
9      X, Y : U16;
10   end record;
11   for Pair'Alignment use U32'Alignment;
12
13   Blob : array (1 .. 2) of Pair;
14
15   Sum : array (1 .. 2) of U32;
16   for Sum'Address use Blob'Address;
17
18   procedure Dummy;
19
20end Warn31;