All of lore.kernel.org
 help / color / mirror / Atom feed
* [sashal-linux-stable:linux-5.4.y 116/174] net/core/filter.c:4043:21: sparse: sparse: cast removes address space '<asn:3>' of expression
@ 2021-09-13  1:54 kernel test robot
  0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2021-09-13  1:54 UTC (permalink / raw)
  To: kbuild-all

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

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git linux-5.4.y
head:   e75220890bf6b37c5f7b1dbd81d8292ed6d96643
commit: b8403f7e45e57ee705bcc2fe99d34ea44703ec3a [116/174] riscv/atomic: Fix sign extension for RV64I
config: riscv-randconfig-s031-20210913 (attached as .config)
compiler: riscv64-linux-gcc (GCC) 11.2.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.4-dirty
        # https://git.kernel.org/pub/scm/linux/kernel/git/sashal/linux-stable.git/commit/?id=b8403f7e45e57ee705bcc2fe99d34ea44703ec3a
        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-5.4.y
        git checkout b8403f7e45e57ee705bcc2fe99d34ea44703ec3a
        # save the attached .config to linux build tree
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=riscv SHELL=/bin/bash net/core/

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:411:33: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:414:33: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:417:33: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:420:33: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:423:33: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:497:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:500:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:503:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:1391: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:1391:39: sparse:     expected struct sock_filter const *filter
   net/core/filter.c:1391:39: sparse:     got struct sock_filter [noderef] <asn:1> *filter
   net/core/filter.c:1469: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:1469:39: sparse:     expected struct sock_filter const *filter
   net/core/filter.c:1469:39: sparse:     got struct sock_filter [noderef] <asn:1> *filter
>> net/core/filter.c:4043:21: sparse: sparse: cast removes address space '<asn:3>' of expression
   net/core/filter.c:6801:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:6804:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:6807:27: sparse: sparse: subtraction of functions? Share your drugs
   net/core/filter.c:8504:31: sparse: sparse: symbol 'cg_skb_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:8510:27: sparse: sparse: symbol 'cg_skb_prog_ops' was not declared. Should it be static?
   net/core/filter.c:8555:31: sparse: sparse: symbol 'cg_sock_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:8561:27: sparse: sparse: symbol 'cg_sock_prog_ops' was not declared. Should it be static?
   net/core/filter.c:8564:31: sparse: sparse: symbol 'cg_sock_addr_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:8570:27: sparse: sparse: symbol 'cg_sock_addr_prog_ops' was not declared. Should it be static?
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:215:32: sparse: sparse: cast to restricted __be16
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:242:32: sparse: sparse: cast to restricted __be32
   net/core/filter.c:1893: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:1893:43: sparse:     expected restricted __wsum [usertype] diff
   net/core/filter.c:1893:43: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1896: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:1896:36: sparse:     expected restricted __be16 [usertype] old
   net/core/filter.c:1896:36: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1896: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:1896:42: sparse:     expected restricted __be16 [usertype] new
   net/core/filter.c:1896:42: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1899: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:1899:36: sparse:     expected restricted __be32 [usertype] from
   net/core/filter.c:1899:36: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1899: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:1899:42: sparse:     expected restricted __be32 [usertype] to
   net/core/filter.c:1899:42: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1944: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:1944:59: sparse:     expected restricted __wsum [usertype] diff
   net/core/filter.c:1944:59: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1947: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:1947:52: sparse:     expected restricted __be16 [usertype] from
   net/core/filter.c:1947:52: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1947: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:1947:58: sparse:     expected restricted __be16 [usertype] to
   net/core/filter.c:1947:58: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1950: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:1950:52: sparse:     expected restricted __be32 [usertype] from
   net/core/filter.c:1950:52: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1950: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:1950:58: sparse:     expected restricted __be32 [usertype] to
   net/core/filter.c:1950:58: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1996:28: sparse: sparse: incorrect type in return expression (different base types) @@     expected unsigned long long @@     got restricted __wsum @@
   net/core/filter.c:1996:28: sparse:     expected unsigned long long
   net/core/filter.c:1996:28: sparse:     got restricted __wsum
   net/core/filter.c:2018:35: sparse: sparse: incorrect type in return expression (different base types) @@     expected unsigned long long @@     got restricted __wsum [usertype] csum @@
   net/core/filter.c:2018:35: sparse:     expected unsigned long long
   net/core/filter.c:2018:35: sparse:     got restricted __wsum [usertype] csum
   net/core/filter.c:4570: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:4570:17: sparse:     expected unsigned int [usertype] spi
   net/core/filter.c:4570:17: sparse:     got restricted __be32 const [usertype] spi
   net/core/filter.c:4578: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:4578:33: sparse:     expected unsigned int [usertype] remote_ipv4
   net/core/filter.c:4578:33: sparse:     got restricted __be32 const [usertype] a4

vim +4043 net/core/filter.c

14ca0751c96f8d Daniel Borkmann    2016-03-04  4031  
14ca0751c96f8d Daniel Borkmann    2016-03-04  4032  static const struct bpf_func_proto *
14ca0751c96f8d Daniel Borkmann    2016-03-04  4033  bpf_get_skb_set_tunnel_proto(enum bpf_func_id which)
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4034  {
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4035  	if (!md_dst) {
d66f2b91f95b56 Jakub Kicinski     2017-10-09  4036  		struct metadata_dst __percpu *tmp;
d66f2b91f95b56 Jakub Kicinski     2017-10-09  4037  
d66f2b91f95b56 Jakub Kicinski     2017-10-09  4038  		tmp = metadata_dst_alloc_percpu(IP_TUNNEL_OPTS_MAX,
3fcece12bc1b6d Jakub Kicinski     2017-06-23  4039  						METADATA_IP_TUNNEL,
14ca0751c96f8d Daniel Borkmann    2016-03-04  4040  						GFP_KERNEL);
d66f2b91f95b56 Jakub Kicinski     2017-10-09  4041  		if (!tmp)
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4042  			return NULL;
d66f2b91f95b56 Jakub Kicinski     2017-10-09 @4043  		if (cmpxchg(&md_dst, NULL, tmp))
d66f2b91f95b56 Jakub Kicinski     2017-10-09  4044  			metadata_dst_free_percpu(tmp);
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4045  	}
14ca0751c96f8d Daniel Borkmann    2016-03-04  4046  
14ca0751c96f8d Daniel Borkmann    2016-03-04  4047  	switch (which) {
14ca0751c96f8d Daniel Borkmann    2016-03-04  4048  	case BPF_FUNC_skb_set_tunnel_key:
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4049  		return &bpf_skb_set_tunnel_key_proto;
14ca0751c96f8d Daniel Borkmann    2016-03-04  4050  	case BPF_FUNC_skb_set_tunnel_opt:
14ca0751c96f8d Daniel Borkmann    2016-03-04  4051  		return &bpf_skb_set_tunnel_opt_proto;
14ca0751c96f8d Daniel Borkmann    2016-03-04  4052  	default:
14ca0751c96f8d Daniel Borkmann    2016-03-04  4053  		return NULL;
14ca0751c96f8d Daniel Borkmann    2016-03-04  4054  	}
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4055  }
d3aa45ce6b94c6 Alexei Starovoitov 2015-07-30  4056  

:::::: The code at line 4043 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: 35868 bytes --]

^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2021-09-13  1:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-13  1:54 [sashal-linux-stable:linux-5.4.y 116/174] net/core/filter.c:4043:21: sparse: sparse: cast removes address space '<asn:3>' of expression 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.