From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mgamail.intel.com (mgamail.intel.com [198.175.65.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id EB0E438F920 for ; Fri, 27 Feb 2026 20:30:28 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=198.175.65.16 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772224230; cv=none; b=k9lx9AX7kQasbcyFlmxnI1yyzXhryHGkd4thkA4dgvL5u0OSbvt0v5eoVKIn8EzFSyZirN7G1HmLWjdWSA/MvLIqiRcuN+IG8gklm9Hy9Bt27R80guVpIpxYz+i7Cacpt4ulmliYZcmMkQVbQ6oc2MVSdoDNH5Ao7rBaXhxAgKM= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772224230; c=relaxed/simple; bh=xkoe7tvI3xP4dgrh66Kxhyfk3pNry4DDCydNayOZA4Q=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=Yqi5/bg1dB4RSRYelzlE9WbZKkqlI8Zkj1eDZoyATlIHd0DI8kLgeBvz+k+cA8LRx+bCG8IgN+nx7D4Us0joPqg95mbJZG2GSIuUQbfAAn8OXVUTSD6cvleX3M1Eq9qtVkfpq4+pIovfGx4aq67GbLctGk+uyRTyAjfBmPrWkKA= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=intel.com; spf=pass smtp.mailfrom=intel.com; dkim=pass (2048-bit key) header.d=intel.com header.i=@intel.com header.b=fCj4G95N; arc=none smtp.client-ip=198.175.65.16 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=intel.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=intel.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=intel.com header.i=@intel.com header.b="fCj4G95N" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1772224229; x=1803760229; h=date:from:to:cc:subject:message-id:references: mime-version:in-reply-to; bh=xkoe7tvI3xP4dgrh66Kxhyfk3pNry4DDCydNayOZA4Q=; b=fCj4G95Nma6Dsfq6UVh/GytPcdsL1OX4vEae/KTtNYUdRZGQ1wIkWijy MNH4KADScqwrjs6/zIGu88TfA3wEpCsm6ZgwtuKFnD0zq502LZlhzHrfF jRYhwCfw4xW9JcFH/lQoFvy+KOATCTGKgyX+UARfI68jLr8m5BBLyqUyh bJUxjfPWr2HgsgZ8elpfU7j81yUjFcyCGdO4RpE/F+v9Vd48aXWJ2q2jc 5YoBXQCo1fsZ95EogoH6gr85+lJOuDZaqgtXEFNJBxeW3aeOCJeuE2J1l tUvxZAtpW73yWM7E57ZHm+MuJxEYBFz9u/yufTGTpr7mBRA+o5sG4XNyb Q==; X-CSE-ConnectionGUID: o1wexh+5TTqHLKioebfifQ== X-CSE-MsgGUID: Q85Q1DzNTJai38uSZ36mWw== X-IronPort-AV: E=McAfee;i="6800,10657,11714"; a="73500586" X-IronPort-AV: E=Sophos;i="6.21,314,1763452800"; d="scan'208";a="73500586" Received: from orviesa008.jf.intel.com ([10.64.159.148]) by orvoesa108.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Feb 2026 12:30:28 -0800 X-CSE-ConnectionGUID: D40psNjtSuWxZDDsEzukyg== X-CSE-MsgGUID: f/31cEKUTkq28BPGoYxHWg== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.21,314,1763452800"; d="scan'208";a="217028327" Received: from lkp-server02.sh.intel.com (HELO a3936d6a266d) ([10.239.97.151]) by orviesa008.jf.intel.com with ESMTP; 27 Feb 2026 12:30:26 -0800 Received: from kbuild by a3936d6a266d with local (Exim 4.98.2) (envelope-from ) id 1vw4Sw-00000000B2N-2gFQ; Fri, 27 Feb 2026 20:29:49 +0000 Date: Sat, 28 Feb 2026 04:27:25 +0800 From: kernel test robot To: Emil Tsalapatis , bpf@vger.kernel.org Cc: oe-kbuild-all@lists.linux.dev, andrii@kernel.org, ast@kernel.org, daniel@iogearbox.net, eddyz87@gmail.com, martin.lau@kernel.org, memxor@gmail.com, song@kernel.org, yonghong.song@linux.dev, Emil Tsalapatis Subject: Re: [PATCH bpf-next v5 1/5] bpf: Factor out program return value calculation Message-ID: <202602280426.QK2Q7cWf-lkp@intel.com> References: <20260227154616.6846-2-emil@etsalapatis.com> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20260227154616.6846-2-emil@etsalapatis.com> Hi Emil, kernel test robot noticed the following build errors: [auto build test ERROR on bpf-next/master] url: https://github.com/intel-lab-lkp/linux/commits/Emil-Tsalapatis/bpf-Factor-out-program-return-value-calculation/20260227-235723 base: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git master patch link: https://lore.kernel.org/r/20260227154616.6846-2-emil%40etsalapatis.com patch subject: [PATCH bpf-next v5 1/5] bpf: Factor out program return value calculation config: riscv-randconfig-002-20260228 (https://download.01.org/0day-ci/archive/20260228/202602280426.QK2Q7cWf-lkp@intel.com/config) compiler: riscv64-linux-gcc (GCC) 9.5.0 reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260228/202602280426.QK2Q7cWf-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 | Closes: https://lore.kernel.org/oe-kbuild-all/202602280426.QK2Q7cWf-lkp@intel.com/ All errors (new ones prefixed by >>): kernel/bpf/verifier.c: In function 'return_retval_range': >> kernel/bpf/verifier.c:17863:3: error: label at end of compound statement 17863 | default: | ^~~~~~~ kernel/bpf/verifier.c: In function 'check_return_code': kernel/bpf/verifier.c:17926:7: warning: unused variable 'return_32bit' [-Wunused-variable] 17926 | bool return_32bit = false; | ^~~~~~~~~~~~ kernel/bpf/verifier.c:17923:6: warning: unused variable 'ret' [-Wunused-variable] 17923 | int ret, err; | ^~~ vim +17863 kernel/bpf/verifier.c 17805 17806 17807 static bool return_retval_range(struct bpf_verifier_env *env, struct bpf_retval_range *range) 17808 { 17809 enum bpf_prog_type prog_type = resolve_prog_type(env->prog); 17810 17811 /* Default return value range. */ 17812 *range = retval_range(0, 1); 17813 17814 switch (prog_type) { 17815 case BPF_PROG_TYPE_CGROUP_SOCK_ADDR: 17816 switch (env->prog->expected_attach_type) { 17817 case BPF_CGROUP_UDP4_RECVMSG: 17818 case BPF_CGROUP_UDP6_RECVMSG: 17819 case BPF_CGROUP_UNIX_RECVMSG: 17820 case BPF_CGROUP_INET4_GETPEERNAME: 17821 case BPF_CGROUP_INET6_GETPEERNAME: 17822 case BPF_CGROUP_UNIX_GETPEERNAME: 17823 case BPF_CGROUP_INET4_GETSOCKNAME: 17824 case BPF_CGROUP_INET6_GETSOCKNAME: 17825 case BPF_CGROUP_UNIX_GETSOCKNAME: 17826 *range = retval_range(1, 1); 17827 break; 17828 case BPF_CGROUP_INET4_BIND: 17829 case BPF_CGROUP_INET6_BIND: 17830 *range = retval_range(0, 3); 17831 break; 17832 default: 17833 break; 17834 } 17835 break; 17836 case BPF_PROG_TYPE_CGROUP_SKB: 17837 if (env->prog->expected_attach_type == BPF_CGROUP_INET_EGRESS) 17838 *range = retval_range(0, 3); 17839 break; 17840 case BPF_PROG_TYPE_CGROUP_SOCK: 17841 case BPF_PROG_TYPE_SOCK_OPS: 17842 case BPF_PROG_TYPE_CGROUP_DEVICE: 17843 case BPF_PROG_TYPE_CGROUP_SYSCTL: 17844 case BPF_PROG_TYPE_CGROUP_SOCKOPT: 17845 break; 17846 case BPF_PROG_TYPE_RAW_TRACEPOINT: 17847 if (!env->prog->aux->attach_btf_id) 17848 return false; 17849 *range = retval_range(0, 0); 17850 break; 17851 case BPF_PROG_TYPE_TRACING: 17852 switch (env->prog->expected_attach_type) { 17853 case BPF_TRACE_FENTRY: 17854 case BPF_TRACE_FEXIT: 17855 case BPF_TRACE_FSESSION: 17856 *range = retval_range(0, 0); 17857 break; 17858 case BPF_TRACE_RAW_TP: 17859 case BPF_MODIFY_RETURN: 17860 return false; 17861 case BPF_TRACE_ITER: 17862 break; 17863 default: 17864 } 17865 break; 17866 case BPF_PROG_TYPE_KPROBE: 17867 switch (env->prog->expected_attach_type) { 17868 case BPF_TRACE_KPROBE_SESSION: 17869 case BPF_TRACE_UPROBE_SESSION: 17870 break; 17871 default: 17872 return false; 17873 } 17874 break; 17875 case BPF_PROG_TYPE_SK_LOOKUP: 17876 *range = retval_range(SK_DROP, SK_PASS); 17877 break; 17878 17879 case BPF_PROG_TYPE_LSM: 17880 if (env->prog->expected_attach_type != BPF_LSM_CGROUP) { 17881 /* no range found, any return value is allowed */ 17882 if (!get_func_retval_range(env->prog, range)) 17883 return false; 17884 /* no restricted range, any return value is allowed */ 17885 if (range->minval == S32_MIN && range->maxval == S32_MAX) 17886 return false; 17887 range->return_32bit = true; 17888 } else if (!env->prog->aux->attach_func_proto->type) { 17889 /* Make sure programs that attach to void 17890 * hooks don't try to modify return value. 17891 */ 17892 *range = retval_range(1, 1); 17893 } 17894 break; 17895 17896 case BPF_PROG_TYPE_NETFILTER: 17897 *range = retval_range(NF_DROP, NF_ACCEPT); 17898 break; 17899 case BPF_PROG_TYPE_STRUCT_OPS: 17900 *range = retval_range(0, 0); 17901 break; 17902 case BPF_PROG_TYPE_EXT: 17903 /* freplace program can return anything as its return value 17904 * depends on the to-be-replaced kernel func or bpf program. 17905 */ 17906 default: 17907 return false; 17908 } 17909 17910 /* Continue calculating. */ 17911 17912 return true; 17913 } 17914 -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki