From mboxrd@z Thu Jan 1 00:00:00 1970 From: Darren Hart Subject: Re: [PATCH] platform/x86: fujitsu-laptop: Revert UNSUPPORTED_CMD back to an int Date: Wed, 21 Mar 2018 16:30:34 -0700 Message-ID: <20180321233034.GB24138@fury> References: <20180310204353.9584-1-kernel@kempniu.pl> <20180311041056.GA5432@gateway.atrad.com.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline In-Reply-To: <20180311041056.GA5432@gateway.atrad.com.au> Sender: linux-kernel-owner@vger.kernel.org To: Jonathan Woithe Cc: Micha?? K??pie?? , Andy Shevchenko , Dan Carpenter , platform-driver-x86@vger.kernel.org, linux-kernel@vger.kernel.org List-Id: platform-driver-x86.vger.kernel.org On Sun, Mar 11, 2018 at 02:40:56PM +1030, Jonathan Woithe wrote: > On Sat, Mar 10, 2018 at 09:43:53PM +0100, Micha?? K??pie?? wrote: > > UNSUPPORTED_CMD was previously 0x80000000 (int), but commit 819cddae7cfa > > ("platform/x86: fujitsu-laptop: Clean up constants") changed it into an > > unsigned long due to BIT() being used to define it. As call_fext_func() > > returns an int, 0x80000000 would get type promoted when compared to an > > unsigned long, which on a 64-bit system would cause it to become > > 0xffffffff80000000 due to sign extension. This causes one logical > > condition in fujitsu-laptop to always be true and another one to always > > be false on 64-bit systems. Fix this by reverting UNSUPPORTED_CMD back > > to an int. > > > > This patch fixes the following smatch warnings: > > > > drivers/platform/x86/fujitsu-laptop.c:763 acpi_fujitsu_laptop_leds_register() warn: always true condition '(call_fext_func(device, ((1 << (12)) | (1 << (0))), 2, (1 << (16)), 0) != (1 << (31))) => (s32min-s32max != 2147483648)' > > drivers/platform/x86/fujitsu-laptop.c:816 acpi_fujitsu_laptop_add() warn: impossible condition '(priv->flags_supported == (1 << (31))) => (0-2147483647,18446744071562067968-u64max == 2147483648)' > > > > Fixes: 819cddae7cfa ("platform/x86: fujitsu-laptop: Clean up constants") > > Reported-by: Dan Carpenter > > Signed-off-by: Micha?? K??pie?? Queued up, thank you. -- Darren Hart VMware Open Source Technology Center