Re: [PATCH] Fix IPA-SRA issue with reverse SSO on specific pattern

Hi, On Wed, May 21 2025, Eric Botcazou wrote: > Hi, > > IPA-SRA generally works fine in the presence of reverse Scalar_Storage_Order > by propagating the relevant flag onto the newly generated MEM_REFs. However > we have been recently faced with a specific Ada pattern that it doesn't > handle

Re: [PATCH] Fix IPA-SRA issue with reverse SSO on specific pattern

On Tue, May 27, 2025 at 2:40 PM Martin Jambor wrote: > > Hi, > > On Wed, May 21 2025, Eric Botcazou wrote: > > Hi, > > > > IPA-SRA generally works fine in the presence of reverse Scalar_Storage_Order > > by propagating the relevant flag onto the newly generated MEM_REFs. However > > we have been

[PATCH] Fix IPA-SRA issue with reverse SSO on specific pattern

Hi, IPA-SRA generally works fine in the presence of reverse Scalar_Storage_Order by propagating the relevant flag onto the newly generated MEM_REFs. However we have been recently faced with a specific Ada pattern that it doesn't handle correctly: 'Valid applied to a floating-point component of