https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120020
--- Comment #6 from Jin Haobo <a1343922569 at outlook dot com> --- Sorry, the code in my reproduction is wrong. I will re-show the C++ code. This code is right, and Clang generate the right optimal assembly indeed.