On Mon, 23 Sep 2024, Tamar Christina wrote:
> Hi All,
>
> The new invariant statements should be inserted before the current
> statement and not after. This goes fine 99% of the time but when the
> current statement is a gcond the control flow gets corrupted.
>
> Bootstrapped Regtested on aarch
Hi All,
The new invariant statements should be inserted before the current
statement and not after. This goes fine 99% of the time but when the
current statement is a gcond the control flow gets corrupted.
Bootstrapped Regtested on aarch64-none-linux-gnu and no issues.
Ok for master?
Thanks,
T