On Wed, Sep 23, 2020 at 09:03:54PM +0200, Ricardo Wurmus wrote: > Is this perhaps related to https://issues.guix.gnu.org/42392 ?
It looks very similar indeed. But then the fix given there has not fixed my problem, which occurs in a current gcc-toolchain. Andreas