Bug#1020802: libz3-4: Xorg crashes on startup due to illegal instruction (SSE2) in libz3-4

[Russ Dill]

I'm pretty happy with that solution. the downside would be that the Z3
constraint solver can't be used by LLVM. Ubuntu and Fedora currently
have it disabled for all architectures and I'm not seeing any bug
reports.

On Mon, Oct 17, 2022 at 3:33 PM Bernhard Übelacker
<bernhardu at mailbox.org> wrote:
>
> Hello Karo, hello Dill,
> I tried to carry this issue to the llvm people, if it
> might be possible to drop libz3 linking of libllvm at i386.
> This should mitigate most visible issues,
> but I am not sure what the downsides would be.
>
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021926
>
> Kind regards,
> Bernhard