gcc/testsuite/gnat.dg/capture_value.adb

   1 -- { dg-do run }
   2
   3 procedure capture_value is
   4    x : integer := 0;
   5 begin
   6    declare
   7       z : integer renames x;
   8    begin
   9       z := 3;
  10       x := 5;
  11       z := z + 1;
  12       if z /= 6 then
  13          raise Program_Error;
  14       end if;
  15    end;
  16 end;