Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
capture_value.adb
blob: 10272a49ae14e9b24343221608887bd0c9973c92 [
file
] [
log
] [
blame
]
--
{
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
;