https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106757
--- Comment #9 from Jonathan Leffler <jonathan.leffler at gmail dot com> --- I can confirm that GCC 14.1.0 does not report the problems, after all. GCC 13.2.0 and GCC 12.1.0 and 12.2.0 do. Apologies for the confusion.