[kbuild-all] [sashal-linux-stable:linux-4.19.y 89/127] net/core/filter.c:3717:21: sparse: sparse: cast removes address space '<asn:3>' of expression

tree: https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git linux-4.19.y head: 399849e4654ea496a6217ba4e5ee3d304c995ab4 commit: a24f9d6cf9bd65c1305344134e0182ed7bef76c8 [89/127] riscv/atomic: Fix sign extension for RV64I config: riscv-randconfig-s032-20210622 (attached as .config) compiler: riscv64-linux-gcc (GCC) 9.3.0 reproduce: wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross chmod +x ~/bin/make.cross # apt-get install sparse # sparse version: v0.6.3-341-g8af24329-dirty # https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git/c... git remote add sashal-linux-stable https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git git fetch --no-tags sashal-linux-stable linux-4.19.y git checkout a24f9d6cf9bd65c1305344134e0182ed7bef76c8 # save the attached .config to linux build tree COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-9.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' W=1 ARCH=riscv If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot <lkp(a)intel.com&gt; sparse warnings: (new ones prefixed by >>) net/core/filter.c:410:33: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:413:33: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:416:33: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:419:33: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:422:33: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:495:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:498:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:501:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:1389:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sock_filter const *filter @@ got struct sock_filter [noderef] <asn:1> *filter @@ net/core/filter.c:1389:39: sparse: expected struct sock_filter const *filter net/core/filter.c:1389:39: sparse: got struct sock_filter [noderef] <asn:1> *filter net/core/filter.c:1467:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sock_filter const *filter @@ got struct sock_filter [noderef] <asn:1> *filter @@ net/core/filter.c:1467:39: sparse: expected struct sock_filter const *filter net/core/filter.c:1467:39: sparse: got struct sock_filter [noderef] <asn:1> *filter net/core/filter.c:5433:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:5436:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:5439:27: sparse: sparse: subtraction of functions? Share your drugs net/core/filter.c:6873:31: sparse: sparse: symbol 'sk_filter_verifier_ops' was not declared. Should it be static? net/core/filter.c:6880:27: sparse: sparse: symbol 'sk_filter_prog_ops' was not declared. Should it be static? net/core/filter.c:6884:31: sparse: sparse: symbol 'tc_cls_act_verifier_ops' was not declared. Should it be static? net/core/filter.c:6892:27: sparse: sparse: symbol 'tc_cls_act_prog_ops' was not declared. Should it be static? net/core/filter.c:6896:31: sparse: sparse: symbol 'xdp_verifier_ops' was not declared. Should it be static? net/core/filter.c:6906:31: sparse: sparse: symbol 'cg_skb_verifier_ops' was not declared. Should it be static? net/core/filter.c:6912:27: sparse: sparse: symbol 'cg_skb_prog_ops' was not declared. Should it be static? net/core/filter.c:6916:31: sparse: sparse: symbol 'lwt_in_verifier_ops' was not declared. Should it be static? net/core/filter.c:6922:27: sparse: sparse: symbol 'lwt_in_prog_ops' was not declared. Should it be static? net/core/filter.c:6926:31: sparse: sparse: symbol 'lwt_out_verifier_ops' was not declared. Should it be static? net/core/filter.c:6932:27: sparse: sparse: symbol 'lwt_out_prog_ops' was not declared. Should it be static? net/core/filter.c:6936:31: sparse: sparse: symbol 'lwt_xmit_verifier_ops' was not declared. Should it be static? net/core/filter.c:6943:27: sparse: sparse: symbol 'lwt_xmit_prog_ops' was not declared. Should it be static? net/core/filter.c:6947:31: sparse: sparse: symbol 'lwt_seg6local_verifier_ops' was not declared. Should it be static? net/core/filter.c:6953:27: sparse: sparse: symbol 'lwt_seg6local_prog_ops' was not declared. Should it be static? net/core/filter.c:6957:31: sparse: sparse: symbol 'cg_sock_verifier_ops' was not declared. Should it be static? net/core/filter.c:6963:27: sparse: sparse: symbol 'cg_sock_prog_ops' was not declared. Should it be static? net/core/filter.c:6966:31: sparse: sparse: symbol 'cg_sock_addr_verifier_ops' was not declared. Should it be static? net/core/filter.c:6972:27: sparse: sparse: symbol 'cg_sock_addr_prog_ops' was not declared. Should it be static? net/core/filter.c:6975:31: sparse: sparse: symbol 'sock_ops_verifier_ops' was not declared. Should it be static? net/core/filter.c:6981:27: sparse: sparse: symbol 'sock_ops_prog_ops' was not declared. Should it be static? net/core/filter.c:6984:31: sparse: sparse: symbol 'sk_skb_verifier_ops' was not declared. Should it be static? net/core/filter.c:6991:27: sparse: sparse: symbol 'sk_skb_prog_ops' was not declared. Should it be static? net/core/filter.c:6994:31: sparse: sparse: symbol 'sk_msg_verifier_ops' was not declared. Should it be static? net/core/filter.c:7000:27: sparse: sparse: symbol 'sk_msg_prog_ops' was not declared. Should it be static? net/core/filter.c:7325:31: sparse: sparse: symbol 'sk_reuseport_verifier_ops' was not declared. Should it be static? net/core/filter.c:7331:27: sparse: sparse: symbol 'sk_reuseport_prog_ops' was not declared. Should it be static? net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:210:32: sparse: sparse: cast to restricted __be16 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:237:32: sparse: sparse: cast to restricted __be32 net/core/filter.c:1845:43: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __wsum [usertype] diff @@ got unsigned long long [usertype] to @@ net/core/filter.c:1845:43: sparse: expected restricted __wsum [usertype] diff net/core/filter.c:1845:43: sparse: got unsigned long long [usertype] to net/core/filter.c:1848:36: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __be16 [usertype] old @@ got unsigned long long [usertype] from @@ net/core/filter.c:1848:36: sparse: expected restricted __be16 [usertype] old net/core/filter.c:1848:36: sparse: got unsigned long long [usertype] from net/core/filter.c:1848:42: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be16 [usertype] new @@ got unsigned long long [usertype] to @@ net/core/filter.c:1848:42: sparse: expected restricted __be16 [usertype] new net/core/filter.c:1848:42: sparse: got unsigned long long [usertype] to net/core/filter.c:1851:36: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __be32 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1851:36: sparse: expected restricted __be32 [usertype] from net/core/filter.c:1851:36: sparse: got unsigned long long [usertype] from net/core/filter.c:1851:42: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be32 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1851:42: sparse: expected restricted __be32 [usertype] to net/core/filter.c:1851:42: sparse: got unsigned long long [usertype] to net/core/filter.c:1896:59: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __wsum [usertype] diff @@ got unsigned long long [usertype] to @@ net/core/filter.c:1896:59: sparse: expected restricted __wsum [usertype] diff net/core/filter.c:1896:59: sparse: got unsigned long long [usertype] to net/core/filter.c:1899:52: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be16 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1899:52: sparse: expected restricted __be16 [usertype] from net/core/filter.c:1899:52: sparse: got unsigned long long [usertype] from net/core/filter.c:1899:58: sparse: sparse: incorrect type in argument 4 (different base types) @@ expected restricted __be16 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1899:58: sparse: expected restricted __be16 [usertype] to net/core/filter.c:1899:58: sparse: got unsigned long long [usertype] to net/core/filter.c:1902:52: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected restricted __be32 [usertype] from @@ got unsigned long long [usertype] from @@ net/core/filter.c:1902:52: sparse: expected restricted __be32 [usertype] from net/core/filter.c:1902:52: sparse: got unsigned long long [usertype] from net/core/filter.c:1902:58: sparse: sparse: incorrect type in argument 4 (different base types) @@ expected restricted __be32 [usertype] to @@ got unsigned long long [usertype] to @@ net/core/filter.c:1902:58: sparse: expected restricted __be32 [usertype] to net/core/filter.c:1902:58: sparse: got unsigned long long [usertype] to net/core/filter.c:1948:28: sparse: sparse: incorrect type in return expression (different base types) @@ expected unsigned long long @@ got restricted __wsum @@ net/core/filter.c:1948:28: sparse: expected unsigned long long net/core/filter.c:1948:28: sparse: got restricted __wsum net/core/filter.c:1970:35: sparse: sparse: incorrect type in return expression (different base types) @@ expected unsigned long long @@ got restricted __wsum [usertype] csum @@ net/core/filter.c:1970:35: sparse: expected unsigned long long net/core/filter.c:1970:35: sparse: got restricted __wsum [usertype] csum net/core/filter.c:4199:17: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] spi @@ got restricted __be32 const [usertype] spi @@ net/core/filter.c:4199:17: sparse: expected unsigned int [usertype] spi net/core/filter.c:4199:17: sparse: got restricted __be32 const [usertype] spi net/core/filter.c:4207:33: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] remote_ipv4 @@ got restricted __be32 const [usertype] a4 @@ net/core/filter.c:4207:33: sparse: expected unsigned int [usertype] remote_ipv4 net/core/filter.c:4207:33: sparse: got restricted __be32 const [usertype] a4 net/core/filter.c: In function 'bpf_base_func_proto': net/core/filter.c:4847:6: warning: this statement may fall through [-Wimplicit-fallthrough=] 4847 | if (capable(CAP_SYS_ADMIN)) | ^ net/core/filter.c:4850:2: note: here 4850 | default: | ^~~~~~~ vim +3717 net/core/filter.c 14ca0751c96f8d Daniel Borkmann 2016-03-04 3705 14ca0751c96f8d Daniel Borkmann 2016-03-04 3706 static const struct bpf_func_proto * 14ca0751c96f8d Daniel Borkmann 2016-03-04 3707 bpf_get_skb_set_tunnel_proto(enum bpf_func_id which) d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3708 { d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3709 if (!md_dst) { d66f2b91f95b56 Jakub Kicinski 2017-10-09 3710 struct metadata_dst __percpu *tmp; d66f2b91f95b56 Jakub Kicinski 2017-10-09 3711 d66f2b91f95b56 Jakub Kicinski 2017-10-09 3712 tmp = metadata_dst_alloc_percpu(IP_TUNNEL_OPTS_MAX, 3fcece12bc1b6d Jakub Kicinski 2017-06-23 3713 METADATA_IP_TUNNEL, 14ca0751c96f8d Daniel Borkmann 2016-03-04 3714 GFP_KERNEL); d66f2b91f95b56 Jakub Kicinski 2017-10-09 3715 if (!tmp) d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3716 return NULL; d66f2b91f95b56 Jakub Kicinski 2017-10-09 @3717 if (cmpxchg(&md_dst, NULL, tmp)) d66f2b91f95b56 Jakub Kicinski 2017-10-09 3718 metadata_dst_free_percpu(tmp); d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3719 } 14ca0751c96f8d Daniel Borkmann 2016-03-04 3720 14ca0751c96f8d Daniel Borkmann 2016-03-04 3721 switch (which) { 14ca0751c96f8d Daniel Borkmann 2016-03-04 3722 case BPF_FUNC_skb_set_tunnel_key: d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3723 return &bpf_skb_set_tunnel_key_proto; 14ca0751c96f8d Daniel Borkmann 2016-03-04 3724 case BPF_FUNC_skb_set_tunnel_opt: 14ca0751c96f8d Daniel Borkmann 2016-03-04 3725 return &bpf_skb_set_tunnel_opt_proto; 14ca0751c96f8d Daniel Borkmann 2016-03-04 3726 default: 14ca0751c96f8d Daniel Borkmann 2016-03-04 3727 return NULL; 14ca0751c96f8d Daniel Borkmann 2016-03-04 3728 } d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3729 } d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30 3730 :::::: The code at line 3717 was first introduced by commit :::::: d66f2b91f95b56e31772b9faa0d036cd2e53cb02 bpf: don't rely on the verifier lock for metadata_dst allocation :::::: TO: Jakub Kicinski <jakub.kicinski(a)netronome.com&gt; :::::: CC: David S. Miller <davem(a)davemloft.net&gt; --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org