Infinite loop with JA + JCOND

[Zac Ecob <zacecob@xxxxxxxxxxxxxx>]

Hi,

Found a program that the verifier accepts but causes an infinite loop. Works on 6.9.4 (which I ran in qemu-system-x86_64).

The JA always jumps back to the start of the program, where the JCOND will never successfully jump to exit.

Attached is the repro files.

Thanks!

Attachment: repro.tar.xz
Description: application/xz