On Fri, Nov 02, 2018 at 07:19:15PM +0300, Andrey Ryabinin wrote: > UBSAN warns about signed overflows despite -fno-strict-overflow if gcc > version is < 8. I have learned recently that UBSAN in GCC 8 ignores > signed overflows if -fno-strict-overflow of fwrapv is used.
Ah, good. > We can always just drop -fsanitize=signed-integer-overflow if it considered > too noisy. I think that is the most consistent beahviour. signed overflow is not UB in the kernel. > Although it did catch some real bugs. If we want an over/under-flow checker, then that should be a separate plugin and not specific to signed or unsigned.