https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121811

--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> ---
On the other hand, if I'm going to go to all the trouble of adding a new header
then I might as well just backport r15-8036-gd4c7de7dc925e7 and add the working
header to gcc-14.

Reply via email to