summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/capture_value.adb
blob: 10272a49ae14e9b24343221608887bd0c9973c92 (plain)
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;