gcc/testsuite/gnat.dg/kill_value.adb

   1 -- { dg-do run }
   2
   3 procedure kill_value is
   4    type Struct;
   5    type Pstruct is access all Struct;
   6
   7    type Struct is record Next : Pstruct; end record;
   8
   9    Vap : Pstruct := new Struct;
  10
  11 begin
  12    for J in 1 .. 10 loop
  13       if Vap /= null then
  14          while Vap /= null
  15          loop
  16             Vap := Vap.Next;
  17          end loop;
  18       end if;
  19    end loop;
  20 end;