[linux-next:master 3933/10701] kernel/bpf/verifier.c:296:13: sparse: sparse: incorrect type in argument 1 (different address spaces)

[linux-next:master 3933/10701] kernel/bpf/verifier.c:296:13: sparse: sparse: incorrect type in argument 1 (different address spaces)

[kbuild test robot]

[-- Attachment #1: Type: text/plain, Size: 3864 bytes --]

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master
head:   fb57b1fabcb28f358901b2df90abd2b48abc1ca8
commit: 6f8a57ccf8511724e6f48d732cb2940889789ab2 [3933/10701] bpf: Make verifier log more relevant by default
config: m68k-randconfig-s002-20200520 (attached as .config)
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.1-193-gb8fad4bc-dirty
        git checkout 6f8a57ccf8511724e6f48d732cb2940889789ab2
        # save the attached .config to linux build tree
        make C=1 ARCH=m68k CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'

If you fix the issue, kindly add following tag as appropriate
Reported-by: kbuild test robot <lkp@intel.com>


sparse warnings: (new ones prefixed by >>)

   kernel/bpf/verifier.c:296:13: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:296:13: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:296:13: sparse: sparse: cast removes address space '<asn:1>' of expression
>> kernel/bpf/verifier.c:296:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected void * @@    got char [noderef] <asvoid * @@
   kernel/bpf/verifier.c:296:13: sparse:    expected void *
   kernel/bpf/verifier.c:296:13: sparse:    got char [noderef] <asn:1> *
   kernel/bpf/verifier.c:7405:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7405:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7405:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7405:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected void * @@    got unsigned int [noderef] <asvoid * @@
   kernel/bpf/verifier.c:7405:37: sparse:    expected void *
   kernel/bpf/verifier.c:7405:37: sparse:    got unsigned int [noderef] <asn:1> *
   kernel/bpf/verifier.c:7522:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7522:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7522:37: sparse: sparse: cast removes address space '<asn:1>' of expression
   kernel/bpf/verifier.c:7522:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected void * @@    got unsigned int [noderef] <asvoid * @@
   kernel/bpf/verifier.c:7522:37: sparse:    expected void *
   kernel/bpf/verifier.c:7522:37: sparse:    got unsigned int [noderef] <asn:1> *
   kernel/bpf/verifier.c:9706:76: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10081:81: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10085:81: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10089:81: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10093:79: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10097:78: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10101:79: sparse: sparse: subtraction of functions? Share your drugs
   kernel/bpf/verifier.c:10144:38: sparse: sparse: subtraction of functions? Share your drugs

vim +296 kernel/bpf/verifier.c

   287	
   288	static void bpf_vlog_reset(struct bpf_verifier_log *log, u32 new_pos)
   289	{
   290		char zero = 0;
   291	
   292		if (!bpf_verifier_log_needed(log))
   293			return;
   294	
   295		log->len_used = new_pos;
 > 296		if (put_user(zero, log->ubuf + new_pos))
   297			log->ubuf = NULL;
   298	}
   299	

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 28745 bytes --]