On Fri, Dec 5, 2014 at 1:54 AM, Dan Carpenter <dan.carpen...@oracle.com> wrote: > > There are some false positives which do: > > if ((u16)(u16_foo + u16_bar) < u16_foo) {
Actually, the worse false positive is the ones that are pointer comparisons. A compiler that does those as signed is just broken. It's happened, but it's *still* completely broken. Linus -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/