On February 18, 2020 4:56:35 PM GMT+01:00, Martin Jambor
wrote:
>Hi,
>
>SRA can get a bit confused with zero-sized accesses like the one in
>the testcase. Since there is nothing in the access, nothing is
>scalarized, but we can get order of the structures wrong, which the
>verifier is not happy
Hi,
SRA can get a bit confused with zero-sized accesses like the one in
the testcase. Since there is nothing in the access, nothing is
scalarized, but we can get order of the structures wrong, which the
verifier is not happy about.
Fixed by simply ignoring such accesses. Bootstrapped and tested
