All of lore.kernel.org
 help / color / mirror / Atom feed
* [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
@ 2021-06-22 10:05 kernel test robot
  0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2021-06-22 10:05 UTC (permalink / raw)
  To: kbuild-all

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

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/commit/?id=a24f9d6cf9bd65c1305344134e0182ed7bef76c8
        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@intel.com>


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:3717:21: sparse: sparse: cast removes address space '<asn:3>' of expression
   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@netronome.com>
:::::: CC: David S. Miller <davem@davemloft.net>

---
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: 23207 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [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
@ 2020-11-25 17:03 kernel test robot
  0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2020-11-25 17:03 UTC (permalink / raw)
  To: kbuild-all

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

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-20201125 (attached as .config)
compiler: riscv32-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-151-g540c2c4b-dirty
        # https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git/commit/?id=a24f9d6cf9bd65c1305344134e0182ed7bef76c8
        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__' ARCH=riscv 

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


"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:3717:21: sparse: sparse: cast removes address space '<asn:3>' of expression
   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: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

14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3705  
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3706  static const struct bpf_func_proto *
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3707  bpf_get_skb_set_tunnel_proto(enum bpf_func_id which)
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3708  {
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3709  	if (!md_dst) {
d66f2b91f95b56e Jakub Kicinski     2017-10-09  3710  		struct metadata_dst __percpu *tmp;
d66f2b91f95b56e Jakub Kicinski     2017-10-09  3711  
d66f2b91f95b56e Jakub Kicinski     2017-10-09  3712  		tmp = metadata_dst_alloc_percpu(IP_TUNNEL_OPTS_MAX,
3fcece12bc1b6dc Jakub Kicinski     2017-06-23  3713  						METADATA_IP_TUNNEL,
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3714  						GFP_KERNEL);
d66f2b91f95b56e Jakub Kicinski     2017-10-09  3715  		if (!tmp)
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3716  			return NULL;
d66f2b91f95b56e Jakub Kicinski     2017-10-09 @3717  		if (cmpxchg(&md_dst, NULL, tmp))
d66f2b91f95b56e Jakub Kicinski     2017-10-09  3718  			metadata_dst_free_percpu(tmp);
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3719  	}
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3720  
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3721  	switch (which) {
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3722  	case BPF_FUNC_skb_set_tunnel_key:
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3723  		return &bpf_skb_set_tunnel_key_proto;
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3724  	case BPF_FUNC_skb_set_tunnel_opt:
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3725  		return &bpf_skb_set_tunnel_opt_proto;
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3726  	default:
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3727  		return NULL;
14ca0751c96f8d3 Daniel Borkmann    2016-03-04  3728  	}
d3aa45ce6b94c65 Alexei Starovoitov 2015-07-30  3729  }
d3aa45ce6b94c65 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@netronome.com>
:::::: CC: David S. Miller <davem@davemloft.net>

---
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: 23941 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-06-22 10:05 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-22 10:05 [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 kernel test robot
  -- strict thread matches above, loose matches on Subject: below --
2020-11-25 17:03 kernel test robot

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.