1-- { dg-do run }
2-- { dg-options "-O2 -gnatn" }
3
4with Aliasing3_Pkg; use Aliasing3_Pkg;
5
6procedure Aliasing3 is
7begin
8  Pointer.A(1) := 5;
9  Test (Block.A);
10end;
11