https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110860
--- Comment #19 from Paul Dreik <gcc at pauldreik dot se> --- Thanks Jonathan! I am happy to count myself as a gcc contributor now :-D Never mind the tiny git mistake, that will be forgotten once gcc 14 is out!