For the record: this is PR 43817, and it seems to affect quite a lot of
archs.

Martin

Reply via email to