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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do run }

procedure capture_value is
   x : integer := 0;
begin
   declare
      z : integer renames x;
   begin
      z := 3;
      x := 5;
      z := z + 1;
      if z /= 6 then
         raise Program_Error;
      end if;
   end;
end;