https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95326
--- Comment #3 from Haoxin Tu <haoxintu at gmail dot com> --- Would GCC shorten the multiple to be other types early as well? I also find some cases in "short" type with the same symptom. I am still testing now and don't know there are any cases in rest of types(such as char, int, long...) have the problem. By the way, should I file a new bug report when I found another type (for example,int) that GCC can not detect the signed-integer-overflow UB issues?
