arch/arm64/net/bpf_jit_comp.c:3071:32: sparse: sparse: arithmetics on pointers to functions

arch/arm64/net/bpf_jit_comp.c:3071:32: sparse: sparse: arithmetics on pointers to functions

[kernel test robot]

:::::: 
:::::: Manual check reason: "low confidence static check warning: arch/arm64/net/bpf_jit_comp.c:3071:32: sparse: sparse: arithmetics on pointers to functions"
:::::: 

BCC: lkp@intel.com
CC: oe-kbuild-all@lists.linux.dev
CC: linux-kernel@vger.kernel.org
TO: Puranjay Mohan <puranjay12@gmail.com>
CC: Alexei Starovoitov <ast@kernel.org>
CC: Maxwell Bland <mbland@motorola.com>
CC: Sami Tolvanen <samitolvanen@google.com>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   4a298a43f5e339f48d2dda0665c02b88ee9a4e03
commit: 710618c760c0a3267221517d78f4cfb65ca7b882 arm64/cfi,bpf: Support kCFI + BPF on arm64
date:   5 months ago
:::::: branch date: 2 hours ago
:::::: commit date: 5 months ago
config: arm64-randconfig-r113-20251213 (https://download.01.org/0day-ci/archive/20251214/202512140357.cUqP7fty-lkp@intel.com/config)
compiler: aarch64-linux-gcc (GCC) 12.5.0
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20251214/202512140357.cUqP7fty-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@intel.com>
| Closes: https://lore.kernel.org/r/202512140357.cUqP7fty-lkp@intel.com/

sparse warnings: (new ones prefixed by >>)
>> arch/arm64/net/bpf_jit_comp.c:3071:32: sparse: sparse: arithmetics on pointers to functions
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse: sparse: incorrect type in assignment (different base types) @@     expected restricted __le32 [usertype] @@     got unsigned int const [usertype] data @@
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse:     expected restricted __le32 [usertype]
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse:     got unsigned int const [usertype] data
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse: sparse: incorrect type in assignment (different base types) @@     expected restricted __le32 [usertype] @@     got unsigned int const [usertype] data @@
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse:     expected restricted __le32 [usertype]
   arch/arm64/net/bpf_jit_comp.c:121:38: sparse:     got unsigned int const [usertype] data
   arch/arm64/net/bpf_jit_comp.c:3071:17: sparse: sparse: non size-preserving pointer to integer cast
   arch/arm64/net/bpf_jit_comp.c:3071:17: sparse: sparse: non size-preserving integer to pointer cast

vim +3071 arch/arm64/net/bpf_jit_comp.c

75fe4c0b3e181f Puranjay Mohan 2024-05-02  3052  
1dad391daef129 Puranjay Mohan 2024-02-28  3053  void bpf_jit_free(struct bpf_prog *prog)
1dad391daef129 Puranjay Mohan 2024-02-28  3054  {
1dad391daef129 Puranjay Mohan 2024-02-28  3055  	if (prog->jited) {
1dad391daef129 Puranjay Mohan 2024-02-28  3056  		struct arm64_jit_data *jit_data = prog->aux->jit_data;
1dad391daef129 Puranjay Mohan 2024-02-28  3057  		struct bpf_binary_header *hdr;
6c17a882d3804d Puranjay Mohan 2025-07-24  3058  		void __percpu *priv_stack_ptr;
6c17a882d3804d Puranjay Mohan 2025-07-24  3059  		int priv_stack_alloc_sz;
1dad391daef129 Puranjay Mohan 2024-02-28  3060  
1dad391daef129 Puranjay Mohan 2024-02-28  3061  		/*
1dad391daef129 Puranjay Mohan 2024-02-28  3062  		 * If we fail the final pass of JIT (from jit_subprogs),
1dad391daef129 Puranjay Mohan 2024-02-28  3063  		 * the program may not be finalized yet. Call finalize here
1dad391daef129 Puranjay Mohan 2024-02-28  3064  		 * before freeing it.
1dad391daef129 Puranjay Mohan 2024-02-28  3065  		 */
1dad391daef129 Puranjay Mohan 2024-02-28  3066  		if (jit_data) {
1dad391daef129 Puranjay Mohan 2024-02-28  3067  			bpf_arch_text_copy(&jit_data->ro_header->size, &jit_data->header->size,
1dad391daef129 Puranjay Mohan 2024-02-28  3068  					   sizeof(jit_data->header->size));
1dad391daef129 Puranjay Mohan 2024-02-28  3069  			kfree(jit_data);
1dad391daef129 Puranjay Mohan 2024-02-28  3070  		}
710618c760c0a3 Puranjay Mohan 2025-08-01 @3071  		prog->bpf_func -= cfi_get_offset();

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