Re: Possible GNAT bug, but wanted to see if it was a violtion of the RM

[Jere <jhb.chat@gmail.com>]

On Sunday, February 25, 2018 at 6:55:13 AM UTC-5, Simon Wright wrote:
> Jere writes:
> 
> > Thanks!  That confirms my initial suspicion of it being related to
> > tamper checks, but I can't figure out how.  I looked through the GNAT
> > code and saw how they locked it in the Constant_Reference function,
> > but I can't for the life of me figure out how calling it using:
> >
> >    Package.Operation(Object,Params).Discriminant
> >
> > would work differently than
> >
> >    Object.Operation(Params).Discriminant 
> >
> > for that function call.
> 
> Compiling with -gnatG (to list an Ada-like representation of what the
> compiler has transformed your code into before it starts
> optimisation/code generation) shows that the Package.Operation version
> includes some finalization in Operation that's missing in the
> Object.Operation version. Looks very like a bug!

Thank you!  I wasn't aware of that switch.  Admittedly it is a bit 
difficult to read the output for the first time, but scanning the diff
I was able to see hints of what you were saying.  I'll file off a bug
report to AdaCore