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

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [day] [month] [year] [list]

Message-ID: <202401071250.XKU9ZxU4-lkp@intel.com>
Date: Sun, 7 Jan 2024 13:02:27 +0800
From: kernel test robot <lkp@...el.com>
To: Alexei Starovoitov <ast@...nel.org>
Cc: oe-kbuild-all@...ts.linux.dev, linux-kernel@...r.kernel.org,
	Daniel Borkmann <daniel@...earbox.net>
Subject: kernel/bpf/trampoline.c:9:31: sparse: sparse: symbol
 'bpf_extension_verifier_ops' was not declared. Should it be static?

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@intel.com/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@intel.com/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@...el.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202401071250.XKU9ZxU4-lkp@intel.com/

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