Re: [linux-next:master] BUILD REGRESSION 296d53d8f84ce50ffaee7d575487058c8d437335

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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?

Thanks,

Bart.




[Index of Archives]     [Linux SoC]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux