1-- { dg-do run } 2 3procedure 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 11begin 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; 20end; 21