kernel/bpf/trampoline.c:9:31: sparse: sparse: symbol 'bpf_extension_verifier_ops' was not declared. Should it be static?

From: kernel test robot
Date: Sun Jan 07 2024 - 00:03:20 EST


tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 52b1853b080a082ec3749c3a9577f6c71b1d4a90
commit: be8704ff07d2374bcc5c675526f95e70c6459683 bpf: Introduce dynamic program extensions
date: 4 years ago
config: x86_64-randconfig-121-20240106 (https://download.01.org/0day-ci/archive/20240107/202401071250.XKU9ZxU4-lkp@xxxxxxxxx/config)
compiler: ClangBuiltLinux clang version 17.0.6 (https://github.com/llvm/llvm-project 6009708b4367171ccdbf4b5905cb6a803753fe18)
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20240107/202401071250.XKU9ZxU4-lkp@xxxxxxxxx/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@xxxxxxxxx>
| Closes: https://lore.kernel.org/oe-kbuild-all/202401071250.XKU9ZxU4-lkp@xxxxxxxxx/

sparse warnings: (new ones prefixed by >>)
>> kernel/bpf/trampoline.c:9:31: sparse: sparse: symbol 'bpf_extension_verifier_ops' was not declared. Should it be static?
>> kernel/bpf/trampoline.c:11:27: sparse: sparse: symbol 'bpf_extension_prog_ops' was not declared. Should it be static?
kernel/bpf/trampoline.c:320:9: sparse: sparse: context imbalance in '__bpf_prog_enter' - wrong count at exit
kernel/bpf/trampoline.c: note: in included file (through include/linux/workqueue.h, include/linux/bpf.h):
include/linux/rcupdate.h:669:9: sparse: sparse: context imbalance in '__bpf_prog_exit' - unexpected unlock

vim +/bpf_extension_verifier_ops +9 kernel/bpf/trampoline.c

7
8 /* dummy _ops. The verifier will operate on target program's ops. */
> 9 const struct bpf_verifier_ops bpf_extension_verifier_ops = {
10 };
> 11 const struct bpf_prog_ops bpf_extension_prog_ops = {
12 };
13

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki