From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-dl1-f48.google.com (mail-dl1-f48.google.com [74.125.82.48]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A2639389109 for ; Tue, 3 Mar 2026 20:05:08 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=74.125.82.48 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772568309; cv=none; b=oLSPFcszJvhiO1Qt9bobhtJMABMPxwI5zIYyzztWZIUrhuacX6pLlo1cD623HVqYyno+/YQ7257RiFPWaQ2rzeYfM4s3UXaxavPmcaoTzQB9fs9NOT5kIwuJJ3pCPCtqnDomCZm1iUh+igRvt8FFRDLs5mLI1Ht1jeIGfbI5q8E= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1772568309; c=relaxed/simple; bh=bzPb6xmAmChlVP1q/WZM2tU9RBqtVAwunFB11U2PeFk=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=FDDixKtRYvppYeTX75WPW88Pt/d/a3hXGInThvCQ9Ya91ApfehxX35nn0IqexH21j3tjnS4vQF6ZZVE1rUMxCzVuP0bfm7ic/jenMkjEdniii10h26HRucIBnLD9Z/qxgKA4fTVV3tXfGfAgyTqLh/4m+/d1idzqc4aSULI9Fqo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=bSIsRVe6; arc=none smtp.client-ip=74.125.82.48 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="bSIsRVe6" Received: by mail-dl1-f48.google.com with SMTP id a92af1059eb24-126ea4b77adso7888534c88.1 for ; Tue, 03 Mar 2026 12:05:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1772568308; x=1773173108; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=HuHhGttXcFsF+4KHE6jrs5iwTBoeSrOICFq+9jlRCq0=; b=bSIsRVe6UZvWI4nIJSQTLM2z/mRTQTIzATYGx2TntqAnXap3tmmLkSLfW37VEEQPbG Coj+sog5Kav5y8SSyaTUJTA6XBN5UxnLLyn8rPIwHnAX0jgGUq74/fMNpRVCdS8eacJi BR7c2IwyAFQVkIC0I1fqKOSCe5D5d86/div2hvsGsHuUZq6FoTif1NdHDvxsmYISW2aT pQmQVZ9f6cjEf27FTX9rWYOIO7rfblQ7pV+3KMyzE0LCttzjxkcVe4Y4CddADgxf1pXX Nwjt5pgKaS94yu80oruGpIyJWOtuZjo93uFFToglgA+vlaerNDeZONsds4aDcA5iFjkn LLyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1772568308; x=1773173108; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=HuHhGttXcFsF+4KHE6jrs5iwTBoeSrOICFq+9jlRCq0=; b=jt7xD/r4Q28AZjTqc+Qq483CqtKvHRIpvaMJzcxXuzI0uUpNtzyCkhr3syk2CgEE1J VxMWiQNaeuCY0mO3BLttU84vDG+/tiXeaNU2T4l+n0x5rND2d4UjGOaWdAQAebRIKm1V 6z0DY6zVwcuxE6gJw32gimxyPcSnQVIUbYVQHT2UXOASbL8gduke2UmhtgHmXw0EVJr6 f2VXsnsYXqivlJLuHkpKP/6gpvOYFyI85FQtE29lxvr3UQIx6uoEMkCURy6RWZ+nMX7h RvdAjddIz6DN4fY2+0wuGNBW9zOFtt9/aPgUzKGotn65vj+xxPPdhg3c6yHio7xEuZ4S cU6Q== X-Forwarded-Encrypted: i=1; AJvYcCVE8HHCI5Ua5gmOV5m/8ErTc9ZS1q47DZQNwmouEMb1QqEt+wUYfIp6dp+wX9dpuNqY9NQ+0es6kF9corLNoDg=@vger.kernel.org X-Gm-Message-State: AOJu0Yz6S8JcqLw9zbj1jMeaJ3/nVV+ibmBXG2D9UiOogK5Kd+J8fqtT dlwYwf+wRqBb6vqzRpk4e57oR1Ag6xuHcc/ViFN5p12JD2Zh/nCKBgYI X-Gm-Gg: ATEYQzyAlmwSjm2wtBWLhF+DZTDcr7ja21w+YhkVi63aXwXPWYo3iKp8Ji/nogMAfJO LTrm+V6GRs153xKyaOMG3Y9wCIFJxcs0n7dbaEu4raTL2YnInQpcb41MjQNXtCT/heE6se/Yq4X hxyrx/33PVD7TSzAwOyf4rv0vSqFW/MSso43bPBe+VTpbFjXn586Fxdj0EEusYR/vjJ8RShB2k4 nDbnFBop2svtQosR9ix8tW5jDdIUUlUZiKis8dK1g8OcO6flzItaH9Kjpxz4NvG+qouEi7pLYdr ZwYDWKg4RLMbWwRhExossjREyUnD9aIif0YdXX/iztC/HdYJOkqOW1nTGPj6wEIplorUSRBxeXF vbG93ssI2I3LN3jmDiqnJ27oIGbSRPEkltz4Cnn6tfU52waFmXiqeiw3ubqJM7S211vd4YR66Ut 139WjjxvqPAUapN68BfrTe2kppA3S53kBlRqsOOBuBqtrmpsPjj3tVrS4rYH6DI1elVVFguK20v pRh74ah X-Received: by 2002:a05:7022:b97:b0:11b:9b98:aa4b with SMTP id a92af1059eb24-1278fb6859cmr8038142c88.6.1772568307717; Tue, 03 Mar 2026 12:05:07 -0800 (PST) Received: from ?IPv6:2a03:83e0:115c:1:bf8e:1331:ef2b:145d? ([2620:10d:c090:500::3:4473]) by smtp.gmail.com with ESMTPSA id a92af1059eb24-127899df391sm20207397c88.5.2026.03.03.12.05.05 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 03 Mar 2026 12:05:07 -0800 (PST) Message-ID: Subject: Re: [PATCH bpf-next v4 1/2] bpf: Support new pointer param types via SCALAR_VALUE for trampolines From: Eduard Zingerman To: Slava Imameev , ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org Cc: martin.lau@linux.dev, song@kernel.org, yonghong.song@linux.dev, john.fastabend@gmail.com, kpsingh@kernel.org, sdf@fomichev.me, haoluo@google.com, jolsa@kernel.org, davem@davemloft.net, edumazet@google.com, kuba@kernel.org, pabeni@redhat.com, horms@kernel.org, shuah@kernel.org, linux-kernel@vger.kernel.org, bpf@vger.kernel.org, netdev@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-open-source@crowdstrike.com Date: Tue, 03 Mar 2026 12:05:04 -0800 In-Reply-To: <20260303095427.38981-2-slava.imameev@crowdstrike.com> References: <20260303095427.38981-1-slava.imameev@crowdstrike.com> <20260303095427.38981-2-slava.imameev@crowdstrike.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.58.2 (3.58.2-1.fc43) Precedence: bulk X-Mailing-List: linux-kselftest@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 On Tue, 2026-03-03 at 20:54 +1100, Slava Imameev wrote: [...] > @@ -6902,11 +6921,7 @@ bool btf_ctx_access(int off, int size, enum bpf_ac= cess_type type, > } > } > =20 > - /* > - * If it's a pointer to void, it's the same as scalar from the verifier > - * safety POV. Either way, no futher pointer walking is allowed. > - */ > - if (is_void_or_int_ptr(btf, t)) > + if (is_ptr_treated_as_scalar(btf, t)) > return true; I'm probably missing a point here, but what's wrong with Alexei's suggestion to do this instead: if (is_ptr_treated_as_scalar(btf, t)) return true; ? Only two new tests fail: - #554/62 verifier_ctx_ptr_param/fentry/pointer to float - invalid ctx acc= ess:FAIL - #554/63 verifier_ctx_ptr_param/fentry/double pointer to float - invalid = ctx access:FAIL But I'd say this shouldn't matter. This will also make selftests much simpler. > =20 > /* this is a pointer to another type */