gcc/testsuite/gnat.dg/loop_optimization17_pkg.ads

   1 package Loop_Optimization17_Pkg is
   2
   3    type vector is array (1..3) of Long_Float;
   4
   5    type Rec is
   6       record
   7          I : Integer;
   8          V1, V2 : Vector;
   9          S : Long_Float;
  10       end record;
  11
  12    for  Rec  use
  13       record
  14          I  at   0 range  0 .. 31;
  15          V1 at   4 range  0 .. 191;
  16          V2 at  28 range  0 .. 191;
  17          S  at  52 range  0 .. 63;
  18       end  record;
  19    for Rec'Alignment use 4;
  20    for Rec'Size use 480;
  21
  22    type Index_T is range 1 .. 5;
  23    type Arr is array (Index_T) of Rec;
  24
  25    Object : Arr;
  26
  27    function F (V : Vector) return Vector;
  28
  29 end Loop_Optimization17_Pkg;