Re: GNAT GPL 2013 bug?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 9 Aug 2013 03:38:21 -0700 (PDT), sbelmont700@gmail.com wrote:

> Aren't dispatching access parameters inherently always 'not null' anyway,
> and the explicit qualifier just an optional readability thing?

No idea, but since Ada 2005 access T can be null. Is the behavior depends
on whether the parameter is dispatching?

So considering:

   type Q is null record;
   procedure P (X : access Q) is null;

   Y : access Q := null;
begin
   P (Y); -- This is OK (since Ada 2005)

Now add "tagged" to Q:

   type Q is tagged null record;
   procedure P (X : access Q) is null;

   Y : access Q := null;
begin
   P (Y); -- This is not OK?

I didn't searched ARM for this, but if indeed so, this is a language bug to
me.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de