Re: dynamic multithreading

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> >with Ada.Text_IO;
> >with Ada.Unchecked_Deallocation;
> >with System;
> >
> >procedure Crazy_Tasks is
> >
> >    task type T is
> >        pragma Priority (System.Priority'Last);
> >        entry Foo;
> >    end T;
> >
> >    type Access_T is access T;
> >
> >    task body T is
> >    begin
> >        select
> >            accept Foo;
> >        else
> >            null;
> >        end select;
> >    end T;
> >
> >    procedure Free is new Ada.Unchecked_Deallocation (T, Access_T);
> >
> >    type Counter is mod 2**32;
> >
> >    Count : Counter := 0;
> >    TV    : Access_T;
> >
> >begin
> >
> >    loop
> >        TV := new T; -- should terminate immediately
> >        while not TV.all'Terminated loop
> >            delay 0.0;
> >        end loop;
> >        -- Free (TV);
> >        Count := Count + 1;
> >        if Count mod 50_000 = 0 then
> >            Ada.Text_IO.Put_Line (Counter'Image (Count) & " tasks");
> >        end if;
> >    end loop;
> >
> >end Crazy_Tasks;
> 
> This does not leak in ObjectAda 7.2 under Windows. [Trumpets!]

I do not understand... Even with Free commented out doesn't it leak?