CC: [email protected] CC: [email protected] TO: Ard Biesheuvel <[email protected]>
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: f4bc5bbb5fef3cf421ba3485d6d383c27ec473ed commit: 336868afbaae2d153fc20268a21747c31e5071b8 powerpc: smp: remove hack to obtain offset of task_struct::cpu date: 4 months ago :::::: branch date: 21 hours ago :::::: commit date: 4 months ago config: powerpc-randconfig-m031-20220209 (https://download.01.org/0day-ci/archive/20220210/[email protected]/config) compiler: powerpc-linux-gcc (GCC) 11.2.0 If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot <[email protected]> Reported-by: Dan Carpenter <[email protected]> New smatch warnings: arch/powerpc/xmon/xmon.c:1881 excprint() warn: variable dereferenced before check 'current' (see line 1853) Old smatch warnings: arch/powerpc/include/asm/mmu.h:233 early_mmu_has_feature() warn: bitwise AND condition is false here arch/powerpc/xmon/xmon.c:3268 show_task() warn: unsigned 'p_state' is never less than zero. vim +/current +1881 arch/powerpc/xmon/xmon.c ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1847 9f1067c2d98ac1 arch/powerpc/xmon/xmon.c Michael Ellerman 2008-05-08 1848 static void excprint(struct pt_regs *fp) ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1849 { ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1850 unsigned long trap; ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1851 ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1852 #ifdef CONFIG_SMP ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 @1853 printf("cpu 0x%x: ", smp_processor_id()); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1854 #endif /* CONFIG_SMP */ ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1855 ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1856 trap = TRAP(fp); e70d8f55268ba9 arch/powerpc/xmon/xmon.c Mathieu Malaterre 2018-03-25 1857 printf("Vector: %lx %s at [%px]\n", fp->trap, getvecname(trap), fp); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1858 printf(" pc: "); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1859 xmon_print_symbol(fp->nip, ": ", "\n"); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1860 e70d8f55268ba9 arch/powerpc/xmon/xmon.c Mathieu Malaterre 2018-03-25 1861 printf(" lr: "); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1862 xmon_print_symbol(fp->link, ": ", "\n"); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1863 ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1864 printf(" sp: %lx\n", fp->gpr[1]); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1865 printf(" msr: %lx\n", fp->msr); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1866 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1867 if (trap == INTERRUPT_DATA_STORAGE || 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1868 trap == INTERRUPT_DATA_SEGMENT || 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1869 trap == INTERRUPT_ALIGNMENT || 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1870 trap == INTERRUPT_MACHINE_CHECK) { ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1871 printf(" dar: %lx\n", fp->dar); 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1872 if (trap != INTERRUPT_DATA_SEGMENT) ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1873 printf(" dsisr: %lx\n", fp->dsisr); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1874 } ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1875 e70d8f55268ba9 arch/powerpc/xmon/xmon.c Mathieu Malaterre 2018-03-25 1876 printf(" current = 0x%px\n", current); f78541dcec327b arch/powerpc/xmon/xmon.c Paul Mackerras 2005-10-28 1877 #ifdef CONFIG_PPC64 3130a7bb6eb595 arch/powerpc/xmon/xmon.c Nicholas Piggin 2018-05-10 1878 printf(" paca = 0x%px\t irqmask: 0x%02x\t irq_happened: 0x%02x\n", 4e26bc4a4ed683 arch/powerpc/xmon/xmon.c Madhavan Srinivasan 2017-12-20 1879 local_paca, local_paca->irq_soft_mask, local_paca->irq_happened); f78541dcec327b arch/powerpc/xmon/xmon.c Paul Mackerras 2005-10-28 1880 #endif ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 @1881 if (current) { e70d8f55268ba9 arch/powerpc/xmon/xmon.c Mathieu Malaterre 2018-03-25 1882 printf(" pid = %d, comm = %s\n", ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1883 current->pid, current->comm); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1884 } ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1885 7153d4bf0b3734 arch/powerpc/xmon/xmon.c Xiongwei Song 2021-04-14 1886 if (trap == INTERRUPT_PROGRAM) ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1887 print_bug_trap(fp); eb925d64604991 arch/powerpc/xmon/xmon.c Rashmica Gupta 2015-11-25 1888 eb925d64604991 arch/powerpc/xmon/xmon.c Rashmica Gupta 2015-11-25 1889 printf(linux_banner); ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1890 } ^1da177e4c3f41 arch/ppc64/xmon/xmon.c Linus Torvalds 2005-04-16 1891 :::::: The code at line 1881 was first introduced by commit :::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2 :::::: TO: Linus Torvalds <[email protected]> :::::: CC: Linus Torvalds <[email protected]> --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/[email protected] _______________________________________________ kbuild mailing list -- [email protected] To unsubscribe send an email to [email protected]
