Re: GNAT GPL 2013 bug?

[Adam Beneschan <adambeneschan@aol.com>]

On Friday, August 9, 2013 9:11:35 AM UTC-7, Simon Wright wrote:
  
> > In some of the examples in your later post (like the one where Q is
> > private and the full type is a tagged record), there isn't a problem
> > either, since the procedure isn't dispatching.
> 
> So when GNAT says, at the procedure call, that a null value isn't
> allowed and that CE will be raised, it's wrong?

I just tried it on a case with "type Q is private" [not tagged] and a full definition "type Q is tagged null record", and I didn't get a warning.  In the example you posted, GNAT is correct to display a warning, but your procedure *is* dispatching, and this situation isn't the same as the part of my post that you quoted.

                               -- Adam