https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88401
--- Comment #2 from Ulya <skvadrik at gmail dot com> --- (In reply to Jakub Jelinek from comment #1) > It is a front-end warning, so there is no constant propagation possible. > You can use -fsanitize=shift to detect this stuff at runtime. Ok, understood. Maybe someday it can be moved to middle-end.
