https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105641 --- Comment #3 from Richard Weickelt <richard at weickelt dot de> --- Aha, according to bug 41526, GIMPLE bytecode streams are not portable across different hosts. That's unfortunate.