Am Dienstag, dem 09.07.2024 um 17:28 + schrieb Joseph Myers:
> On Sat, 29 Jun 2024, Martin Uecker wrote:
>
> > + bool typeless = flag_isoc2y
> > + && ((char_type_p (type)
> > +&& !(type_quals & TYPE_QUAL_ATOMIC))
> > +
On Sat, 29 Jun 2024, Martin Uecker wrote:
> + bool typeless = flag_isoc2y
> + && ((char_type_p (type)
> + && !(type_quals & TYPE_QUAL_ATOMIC))
> + || (AGGREGATE_TYPE_P (type)
> +
This marks structures which include a byte array
as typeless storage.
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-atom
