gcc/testsuite/gnat.dg/tampering_check1_trim.adb

   1 procedure Tampering_Check1_Trim
   2   (V : in out Tampering_Check1_IVectors.Vector) is
   3    use Tampering_Check1_IVectors;
   4
   5 begin
   6    while not Is_Empty (V) and then V (V.First) < 0 loop
   7       V.Delete_First;
   8    end loop;
   9 end Tampering_Check1_Trim;