https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83931
thakis at chromium dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |thakis at chromium dot org
--- Comment #4 from thakis at chromium dot org ---
https://github.com/gcc-mirror/gcc/commit/fc2fb4fd547fb39d76237a3a1a50f5c4f3646936
(in gcc 13.1 as far as I can tell) fixed this. Someone with permissions to do
so can close this out. Looks like I can't do it.
