https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69515
--- Comment #3 from Tom Honermann <tom at honermann dot net> --- The error in comment 2 was also reported in bug 69364.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69515
--- Comment #3 from Tom Honermann <tom at honermann dot net> --- The error in comment 2 was also reported in bug 69364.