Re: Unchecked_Union record inside an other record - trouble

[Shark8 <OneWingedShark@gmail.com>]

On 08-Aug-14 14:28, Victor Porton wrote:
>
> Which compiler do you use? I suspect it is a bug in your compiler.

I'm using GNAT GPL 2013 (apparently 4.7.4)

> Or do we speak about different Ada code?

Well, given what you just posted, it looks like you renamed "T2" to 
"Container".


>    function P (C: Container) return char is
>    begin
>       return C.R.Y;
>    end;

Your Container type probably needs a tag.
Your function P should probably be something more like:

     function P (C: Container) return Character is
         Subtype Character_T is T(K => Second);
         Function Convert is new Unchecked_Conversion(
             Source => T,
             Target => Character_T
           );
     begin
         return Convert(C.R).Y; -- This ensures we get the character.
     end;