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


1
2
3
4
5
6
7
8
9
10

package body Aliasing3_Pkg is

  procedure Test (A : Arr) is
  begin
    if A(1) /= 5 then
      raise Program_Error;
    end if;
  end;

end Aliasing3_Pkg;