> Am 01.08.2026 um 18:48 schrieb Eric Botcazou <[email protected]>:
>
> This is the same bug as PR ada/123857, but at a nested level, and the fix is
> the same 1-liner but at a different place.
>
> Tested on x86-64/Linux, applied on the mainline.
>
> Jakub or Richard, I'd like to backport it for the 16.2 release too, since it's
> again a trivial 1-liner that cannot break anything. Thanks in advance.
Ok with me
Richard
>
> 2026-08-01 Eric Botcazou <[email protected]>
>
> PR ada/126553
> * exp_attr.adb (Build_Record_VS_Func.Validate_Field): Do nothing
> if the field is of an Unchecked_Union type.
>
>
> 2026-08-01 Eric Botcazou <[email protected]>
>
> * gnat.dg/unchecked_union5.adb: New test.
>
> --
> Eric Botcazou
> <pr126553.diff>
> <unchecked_union5.adb>
