1-- PR tree-optimization/71083
2package Loop_Optimization23_Pkg is
3  type Nibble is mod 2**4;
4  type Int24  is mod 2**24;
5  type StructA is record
6    a : Nibble;
7    b : Int24;
8  end record;
9  pragma Pack(StructA);
10  type StructB is record
11    a : Nibble;
12    b : StructA;
13  end record;
14  pragma Pack(StructB);
15  type ArrayOfStructB is array(0..100) of StructB;
16  procedure Foo (X : in out ArrayOfStructB);
17end Loop_Optimization23_Pkg;
18