diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/capture_value.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/capture_value.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/capture_value.adb b/gcc/testsuite/gnat.dg/capture_value.adb new file mode 100644 index 000000000..10272a49a --- /dev/null +++ b/gcc/testsuite/gnat.dg/capture_value.adb @@ -0,0 +1,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; |