From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932309AbbIUP3s (ORCPT ); Mon, 21 Sep 2015 11:29:48 -0400 Received: from foss.arm.com ([217.140.101.70]:53909 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932106AbbIUP3r (ORCPT ); Mon, 21 Sep 2015 11:29:47 -0400 Date: Mon, 21 Sep 2015 16:29:38 +0100 From: Will Deacon To: Andrzej Hajda Cc: "linux-kernel@vger.kernel.org" , Bartlomiej Zolnierkiewicz , Marek Szyprowski , Suzuki Poulose , Punit Agrawal , Arnd Bergmann , Mark Rutland Subject: Re: [PATCH 01/38] arm-cci: fix handling cpumask_any_but return value Message-ID: <20150921152938.GA7356@arm.com> References: <1442842450-29769-1-git-send-email-a.hajda@samsung.com> <1442842450-29769-2-git-send-email-a.hajda@samsung.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1442842450-29769-2-git-send-email-a.hajda@samsung.com> User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Sep 21, 2015 at 02:33:33PM +0100, Andrzej Hajda wrote: > cpumask_any_but returns value >= nr_cpu_ids if there are no more CPUs. > > The problem has been detected using proposed semantic patch > scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci [1]. > > [1]: http://permalink.gmane.org/gmane.linux.kernel/2038576 > > Signed-off-by: Andrzej Hajda > --- > drivers/bus/arm-cci.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/drivers/bus/arm-cci.c b/drivers/bus/arm-cci.c > index 577cc4b..22754d0 100644 > --- a/drivers/bus/arm-cci.c > +++ b/drivers/bus/arm-cci.c > @@ -1314,7 +1314,7 @@ static int cci_pmu_cpu_notifier(struct notifier_block *self, > if (!cpumask_test_and_clear_cpu(cpu, &cci_pmu->cpus)) > break; > target = cpumask_any_but(cpu_online_mask, cpu); > - if (target < 0) // UP, last CPU > + if (target >= nr_cpu_ids) // UP, last CPU We could also make target an int, to match the return type of cpumask_any_but (on top of this change). Regardless, Acked-by: Will Deacon Will