Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752829Ab2KSDwK (ORCPT ); Sun, 18 Nov 2012 22:52:10 -0500 Received: from mail-pb0-f46.google.com ([209.85.160.46]:41747 "EHLO mail-pb0-f46.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752191Ab2KSDwJ (ORCPT ); Sun, 18 Nov 2012 22:52:09 -0500 Message-ID: <50A9AD05.5080201@linaro.org> Date: Mon, 19 Nov 2012 09:22:37 +0530 From: Tushar Behera User-Agent: Mozilla/5.0 (X11; Linux i686; rv:16.0) Gecko/20121028 Thunderbird/16.0.2 MIME-Version: 1.0 To: Jeremy Fitzhardinge CC: Konrad Rzeszutek Wilk , linux-kernel@vger.kernel.org, patches@linaro.org, xen-devel@lists.xensource.com, virtualization@lists.linux-foundation.org Subject: Re: [PATCH 09/14] xen: events: Remove redundant check on unsigned variable References: <1353048646-10935-1-git-send-email-tushar.behera@linaro.org> <1353048646-10935-10-git-send-email-tushar.behera@linaro.org> <20121116160923.GP22320@phenom.dumpdata.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2030 Lines: 54 On 11/16/2012 10:23 PM, Jeremy Fitzhardinge wrote: > To be honest I'd nack this kind of patch. The test is only redundant in the most trivial sense that the compiler can easily optimise away. The point of the test is to make sure that the range is OK even if the type subsequently becomes signed (to hold a -ve error, for example). > > J > The check is on the function argument which is unsigned, so checking '< 0' doesn't make sense. We should force signed check only if the argument is of signed type. In any case, even if irq has been assigned some error value, that would be caught by the check irq >= nr_irqs. > Konrad Rzeszutek Wilk wrote: > >> On Fri, Nov 16, 2012 at 12:20:41PM +0530, Tushar Behera wrote: >>> No need to check whether unsigned variable is less than 0. >>> >>> CC: Konrad Rzeszutek Wilk >> >> Acked-by: Konrad Rzeszutek Wilk >> >>> CC: Jeremy Fitzhardinge >>> CC: xen-devel@lists.xensource.com >>> CC: virtualization@lists.linux-foundation.org >>> Signed-off-by: Tushar Behera >>> --- >>> drivers/xen/events.c | 2 +- >>> 1 files changed, 1 insertions(+), 1 deletions(-) >>> >>> diff --git a/drivers/xen/events.c b/drivers/xen/events.c >>> index 4293c57..cadd7d1 100644 >>> --- a/drivers/xen/events.c >>> +++ b/drivers/xen/events.c >>> @@ -216,7 +216,7 @@ static void xen_irq_info_pirq_init(unsigned irq, >>> */ >>> static unsigned int evtchn_from_irq(unsigned irq) >>> { >>> - if (unlikely(WARN(irq < 0 || irq >= nr_irqs, "Invalid irq %d!\n", >> irq))) >>> + if (unlikely(WARN(irq >= nr_irqs, "Invalid irq %d!\n", irq))) >>> return 0; >>> >>> return info_for_irq(irq)->evtchn; >>> -- >>> 1.7.4.1 > -- Tushar Behera -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/