Message-ID: <202210051527.IYeRAg61-lkp@intel.com>
Date:   Wed, 5 Oct 2022 15:32:00 +0800
From:   kernel test robot <lkp@...el.com>
To:     Cong Wang <xiyou.wangcong@...il.com>
Cc:     kbuild-all@...ts.01.org, linux-kernel@...r.kernel.org
Subject: [congwang:sch_bpf-kptr 3/5] net/core/filter.c:10658:31: sparse:
 sparse: symbol 'tc_qdisc_verifier_ops' was not declared. Should it be
 static?

tree:   https://github.com/congwang/linux.git sch_bpf-kptr
head:   efc61283d209bbec088ffc83043b9320534faa62
commit: e15fc84b6c56582f8dce2101e7ba9b634681e956 [3/5] net_sched: introduce eBPF based Qdisc
config: alpha-randconfig-s042-20221002
compiler: alpha-linux-gcc (GCC) 12.1.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-39-gce1a6720-dirty
        # https://github.com/congwang/linux/commit/e15fc84b6c56582f8dce2101e7ba9b634681e956
        git remote add congwang https://github.com/congwang/linux.git
        git fetch --no-tags congwang sch_bpf-kptr
        git checkout e15fc84b6c56582f8dce2101e7ba9b634681e956
        # save the config file
        mkdir build_dir && cp config build_dir/.config
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-12.1.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=alpha SHELL=/bin/bash net/core/

If you fix the issue, kindly add following tag where applicable
| Reported-by: kernel test robot <lkp@...el.com>

sparse warnings: (new ones prefixed by >>)
   net/core/filter.c:5928:9: sparse: sparse: switch with no cases
   net/core/filter.c:5969:9: sparse: sparse: switch with no cases
   net/core/filter.c:1413:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected struct sock_filter const *filter @@     got struct sock_filter [noderef] __user *filter @@
   net/core/filter.c:1413:39: sparse:     expected struct sock_filter const *filter
   net/core/filter.c:1413:39: sparse:     got struct sock_filter [noderef] __user *filter
   net/core/filter.c:1491:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected struct sock_filter const *filter @@     got struct sock_filter [noderef] __user *filter @@
   net/core/filter.c:1491:39: sparse:     expected struct sock_filter const *filter
   net/core/filter.c:1491:39: sparse:     got struct sock_filter [noderef] __user *filter
   net/core/filter.c:10634:31: sparse: sparse: symbol 'sk_filter_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10641:27: sparse: sparse: symbol 'sk_filter_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10645:31: sparse: sparse: symbol 'tc_cls_act_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10654:27: sparse: sparse: symbol 'tc_cls_act_prog_ops' was not declared. Should it be static?
>> net/core/filter.c:10658:31: sparse: sparse: symbol 'tc_qdisc_verifier_ops' was not declared. Should it be static?
>> net/core/filter.c:10666:27: sparse: sparse: symbol 'tc_qdisc_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10670:31: sparse: sparse: symbol 'xdp_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10682:31: sparse: sparse: symbol 'cg_skb_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10688:27: sparse: sparse: symbol 'cg_skb_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10692:31: sparse: sparse: symbol 'lwt_in_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10698:27: sparse: sparse: symbol 'lwt_in_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10702:31: sparse: sparse: symbol 'lwt_out_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10708:27: sparse: sparse: symbol 'lwt_out_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10712:31: sparse: sparse: symbol 'lwt_xmit_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10719:27: sparse: sparse: symbol 'lwt_xmit_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10723:31: sparse: sparse: symbol 'lwt_seg6local_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10729:27: sparse: sparse: symbol 'lwt_seg6local_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10733:31: sparse: sparse: symbol 'cg_sock_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10739:27: sparse: sparse: symbol 'cg_sock_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10742:31: sparse: sparse: symbol 'cg_sock_addr_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10748:27: sparse: sparse: symbol 'cg_sock_addr_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10751:31: sparse: sparse: symbol 'sock_ops_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10757:27: sparse: sparse: symbol 'sock_ops_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10760:31: sparse: sparse: symbol 'sk_skb_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10767:27: sparse: sparse: symbol 'sk_skb_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10770:31: sparse: sparse: symbol 'sk_msg_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10777:27: sparse: sparse: symbol 'sk_msg_prog_ops' was not declared. Should it be static?
   net/core/filter.c:10780:31: sparse: sparse: symbol 'flow_dissector_verifier_ops' was not declared. Should it be static?
   net/core/filter.c:10786:27: sparse: sparse: symbol 'flow_dissector_prog_ops' was not declared. Should it be static?
   net/core/filter.c:1912: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:1912:43: sparse:     expected restricted __wsum [usertype] diff
   net/core/filter.c:1912:43: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1915: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:1915:36: sparse:     expected restricted __be16 [usertype] old
   net/core/filter.c:1915:36: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1915: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:1915:42: sparse:     expected restricted __be16 [usertype] new
   net/core/filter.c:1915:42: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1918: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:1918:36: sparse:     expected restricted __be32 [usertype] from
   net/core/filter.c:1918:36: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1918: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:1918:42: sparse:     expected restricted __be32 [usertype] to
   net/core/filter.c:1918:42: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1963: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:1963:59: sparse:     expected restricted __wsum [usertype] diff
   net/core/filter.c:1963:59: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1966: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:1966:52: sparse:     expected restricted __be16 [usertype] from
   net/core/filter.c:1966:52: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1966: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:1966:58: sparse:     expected restricted __be16 [usertype] to
   net/core/filter.c:1966:58: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:1969: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:1969:52: sparse:     expected restricted __be32 [usertype] from
   net/core/filter.c:1969:52: sparse:     got unsigned long long [usertype] from
   net/core/filter.c:1969: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:1969:58: sparse:     expected restricted __be32 [usertype] to
   net/core/filter.c:1969:58: sparse:     got unsigned long long [usertype] to
   net/core/filter.c:2015:28: sparse: sparse: incorrect type in return expression (different base types) @@     expected unsigned long long @@     got restricted __wsum @@
   net/core/filter.c:2015:28: sparse:     expected unsigned long long
   net/core/filter.c:2015:28: sparse:     got restricted __wsum
   net/core/filter.c:2037:35: sparse: sparse: incorrect type in return expression (different base types) @@     expected unsigned long long @@     got restricted __wsum [usertype] csum @@
   net/core/filter.c:2037:35: sparse:     expected unsigned long long
   net/core/filter.c:2037:35: sparse:     got restricted __wsum [usertype] csum

vim +/tc_qdisc_verifier_ops +10658 net/core/filter.c

 10657	
 10658	const struct bpf_verifier_ops tc_qdisc_verifier_ops = {
 10659		.get_func_proto		= tc_cls_act_func_proto,
 10660		.is_valid_access	= tc_cls_act_is_valid_access,
 10661		.convert_ctx_access	= tc_cls_act_convert_ctx_access,
 10662		.gen_prologue		= tc_cls_act_prologue,
 10663		.gen_ld_abs		= bpf_gen_ld_abs,
 10664	};
 10665	
 10666	const struct bpf_prog_ops tc_qdisc_prog_ops = {
 10667		.test_run		= bpf_prog_test_run_skb,
 10668	};
 10669	

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp

View attachment "config" of type "text/plain" (125381 bytes)

Powered by blists - more mailing lists