mm/memory.c:546:9: sparse: sparse: incompatible types in conditional expression (different base types):

From: kernel test robot
Date: Sat Nov 11 2023 - 09:20:52 EST

tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 3ca112b71f35dd5d99fc4571a56b5fc6f0c15814
commit: fdc0269e8958a1ec95b8ac685c1d372c24c60faa x86/paravirt: Move the Xen-only pv_mmu_ops under the PARAVIRT_XXL umbrella
date: 5 years ago
config: x86_64-randconfig-x014-20230805 (https://download.01.org/0day-ci/archive/20231111/202311112212.e0L5bYF8-lkp@xxxxxxxxx/config)
compiler: gcc-12 (Debian 12.2.0-14) 12.2.0
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20231111/202311112212.e0L5bYF8-lkp@xxxxxxxxx/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@xxxxxxxxx>
| Closes: https://lore.kernel.org/oe-kbuild-all/202311112212.e0L5bYF8-lkp@xxxxxxxxx/

sparse warnings: (new ones prefixed by >>)
mm/memory.c:4731:22: sparse: sparse: cast removes address space '<asn:1>' of expression
>> mm/memory.c:546:9: sparse: sparse: incompatible types in conditional expression (different base types):
>> mm/memory.c:546:9: sparse: void
>> mm/memory.c:546:9: sparse: int
mm/memory.o: warning: objtool: fault_around_bytes_set()+0x7a: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: print_bad_pte()+0xa4: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: __follow_pte_pmd()+0x72: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: wp_page_copy()+0x1076: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: do_set_pmd()+0x5ab: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: free_pgd_range()+0x13b: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: remap_pte_range()+0x2f2: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: do_anonymous_page()+0xd06: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: unmap_page_range()+0x92: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: alloc_set_pte()+0xa3a: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: remap_pfn_range()+0x275: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: apply_to_page_range()+0x8f: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: copy_page_range()+0x1bd: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: __get_locked_pte()+0x64: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: insert_pfn()+0x53e: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: insert_page()+0x4f7: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: __handle_mm_fault()+0x23f: sibling call from callable instruction with modified stack frame
mm/memory.o: warning: objtool: print_vma_addr()+0x12e: sibling call from callable instruction with modified stack frame
--
>> mm/pgtable-generic.c:23:9: sparse: sparse: incompatible types in conditional expression (different base types):
>> mm/pgtable-generic.c:23:9: sparse: void
>> mm/pgtable-generic.c:23:9: sparse: int

vim +546 mm/memory.c

c2febafc67734a Kirill A. Shutemov 2017-03-09 516
c2febafc67734a Kirill A. Shutemov 2017-03-09 517 static inline void free_p4d_range(struct mmu_gather *tlb, pgd_t *pgd,
c2febafc67734a Kirill A. Shutemov 2017-03-09 518 unsigned long addr, unsigned long end,
c2febafc67734a Kirill A. Shutemov 2017-03-09 519 unsigned long floor, unsigned long ceiling)
c2febafc67734a Kirill A. Shutemov 2017-03-09 520 {
c2febafc67734a Kirill A. Shutemov 2017-03-09 521 p4d_t *p4d;
c2febafc67734a Kirill A. Shutemov 2017-03-09 522 unsigned long next;
c2febafc67734a Kirill A. Shutemov 2017-03-09 523 unsigned long start;
c2febafc67734a Kirill A. Shutemov 2017-03-09 524
c2febafc67734a Kirill A. Shutemov 2017-03-09 525 start = addr;
c2febafc67734a Kirill A. Shutemov 2017-03-09 526 p4d = p4d_offset(pgd, addr);
c2febafc67734a Kirill A. Shutemov 2017-03-09 527 do {
c2febafc67734a Kirill A. Shutemov 2017-03-09 528 next = p4d_addr_end(addr, end);
c2febafc67734a Kirill A. Shutemov 2017-03-09 529 if (p4d_none_or_clear_bad(p4d))
c2febafc67734a Kirill A. Shutemov 2017-03-09 530 continue;
c2febafc67734a Kirill A. Shutemov 2017-03-09 531 free_pud_range(tlb, p4d, addr, next, floor, ceiling);
c2febafc67734a Kirill A. Shutemov 2017-03-09 532 } while (p4d++, addr = next, addr != end);
c2febafc67734a Kirill A. Shutemov 2017-03-09 533
e0da382c92626a Hugh Dickins 2005-04-19 534 start &= PGDIR_MASK;
e0da382c92626a Hugh Dickins 2005-04-19 535 if (start < floor)
e0da382c92626a Hugh Dickins 2005-04-19 536 return;
e0da382c92626a Hugh Dickins 2005-04-19 537 if (ceiling) {
e0da382c92626a Hugh Dickins 2005-04-19 538 ceiling &= PGDIR_MASK;
e0da382c92626a Hugh Dickins 2005-04-19 539 if (!ceiling)
e0da382c92626a Hugh Dickins 2005-04-19 540 return;
^1da177e4c3f41 Linus Torvalds 2005-04-16 541 }
e0da382c92626a Hugh Dickins 2005-04-19 542 if (end - 1 > ceiling - 1)
e0da382c92626a Hugh Dickins 2005-04-19 543 return;
e0da382c92626a Hugh Dickins 2005-04-19 544
c2febafc67734a Kirill A. Shutemov 2017-03-09 545 p4d = p4d_offset(pgd, start);
e0da382c92626a Hugh Dickins 2005-04-19 @546 pgd_clear(pgd);
c2febafc67734a Kirill A. Shutemov 2017-03-09 547 p4d_free_tlb(tlb, p4d, start);
^1da177e4c3f41 Linus Torvalds 2005-04-16 548 }
^1da177e4c3f41 Linus Torvalds 2005-04-16 549

:::::: The code at line 546 was first introduced by commit
:::::: e0da382c92626ad1d7f4b7527d19b80104d67a83 [PATCH] freepgt: free_pgtables use vma list

:::::: TO: Hugh Dickins <hugh@xxxxxxxxxxx>
:::::: CC: Linus Torvalds <torvalds@xxxxxxxxxxxxxxx.(none)>

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki