From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S262190AbVCVWgg (ORCPT ); Tue, 22 Mar 2005 17:36:36 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S262187AbVCVWfe (ORCPT ); Tue, 22 Mar 2005 17:35:34 -0500 Received: from atlmail.prod.rxgsys.com ([64.74.124.160]:31148 "EHLO bastet.signetmail.com") by vger.kernel.org with ESMTP id S262129AbVCVWeP (ORCPT ); Tue, 22 Mar 2005 17:34:15 -0500 Date: Tue, 22 Mar 2005 17:34:03 -0500 From: Jeff Garzik To: Adrian Bunk Cc: linux-net@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [RFC: 2.6 patch] drivers/net/wireless/airo.c: correct a wrong Message-ID: <20050322223403.GA19026@havoc.gtf.org> References: <20050322220540.GS1948@stusta.de> <42409971.5010704@pobox.com> <20050322223056.GV1948@stusta.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20050322223056.GV1948@stusta.de> User-Agent: Mutt/1.4.1i Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Mar 22, 2005 at 11:30:56PM +0100, Adrian Bunk wrote: > On Tue, Mar 22, 2005 at 05:17:21PM -0500, Jeff Garzik wrote: > > Adrian Bunk wrote: > > >if > > >Reply-To: > > > > > >The Coverity checker correctly noted that this condition can't ever be > > >fulfilled. > > > > > >Can someone understanding this code check whether my guess what this > > >should have been was right? > > > > > >Or should the if get completely dropped? > > > > > >Signed-off-by: Adrian Bunk > > > > > >--- linux-2.6.12-rc1-mm1-full/drivers/net/wireless/airo.c.old 2005-03-22 > > >21:41:37.000000000 +0100 > > >+++ linux-2.6.12-rc1-mm1-full/drivers/net/wireless/airo.c 2005-03-22 > > >21:42:01.000000000 +0100 > > >@@ -3440,9 +3440,6 @@ > > > /* Make sure we got something */ > > > if (rxd.rdy && rxd.valid == 0) { > > > len = rxd.len + 12; > > >- if (len < 12 && len > 2048) > > >- goto badrx; > > > > Coverity is silly. > > > > len is signed, and so can obviously be less than zero in edge cases. I > > don't see where the "> 2048" test is invalid, either. > > But if it's less than zero it can't be > 2048 at the same time? > > The point is: len can't be both < 12 and > 2048 at the same time. > > > Is this "if" simply superfluous? > Or should the && be an || ? Yes, it looks like it should be "||". Jeff