On Mon, 26 Aug 2024 21:36:45 +0200,
A Tammy <openbsd.ports@aisha.cc> wrote:
> 
> 
> > After spending some time to dig into the issue which lead to crash, I had
> > discovered that such crash doesn't reproduced if I build z3 wihtout
> > optimization (-O0).
> 
> 
> This sounds like a bug worthy of telling upstream about.
> 
>

It was reported to upstream almost year ago [1] but it was closed without fix.

So, I have no better solution here.

Footnotes:
[1]  https://github.com/Z3Prover/z3/issues/6902

-- 
wbr, Kirill