Bruno Haible Tue, 03 Nov 2020 11:38:19 -0800
Bernhard Voelker wrote: > No, it worked here on a gcc-10.2.1 Indeed, the crash is gone with GCC >= 9.
Bruno