Subject: Re: [PATCH] INET: fix incorrect "inet_sock->is_icsk" assignment

From: David Miller <[email-masked]>
Date: Thu, 04 Jan 2007 21:42:04 -0800 (PST)

From: "Arnaldo Carvalho de Melo" <[email-masked]>
Date: Fri, 5 Jan 2007 00:32:31 -0200

> I expected a warning since the and operation clearly could yield a
> value that would overflow, just like in the constant case...

It sounds stupid, but once you introduce variables and not
everything is constance, GCC currently can't make the analysis.

It's an interesting class of bugs to detect automatically, for
sure :-)