arch/x86/platform/efi/efi_64.c:212:15: sparse: memcpy with byte count of 0

[kbuild test robot]

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   2868b2513aa732a99ea4a0a6bf10dc93c1f3dac2
commit: e981316f560482c001dede7f5b29259bde0b8afb x86/efi: Add 5-level paging support
date:   6 weeks ago
reproduce:
        # apt-get install sparse
        git checkout e981316f560482c001dede7f5b29259bde0b8afb
        make ARCH=x86_64 allmodconfig
        make C=1 CF=-D__CHECK_ENDIAN__


sparse warnings: (new ones prefixed by >>)

>> arch/x86/platform/efi/efi_64.c:212:15: sparse: memcpy with byte count of 0

vim +212 arch/x86/platform/efi/efi_64.c

   196		num_entries = pgd_index(EFI_VA_END) - pgd_index(PAGE_OFFSET);
   197		memcpy(pgd_efi, pgd_k, sizeof(pgd_t) * num_entries);
   198	
   199		/*
   200		 * As with PGDs, we share all P4D entries apart from the one entry
   201		 * that covers the EFI runtime mapping space.
   202		 */
   203		BUILD_BUG_ON(p4d_index(EFI_VA_END) != p4d_index(MODULES_END));
   204		BUILD_BUG_ON((EFI_VA_START & P4D_MASK) != (EFI_VA_END & P4D_MASK));
   205	
   206		pgd_efi = efi_pgd + pgd_index(EFI_VA_END);
   207		pgd_k = pgd_offset_k(EFI_VA_END);
   208		p4d_efi = p4d_offset(pgd_efi, 0);
   209		p4d_k = p4d_offset(pgd_k, 0);
   210	
   211		num_entries = p4d_index(EFI_VA_END);
 > 212		memcpy(p4d_efi, p4d_k, sizeof(p4d_t) * num_entries);
   213	
   214		/*
   215		 * We share all the PUD entries apart from those that map the
   216		 * EFI regions. Copy around them.
   217		 */
   218		BUILD_BUG_ON((EFI_VA_START & ~PUD_MASK) != 0);
   219		BUILD_BUG_ON((EFI_VA_END & ~PUD_MASK) != 0);
   220	

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation