https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123480
--- Comment #11 from Icenowy Zheng <uwu at icenowy dot me> --- Theortically I agree with this, however the current issue is that this exhibits uncertain behavior on different architectures, and people will find no problem until the program is being ran on some architectures.
