Re: Warning: accessibility check failure with GNAT GPL 2013

[sangomarco@gmail.com]

Le lundi 28 octobre 2013 15:26:33 UTC+1, Dmitry A. Kazakov a écrit :
> On Mon, 28 Oct 2013 06:49:30 -0700 (PDT), sangomarco@gmail.com wrote:
> 
> 
> 
> >       function New_Thread return access Cyclic_Thread is
> 
> >       begin
> 
> >          return new Cyclic_Thread;
> 
> >       end New_Thread;
> 
> 
> 
> The rule of thumb: you never return an anonymous access result allocated by
> 
> new.
>

Thanks for your quick response. I don't have enough experience with Ada, please could you tell me more about the rule? I don't understand why this is not allow. My goal is to create a main task which makes a successor tasks if necessarry. And, since I cannot use the sybtype mak to create a new task in the current execution of a main task body as the following declaration
Next : access Cyclic_Thread;
next : new Cyclick_Thread;
I lazily use the previous function to return the access to the task.

--
Best regards
Marc