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
