Hi Alexander, I love your patch! Perhaps something to improve: [auto build test WARNING on masahiroy-kbuild/for-next] [also build test WARNING on linus/master v5.19-rc4 next-20220701] [cannot apply to tip/x86/core tip/x86/mm] [If your patch is applied to the wrong git tree, kindly drop us a note. And when submitting patch, we suggest to use '--base' as documented in https://git-scm.com/docs/git-format-patch] url: https://github.com/intel-lab-lkp/linux/commits/Alexander-Potapenko/Add-KernelMemorySanitizer-infrastructure/20220701-222712 base: https://git.kernel.org/pub/scm/linux/kernel/git/masahiroy/linux-kbuild.git for-next config: i386-randconfig-s002 compiler: gcc-11 (Debian 11.3.0-3) 11.3.0 reproduce: # apt-get install sparse # sparse version: v0.6.4-39-gce1a6720-dirty # https://github.com/intel-lab-lkp/linux/commit/0ca0e4029535365a65588446ba55a952ca186079 git remote add linux-review https://github.com/intel-lab-lkp/linux git fetch --no-tags linux-review Alexander-Potapenko/Add-KernelMemorySanitizer-infrastructure/20220701-222712 git checkout 0ca0e4029535365a65588446ba55a952ca186079 # save the config file mkdir build_dir && cp config build_dir/.config make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=i386 SHELL=/bin/bash If you fix the issue, kindly add following tag where applicable Reported-by: kernel test robot sparse warnings: (new ones prefixed by >>) kernel/signal.c: note: in included file (through arch/x86/include/uapi/asm/signal.h, arch/x86/include/asm/signal.h, include/uapi/linux/signal.h, ...): include/uapi/asm-generic/signal-defs.h:83:29: sparse: sparse: multiple address spaces given kernel/signal.c:195:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:195:31: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:195:31: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:198:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:198:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:198:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:480:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:480:9: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:480:9: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:484:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:484:34: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:484:34: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:517:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:517:9: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:517:9: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:520:36: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:520:36: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:520:36: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:542:53: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct k_sigaction *ka @@ got struct k_sigaction [noderef] __rcu * @@ kernel/signal.c:542:53: sparse: expected struct k_sigaction *ka kernel/signal.c:542:53: sparse: got struct k_sigaction [noderef] __rcu * include/uapi/asm-generic/signal-defs.h:83:29: sparse: sparse: multiple address spaces given kernel/signal.c:698:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:698:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:698:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:700:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:700:31: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:700:31: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:765:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct lockdep_map const *lock @@ got struct lockdep_map [noderef] __rcu * @@ kernel/signal.c:765:9: sparse: expected struct lockdep_map const *lock kernel/signal.c:765:9: sparse: got struct lockdep_map [noderef] __rcu * kernel/signal.c:890:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct lockdep_map const *lock @@ got struct lockdep_map [noderef] __rcu * @@ kernel/signal.c:890:9: sparse: expected struct lockdep_map const *lock kernel/signal.c:890:9: sparse: got struct lockdep_map [noderef] __rcu * kernel/signal.c:1086:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct lockdep_map const *lock @@ got struct lockdep_map [noderef] __rcu * @@ kernel/signal.c:1086:9: sparse: expected struct lockdep_map const *lock kernel/signal.c:1086:9: sparse: got struct lockdep_map [noderef] __rcu * kernel/signal.c:1267:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned char * @@ kernel/signal.c:1267:29: sparse: expected void const volatile [noderef] __user *ptr kernel/signal.c:1267:29: sparse: got unsigned char * >> kernel/signal.c:1267:29: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const [noderef] __user *from @@ got unsigned char * @@ kernel/signal.c:1267:29: sparse: expected void const [noderef] __user *from kernel/signal.c:1267:29: sparse: got unsigned char * >> kernel/signal.c:1267:29: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const [noderef] __user *from @@ got unsigned char * @@ kernel/signal.c:1267:29: sparse: expected void const [noderef] __user *from kernel/signal.c:1267:29: sparse: got unsigned char * kernel/signal.c:1328:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:1328:9: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:1328:9: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:1329:16: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct k_sigaction *action @@ got struct k_sigaction [noderef] __rcu * @@ kernel/signal.c:1329:16: sparse: expected struct k_sigaction *action kernel/signal.c:1329:16: sparse: got struct k_sigaction [noderef] __rcu * kernel/signal.c:1349:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:1349:34: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:1349:34: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:1938:36: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:1938:36: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:1938:36: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2048:44: sparse: sparse: cast removes address space '__rcu' of expression kernel/signal.c:2067:65: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *parent @@ kernel/signal.c:2067:65: sparse: expected struct task_struct *tsk kernel/signal.c:2067:65: sparse: got struct task_struct [noderef] __rcu *parent kernel/signal.c:2068:40: sparse: sparse: cast removes address space '__rcu' of expression kernel/signal.c:2086:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sighand_struct *psig @@ got struct sighand_struct [noderef] __rcu *[noderef] __rcu sighand @@ kernel/signal.c:2086:14: sparse: expected struct sighand_struct *psig kernel/signal.c:2086:14: sparse: got struct sighand_struct [noderef] __rcu *[noderef] __rcu sighand kernel/signal.c:2115:53: sparse: sparse: incorrect type in argument 3 (different address spaces) @@ expected struct task_struct *t @@ got struct task_struct [noderef] __rcu *parent @@ kernel/signal.c:2115:53: sparse: expected struct task_struct *t kernel/signal.c:2115:53: sparse: got struct task_struct [noderef] __rcu *parent kernel/signal.c:2116:34: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *parent @@ kernel/signal.c:2116:34: sparse: expected struct task_struct *parent kernel/signal.c:2116:34: sparse: got struct task_struct [noderef] __rcu *parent kernel/signal.c:2145:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *parent @@ kernel/signal.c:2145:24: sparse: expected struct task_struct *parent kernel/signal.c:2145:24: sparse: got struct task_struct [noderef] __rcu *parent kernel/signal.c:2148:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *real_parent @@ kernel/signal.c:2148:24: sparse: expected struct task_struct *parent kernel/signal.c:2148:24: sparse: got struct task_struct [noderef] __rcu *real_parent kernel/signal.c:2181:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sighand_struct *sighand @@ got struct sighand_struct [noderef] __rcu *sighand @@ kernel/signal.c:2181:17: sparse: expected struct sighand_struct *sighand kernel/signal.c:2181:17: sparse: got struct sighand_struct [noderef] __rcu *sighand kernel/signal.c:2221:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2221:41: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2221:41: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2223:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2223:39: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2223:39: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2280:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2280:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2280:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2315:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2315:31: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2315:31: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2355:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2355:31: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2355:31: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2357:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2357:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2357:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2457:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2457:41: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2457:41: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2541:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2541:41: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2541:41: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2553:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2553:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2553:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2588:52: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *parent @@ kernel/signal.c:2588:52: sparse: expected struct task_struct *tsk kernel/signal.c:2588:52: sparse: got struct task_struct [noderef] __rcu *parent kernel/signal.c:2590:49: sparse: sparse: cast removes address space '__rcu' of expression kernel/signal.c:2628:49: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct sighand_struct *sighand @@ got struct sighand_struct [noderef] __rcu *sighand @@ kernel/signal.c:2628:49: sparse: expected struct sighand_struct *sighand kernel/signal.c:2628:49: sparse: got struct sighand_struct [noderef] __rcu *sighand kernel/signal.c:2957:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2957:27: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2957:27: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:2977:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:2977:29: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:2977:29: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3044:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3044:27: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3044:27: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3046:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3046:29: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3046:29: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3197:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3197:31: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3197:31: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3200:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3200:33: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3200:33: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3589:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3589:27: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3589:27: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3601:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3601:37: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3601:37: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3606:35: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3606:35: sparse: expected struct spinlock [usertype] *lock kernel/signal.c:3606:35: sparse: got struct spinlock [noderef] __rcu * kernel/signal.c:3611:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@ kernel/signal.c:3611:29: sparse: expected struct spinlock [usertype] *lock vim +1267 kernel/signal.c 7978b567d31555 Sukadev Bhattiprolu 2009-04-02 1254 4aaefee589f97b Al Viro 2012-11-05 1255 static void print_fatal_signal(int signr) 45807a1df9f51d Ingo Molnar 2007-07-15 1256 { 4aaefee589f97b Al Viro 2012-11-05 1257 struct pt_regs *regs = signal_pt_regs(); 747800efbe8b98 Wang Xiaoqiang 2016-05-23 1258 pr_info("potentially unexpected fatal signal %d.\n", signr); 45807a1df9f51d Ingo Molnar 2007-07-15 1259 ca5cd877ae699e Al Viro 2007-10-29 1260 #if defined(__i386__) && !defined(__arch_um__) 747800efbe8b98 Wang Xiaoqiang 2016-05-23 1261 pr_info("code at %08lx: ", regs->ip); 45807a1df9f51d Ingo Molnar 2007-07-15 1262 { 45807a1df9f51d Ingo Molnar 2007-07-15 1263 int i; 45807a1df9f51d Ingo Molnar 2007-07-15 1264 for (i = 0; i < 16; i++) { 45807a1df9f51d Ingo Molnar 2007-07-15 1265 unsigned char insn; 45807a1df9f51d Ingo Molnar 2007-07-15 1266 b45c6e76bc2c72 Andi Kleen 2010-01-08 @1267 if (get_user(insn, (unsigned char *)(regs->ip + i))) b45c6e76bc2c72 Andi Kleen 2010-01-08 1268 break; 747800efbe8b98 Wang Xiaoqiang 2016-05-23 1269 pr_cont("%02x ", insn); 45807a1df9f51d Ingo Molnar 2007-07-15 1270 } 45807a1df9f51d Ingo Molnar 2007-07-15 1271 } 747800efbe8b98 Wang Xiaoqiang 2016-05-23 1272 pr_cont("\n"); 45807a1df9f51d Ingo Molnar 2007-07-15 1273 #endif 3a9f84d354ce1e Ed Swierk 2009-01-26 1274 preempt_disable(); 45807a1df9f51d Ingo Molnar 2007-07-15 1275 show_regs(regs); 3a9f84d354ce1e Ed Swierk 2009-01-26 1276 preempt_enable(); 45807a1df9f51d Ingo Molnar 2007-07-15 1277 } 45807a1df9f51d Ingo Molnar 2007-07-15 1278 -- 0-DAY CI Kernel Test Service https://01.org/lkp