Re: [Ada] Fix crash on Unchecked_Union component with -gnateV

Richard Biener <[email protected]> Sat, 1 Aug 2026 23:04:13 +0200
Newsgroups gmane.comp.gcc.patches
Message-ID <[email protected]>

> 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>