https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80871
--- Comment #3 from Ed Catmur <ed at catmur dot uk> --- Sorry. See also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80438
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80871
--- Comment #3 from Ed Catmur <ed at catmur dot uk> --- Sorry. See also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80438