gcc/testsuite/gnat.dg/warn31.ads

   1 pragma Restrictions (No_Exception_Propagation);
   2
   3 package 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
  20 end Warn31;