Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
tampering_check1_trim.adb
blob: baabc01094ffb5ee8dff8dd10554996915b926bd [
file
] [
log
] [
blame
]
procedure
Tampering_Check1_Trim
(
V
:
in
out
Tampering_Check1_IVectors
.
Vector
)
is
use
Tampering_Check1_IVectors
;
begin
while
not
Is_Empty
(
V
)
and
then
V
(
V
.
First
)
<
0
loop
V
.
Delete_First
;
end
loop
;
end
Tampering_Check1_Trim
;