@pinskia (NOTE: I untagged Elissa because she has since deleted the thread). I get the same result with that exact code, but in my case the RHS was inside a function call, and then both gcc and clang are silent about it, even with -fsanitize=undefined. So the code in the image doesn't warn me in gcc/clang, but if you change #if 0 to #if 1 it does