[jimc:folio-pool-v2-lockdep 6/21] kernel/bpf/verifier.c:19799:27: error: incompatible pointer types passing 'struct static_key_true *' to parameter of type 'struct static_key *'

kernel test robot <[email protected]>
Newsgroups dev.linux.lists.oe-kbuild-all
Message-ID <[email protected]>
tree:   https://github.com/jimc/linux.git folio-pool-v2-lockdep
head:   e77ee8289ea0755b0ee299348504d4568f942d71
commit: ae43aea8c1fa99e61d57341384a5f99c293d1f5f [6/21] bpf/verifier: Route verifier stack state node allocations to folio_pool
config: loongarch-defconfig (https://download.01.org/0day-ci/archive/20260818/[email protected]/config)
compiler: clang version 24.0.0git (https://github.com/llvm/llvm-project 844a18e753e822736c9805ab779144b647a2c186)
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260818/[email protected]/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 <[email protected]>
| Closes: https://lore.kernel.org/oe-kbuild-all/[email protected]/

Note: the jimc/folio-pool-v2-lockdep HEAD e77ee8289ea0755b0ee299348504d4568f942d71 builds fine.
      It only hurts bisectability.

All errors (new ones prefixed by >>):

>> kernel/bpf/verifier.c:19799:27: error: incompatible pointer types passing 'struct static_key_true *' to parameter of type 'struct static_key *' [-Wincompatible-pointer-types]
    19799 |                             get_order(SZ_64K), &bpf_state_pool_key);
          |                                                ^~~~~~~~~~~~~~~~~~~
   include/linux/folio_pool.h:240:24: note: passing argument to parameter 'key' here
     240 |                          struct static_key *key);
         |                                             ^
   1 error generated.


vim +19799 kernel/bpf/verifier.c

 19776	
 19777	int bpf_check(struct bpf_prog **prog, union bpf_attr *attr, bpfptr_t uattr,
 19778		      struct bpf_log_attr *attr_log)
 19779	{
 19780		u64 start_time = ktime_get_ns();
 19781		struct bpf_verifier_env *env;
 19782		int i, len, ret = -EINVAL, err;
 19783		bool is_priv;
 19784	
 19785		BTF_TYPE_EMIT(enum bpf_features);
 19786	
 19787		/* no program is valid */
 19788		if (ARRAY_SIZE(bpf_verifier_ops) == 0)
 19789			return -EINVAL;
 19790	
 19791		/* 'struct bpf_verifier_env' can be global, but since it's not small,
 19792		 * allocate/free it every time bpf_check() is called
 19793		 */
 19794		env = kvzalloc_obj(struct bpf_verifier_env, GFP_KERNEL_ACCOUNT);
 19795		if (!env)
 19796			return -ENOMEM;
 19797	
 19798		folio_pool_init_key(&env->state_pool, sizeof(struct bpf_verifier_stack_elem),
 19799				    get_order(SZ_64K), &bpf_state_pool_key);

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.