On Sat, 13 Jul 2024, Martin Uecker wrote:

> This marks structures which include a byte array
> as typeless storage for all C language modes.
> 
> 
> Bootstrapped and regression tested on x86_64.
> 
> 
> 
> 
>     c: Add support for byte arrays in C2Y
>     
>     To get correct aliasing behavior requires that structures and unions
>     that contain a byte array, i.e. an array of non-atomic character
>     type (N3254), are marked with TYPE_TYPELESS_STORAGE.  This change
>     affects also earlier language modes.
>     
>     gcc/c/
>             * c-decl.cc (grokdeclarator, finish_struct): Set and
>             propagate TYPE_TYPELESS_STORAGE.
>     
>     gcc/testsuite/
>             * gcc.dg/c2y-byte-alias-1.c: New test.
>             * gcc.dg/c2y-byte-alias-2.c: New test.
>             * gcc.dg/c2y-byte-alias-3.c: New test.

OK.

-- 
Joseph S. Myers
josmy...@redhat.com

Reply via email to