https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95310
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Fixed on trunk by r11-3372-d6587211c02c4e2566c4e545c09757f3fbb7adab
redi at gcc dot gnu.org via Gcc-bugs Tue, 13 Oct 2020 12:40:14 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95310
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Fixed on trunk by r11-3372-d6587211c02c4e2566c4e545c09757f3fbb7adab