On Wed, 31 Mar 2021, Martin Jambor wrote:
> Hi,
>
> SRA represents parts of aggregates which are arrays accessed with
> unknown index as "unscalarizable regions." When there are two such
> regions one within another and the outer is only read whereas the
> inner is written to, SRA fails to propa
Hi,
SRA represents parts of aggregates which are arrays accessed with
unknown index as "unscalarizable regions." When there are two such
regions one within another and the outer is only read whereas the
inner is written to, SRA fails to propagate that write information
across assignments. This m