[<prev] [next>] [day] [month] [year] [list]
Message-ID: <202509010849.b4WcaJtA-lkp@intel.com>
Date: Mon, 1 Sep 2025 09:00:45 +0800
From: kernel test robot <lkp@...el.com>
To: Samuel Holland <samuel.holland@...ive.com>
Cc: oe-kbuild-all@...ts.linux.dev, linux-kernel@...r.kernel.org,
Palmer Dabbelt <palmer@...osinc.com>
Subject: arch/riscv/mm/init.c:354 relocate_kernel() warn: always true
condition '(relocated_addr >= (((0)))) => (0-u32max >= 0)'
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: b320789d6883cc00ac78ce83bccbfe7ed58afcf0
commit: ea2bde36a46d5724c1b44d80cc9fafbd73c2ecf9 riscv: Support CONFIG_RELOCATABLE on riscv32
date: 5 months ago
config: riscv-randconfig-r073-20250901 (https://download.01.org/0day-ci/archive/20250901/202509010849.b4WcaJtA-lkp@intel.com/config)
compiler: riscv32-linux-gcc (GCC) 9.5.0
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@...el.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202509010849.b4WcaJtA-lkp@intel.com/
smatch warnings:
arch/riscv/mm/init.c:354 relocate_kernel() warn: always true condition '(relocated_addr >= (((0)))) => (0-u32max >= 0)'
vim +354 arch/riscv/mm/init.c
51b766c79a3d74 Samuel Holland 2024-10-26 326
51b766c79a3d74 Samuel Holland 2024-10-26 327 static void __init relocate_kernel(void)
51b766c79a3d74 Samuel Holland 2024-10-26 328 {
ea2bde36a46d57 Samuel Holland 2024-10-26 329 Elf_Rela *rela = (Elf_Rela *)&__rela_dyn_start;
51b766c79a3d74 Samuel Holland 2024-10-26 330 /*
51b766c79a3d74 Samuel Holland 2024-10-26 331 * This holds the offset between the linked virtual address and the
51b766c79a3d74 Samuel Holland 2024-10-26 332 * relocated virtual address.
51b766c79a3d74 Samuel Holland 2024-10-26 333 */
51b766c79a3d74 Samuel Holland 2024-10-26 334 uintptr_t reloc_offset = kernel_map.virt_addr - KERNEL_LINK_ADDR;
51b766c79a3d74 Samuel Holland 2024-10-26 335 /*
51b766c79a3d74 Samuel Holland 2024-10-26 336 * This holds the offset between kernel linked virtual address and
51b766c79a3d74 Samuel Holland 2024-10-26 337 * physical address.
51b766c79a3d74 Samuel Holland 2024-10-26 338 */
51b766c79a3d74 Samuel Holland 2024-10-26 339 uintptr_t va_kernel_link_pa_offset = KERNEL_LINK_ADDR - kernel_map.phys_addr;
51b766c79a3d74 Samuel Holland 2024-10-26 340
ea2bde36a46d57 Samuel Holland 2024-10-26 341 for ( ; rela < (Elf_Rela *)&__rela_dyn_end; rela++) {
ea2bde36a46d57 Samuel Holland 2024-10-26 342 Elf_Addr addr = (rela->r_offset - va_kernel_link_pa_offset);
ea2bde36a46d57 Samuel Holland 2024-10-26 343 Elf_Addr relocated_addr = rela->r_addend;
51b766c79a3d74 Samuel Holland 2024-10-26 344
51b766c79a3d74 Samuel Holland 2024-10-26 345 if (rela->r_info != R_RISCV_RELATIVE)
51b766c79a3d74 Samuel Holland 2024-10-26 346 continue;
51b766c79a3d74 Samuel Holland 2024-10-26 347
51b766c79a3d74 Samuel Holland 2024-10-26 348 /*
51b766c79a3d74 Samuel Holland 2024-10-26 349 * Make sure to not relocate vdso symbols like rt_sigreturn
51b766c79a3d74 Samuel Holland 2024-10-26 350 * which are linked from the address 0 in vmlinux since
51b766c79a3d74 Samuel Holland 2024-10-26 351 * vdso symbol addresses are actually used as an offset from
51b766c79a3d74 Samuel Holland 2024-10-26 352 * mm->context.vdso in VDSO_OFFSET macro.
51b766c79a3d74 Samuel Holland 2024-10-26 353 */
51b766c79a3d74 Samuel Holland 2024-10-26 @354 if (relocated_addr >= KERNEL_LINK_ADDR)
51b766c79a3d74 Samuel Holland 2024-10-26 355 relocated_addr += reloc_offset;
51b766c79a3d74 Samuel Holland 2024-10-26 356
ea2bde36a46d57 Samuel Holland 2024-10-26 357 *(Elf_Addr *)addr = relocated_addr;
51b766c79a3d74 Samuel Holland 2024-10-26 358 }
51b766c79a3d74 Samuel Holland 2024-10-26 359 }
51b766c79a3d74 Samuel Holland 2024-10-26 360 #endif /* CONFIG_RELOCATABLE */
51b766c79a3d74 Samuel Holland 2024-10-26 361
:::::: The code at line 354 was first introduced by commit
:::::: 51b766c79a3d741fb97419c3da1c58fce5e66f0e riscv: Support CONFIG_RELOCATABLE on NOMMU
:::::: TO: Samuel Holland <samuel.holland@...ive.com>
:::::: CC: Palmer Dabbelt <palmer@...osinc.com>
--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
Powered by blists - more mailing lists