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

[karogyoker999]

Hello,

MR has been opened to "fix" this issue:
https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/6

Eliminating SSE2 from z3 upstream is not feasible:
https://github.com/Z3Prover/z3/issues/6369#issuecomment-1259419466

The dependency chain I have identified:
xorg->libgl1-mesa-dri->libllvm14->libz3-4

Regards,
Karo