Wow, what a splendid debugging! I hope you enjoyed it.
Thanks, yes, it was some interesting debugging, and I was quite surprised when I saw the issue caused by the very same instruction as the other bug ... By the way with following sequence it should be possible to see the impact on the FPU register stack (or crash in case of pre-SSE2-CPUs): apt install libz3-4-dbgsym gdb -q file /usr/bin/file set environment LD_PRELOAD=/usr/lib/i386-linux-gnu/libz3.so.4 set stop-on-solib-events 1 run cont rb _GLOBAL__sub_I_memory_manager cont tb __static_initialization_and_destruction_0 cont display/i $pc nexti ... (repeat 'nexti' until the 'pxor' instruction appears) info float nexti info float