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

[Bernhard Übelacker]

Am 10.10.22 um 17:21 schrieb 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


Hello Karo,
I am not sure if this the right approach,
because russdill made a few lines below you linked comment
that the crash seems just a product of loading a library,
which does use those instruction in its initialisation step,
even when this library is not suitable for the available hardware.

As far as I see your MR just adds a dependency to sse2-support,
which I guess just makes the installation abort in case of a CPU
not supporting sse2, so I guess this would just make
mesa not installable on your hardware?

Kind regards,
Bernhard