https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118720 --- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- I commented on github with a standard reference. The behaviour is undefined.