[linux-next:master] BUILD REGRESSION 8c33787278ca8db73ad7d23f932c8c39b9f6e543

[Marc Zyngier]

On 2023-05-30 19:21, kernel test robot wrote:
> tree/branch:
> https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git
> master
> branch HEAD: 8c33787278ca8db73ad7d23f932c8c39b9f6e543  Add linux-next
> specific files for 20230530
> 
> Error/Warning reports:
> 
> https://lore.kernel.org/oe-kbuild-all/202305070840.X0G3ofjl-lkp@intel.com
> 
> Error/Warning: (recently discovered and may have been fixed)
> 
> include/drm/drm_print.h:456:39: error: format '%ld' expects argument
> of type 'long int', but argument 4 has type 'size_t' {aka 'unsigned
> int'} [-Werror=format=]
> 
> 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 warning looks wrong. The "issue" seems that we acquire the lock
before exiting the function, but the the whole point is that the
lock is supposed to be held all along (it is dropped and then acquired
again).

I guess the coccinelle checker doesn't spot this construct?

         M.
-- 
Who you jivin' with that Cosmik Debris?