[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <ZKucbr9WHLipxmAh@yujie-X299>
Date: Mon, 10 Jul 2023 13:51:42 +0800
From: Yujie Liu <yujie.liu@...el.com>
To: Bart Van Assche <bvanassche@....org>
CC: Marc Zyngier <maz@...nel.org>, kernel test robot <lkp@...el.com>, "Andrew
Morton" <akpm@...ux-foundation.org>, Linux Memory Management List
<linux-mm@...ck.org>, <kunit-dev@...glegroups.com>, <kvmarm@...ts.linux.dev>,
<linux-arm-kernel@...ts.infradead.org>, <linux-arm-msm@...r.kernel.org>,
<linux-bluetooth@...r.kernel.org>, <linux-kselftest@...r.kernel.org>,
<linux-parisc@...r.kernel.org>, <linux-rdma@...r.kernel.org>,
<linux-riscv@...ts.infradead.org>, <linux-usb@...r.kernel.org>,
<netdev@...r.kernel.org>
Subject: Re: [linux-next:master] BUILD REGRESSION
296d53d8f84ce50ffaee7d575487058c8d437335
Hi Bart,
On Tue, Jul 04, 2023 at 07:11:37AM -0700, Bart Van Assche wrote:
> On 7/4/23 00:15, Marc Zyngier wrote:
> > On 2023-07-03 16:11, kernel test robot wrote:
> > > tree/branch:
> > > https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git
> > > master
> > > branch HEAD: 296d53d8f84ce50ffaee7d575487058c8d437335 Add linux-next
> > > specific files for 20230703
> > >
> >
> > [...]
> >
> > > Unverified Error/Warning (likely false positive, please contact us if
> > > interested):
> > >
> > > arch/arm64/kvm/mmu.c:147:3-9: preceding lock on line 140
> >
> > This *is* a false positive. The function is entered with a lock
> > held, it will exit with the lock held as well. Inside the body
> > of the function, we release and reacquire the lock.
>
> Which tool reported this message? If this message was reported by sparse,
> has it been considered to add a __must_hold() annotation?
Sorry for the late reply.
This message was reported by coccinelle and may be a false positive.
Please check the link [1] for details.
[1] https://lore.kernel.org/oe-kbuild/202307031751.Ztgi3O29-lkp@intel.com/
Best Regards,
Yujie
Powered by blists - more mailing lists