‘-Ono-resolve-primitives’ also helps in this case. ‘-Ono-optimize-branch-chains’ has no effect. So, not much progress, but at least we have a workaround. Thanks, Ludo’.