Hi Harald,
OK for master? Since we generate wrong code under the given circumstances, what do people think about backports?
OK for master. The patch is also simple enough that the risk of regressions is almost nil, so backports are also OK. Best regards Thomas