gcc-4.9/gcc/testsuite/gnat.dg/aliasing3.adb


1
2
3
4
5
6
7
8
9
10

-- { dg-do run }
-- { dg-options "-O2 -gnatn" }

with Aliasing3_Pkg; use Aliasing3_Pkg;

procedure Aliasing3 is
begin
  Pointer.A(1) := 5;
  Test (Block.A);
end;