Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
tampering_check1.adb
blob: 3a5cb07127cfc92f7b8a2d4b28eb845dc3499e32 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
with
Tampering_Check1_IVectors
;
use
Tampering_Check1_IVectors
;
with
Tampering_Check1_Trim
;
procedure
Tampering_Check1
is
V
:
Vector
;
begin
V
.
Append
(-
1
);
V
.
Append
(-
2
);
V
.
Append
(-
3
);
Tampering_Check1_Trim
(
V
);
end
Tampering_Check1
;