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