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(a)intel.com&gt; 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: 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; 297 log->ubuf = NULL; 298 } 299 --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org