linux-kernel - Re: arch/x86/kvm/vmx/hyperv.h:79:30: sparse: sparse: cast truncates bits from constant value (1b009b becomes 9b)

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <ZZ4KlYj+IrDb09FW@yujie-X299>
Date: Wed, 10 Jan 2024 11:10:13 +0800
From: Yujie Liu <yujie.liu@...el.com>
To: Sean Christopherson <seanjc@...gle.com>
CC: Vitaly Kuznetsov <vkuznets@...hat.com>, kernel test robot <lkp@...el.com>,
	<oe-kbuild-all@...ts.linux.dev>, <linux-kernel@...r.kernel.org>, "Paolo
 Bonzini" <pbonzini@...hat.com>, <kvm@...r.kernel.org>
Subject: Re: arch/x86/kvm/vmx/hyperv.h:79:30: sparse: sparse: cast truncates
 bits from constant value (1b009b becomes 9b)

Hi Sean,

On Fri, Dec 01, 2023 at 07:56:01AM -0800, Sean Christopherson wrote:
> On Fri, Dec 01, 2023, Yujie Liu wrote:
> > On Thu, Nov 30, 2023 at 09:49:43AM -0800, Sean Christopherson wrote:
> > > On Thu, Nov 30, 2023, Vitaly Kuznetsov wrote:
> > > > kernel test robot <lkp@...el.com> writes:
> > > > 
> > > > > tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> > > > > head:   3b47bc037bd44f142ac09848e8d3ecccc726be99
> > > > > commit: a789aeba419647c44d7e7320de20fea037c211d0 KVM: VMX: Rename "vmx/evmcs.{ch}" to "vmx/hyperv.{ch}"
> > > > > date:   1 year ago
> > > > > config: x86_64-randconfig-123-20231130 (https://download.01.org/0day-ci/archive/20231130/202311302231.sinLrAig-lkp@intel.com/config)
> > > > > compiler: clang version 16.0.4 (https://github.com/llvm/llvm-project.git ae42196bc493ffe877a7e3dff8be32035dea4d07)
> > > > > reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20231130/202311302231.sinLrAig-lkp@intel.com/reproduce)
> > > > >
> > > > > If you fix the issue in a separate patch/commit (i.e. not just a new version of
> > > > > the same patch/commit), kindly add following tags
> > > > > | Reported-by: kernel test robot <lkp@...el.com>
> > > > > | Closes: https://lore.kernel.org/oe-kbuild-all/202311302231.sinLrAig-lkp@intel.com/
> > > > >
> > > > > sparse warnings: (new ones prefixed by >>)
> > > > >    arch/x86/kvm/vmx/hyperv.h:79:30: sparse: sparse: cast truncates bits from constant value (a000a becomes a)
> > > > 
> > > > This is what ROL16() macro does but the thing is: we actually want to
> > > > truncate bits by doing an explicit (u16) cast. We can probably replace
> > > > this with '& 0xffff':
> > > > 
> > > > #define ROL16(val, n) ((((u16)(val) << (n)) | ((u16)(val) >> (16 - (n)))) & 0xffff)
> > > > 
> > > > but honestly I don't see much point...
> > > 
> > > Yeah, just ignore 'em, we get the exact same sparse complaints in vmcs12.c and
> > > have had great success ignoring those too :-)
> > 
> > Thanks for the information. We've disabled this warning in the bot to
> > avoid sending reports against other files with similar code.
> 
> I would probably recommend keeping the sparse warning enabled, IIRC it does find
> legitimate bugs from time to time.
> 
> Or are you able to disable just the ROL16() warning?  If so, super cool!

FYI, we've added new logic in kernel test robot to ignore this sparse warning
for ROL16 macro.

Best Regards,
Yujie