From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-dy1-f171.google.com (mail-dy1-f171.google.com [74.125.82.171]) (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 70F8040862E for ; Mon, 15 Jun 2026 17:19:41 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=74.125.82.171 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781543982; cv=none; b=GV2noma1LlBSVr3VtAmzEJhOiCfYuFyrcVQb0l1JyybFxLkTE5ilTmxvQ7HyTwfGIUHfd3za9XvgoVmoX46RoRmTA4DDtIT9uK1r+AVxl+esaeDf9dHNUDKiPyK5F56cov0/0AjcA3b9+5eckrwFEbAx6d6QoBb4lBYoaI2zYGc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781543982; c=relaxed/simple; bh=pc+4G2GsAw6cjwEmMrzoIc5kPC5M4vvHq6buvisX8qI=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=CTZenBzXdJupTZGmOPwU9HexrvefMUNYhSfhfHGy0ckuyCjTXIZVUfJ4q7rW8H/DO0NQhj/+SGUOk9O0iA3cCqasw15Qsf16jU7xW+VHZshH95b5Cpr07IcsmXCe1+fN+b0qXUn0NkpQLKB6mm3pqNwHhdyPQZ6gKxocYUdUQ+8= 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=YE/aFE9Y; arc=none smtp.client-ip=74.125.82.171 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="YE/aFE9Y" Received: by mail-dy1-f171.google.com with SMTP id 5a478bee46e88-30b6dad2382so2683220eec.0 for ; Mon, 15 Jun 2026 10:19:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1781543981; x=1782148781; 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=pc+4G2GsAw6cjwEmMrzoIc5kPC5M4vvHq6buvisX8qI=; b=YE/aFE9YM7Tcm/AOvEyWwt9hS8yQ0bb3Mc6FWS8QDhyJp5fmZcFZkZWOlnrSMAGWCx PIGlIkcQuzlfsqJLU3aJ4lnROjpfK81GiPSlWWbCWPbdbP0Vw9sN86GGvmj4Vy3X3dJB qz3ECpdpUoa3l9nsqhuEoOQFKWo0cXho1NEInwgGwclVSJPzJ70bIG1zKP8FKDF2uHJR CtpiZeeQjXuZMT4lQJg4ZIyDG/W6oxS4CDB7p6sVaLt/MPoEqYmiEoS2K20rUVZ+Tofo m/DZv0L4Yqxxr4zPe3pl7rOg9tZ67h1T8NfzvKx1gL6kUgaVlQx3Nq40GTmjSTsk1dO2 23LQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781543981; x=1782148781; 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=pc+4G2GsAw6cjwEmMrzoIc5kPC5M4vvHq6buvisX8qI=; b=TZp4Y+z7eWR2Pdw00RrvFOXHtI08Sk6Laa4OrKP0WAg58V4EH7inci/zyucud26MLc Xvc9K6CcSG1+p5hu6sOOMVYv/Wz9MCzDrOQf2J/u9NwCBjutxRoToGhNgEood9yvnqQ/ ZJsDT3K5AJd1gY/s3Du+rX7CX57tPgDDHmU5ro0Zu62PangVl/B5RCNzVUg/nhT4yHEF pfWfoar9NNusifN/kBkEyS+gdc7kuew4XPZELdR+UYx0MiZrtaOtqtK6lT4QM9H/1nip vVS7UTX3fMjcjVE1ZNdrAgMfU3NFVfzu7WuBXi18//XoE4fYHiSY2Q8WNAEnyWMAVIjs rGlA== X-Forwarded-Encrypted: i=1; AFNElJ+ikhFQfmEIhnb+f1DnO6b2h06oA3zW24Wm3paPWfkGv9NLSbpSVZP2j87ahawxS6+46+jTWLMQlm2kEFg=@vger.kernel.org X-Gm-Message-State: AOJu0YzFAOuh/wqSNyVz3kvJljL6V6DJq6Xaaz1ukaMC+DOYqYzXsUeF AFtqygGQo9X3FYsOpbsoryvkeAP4lMEfsfXMCullMkj/2HM8bYgE0vmC X-Gm-Gg: Acq92OEErCDlvlxDVPk4SSxOifLfS6gEdM/r5UYovF4bIfMdtMim3NpKukQ8whX/xl0 iOyiE1Gc05GoLCsGlqB3azM/zs++Wqk75ZrZp4bsVX0sWKi/rsFJ5BV/nJLDaKfXj1nT81KDOfG vVJzDBJa906ZrGg8gQbfVgqzSA1KHBBP4UxYaNjyS1tzCzkeReB35bhwWIv9eta5iUJoy8/vWhR Cjy7/USEUEzIacKUm2xbIJcGENgsb6yDhw5KLoWuWHpZ9g4UJKI1TFsRfIRSE2/UK+t0Le/Ym1G 53xzu982uupONypOSyWXK1AzrDD/VOiKEsMgmHcNEfbWmyOMkknb5Ff5a0FJrWDKAnNkFtyNb1x A4MOiWmioMFaCGQ3Heo97dw6ycCZozmWGna09hmdDSt4/ehdtvIFGHuGNUA6krYCgM+1M4OuAOW sCHKxnMOJnOCDRudZf3NJzMyr7Dd8kd9963mmSFLgdtcggll1dSdJioz9dlxAKM/ko3MXFA6F9x UL2+JcpnvBw/4TvoA== X-Received: by 2002:a05:7300:3212:b0:2ea:b85c:153d with SMTP id 5a478bee46e88-308200b5d75mr8177066eec.27.1781543980562; Mon, 15 Jun 2026 10:19:40 -0700 (PDT) Received: from ?IPv6:2a03:83e0:115c:1:755:4880:8bc0:de02? ([2620:10d:c090:500::3:317a]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-3081e4898c0sm16011974eec.3.2026.06.15.10.19.38 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 15 Jun 2026 10:19:40 -0700 (PDT) Message-ID: <703aeb9e7f93fa35f992fde04f6999974475312e.camel@gmail.com> Subject: Re: [PATCH bpf-next 2/2] selftests/bpf: Cover half-slot cleanup of pointer spills From: Eduard Zingerman To: Nuoqi Gui , Alexei Starovoitov , Daniel Borkmann , Andrii Nakryiko , Kumar Kartikeya Dwivedi , Martin KaFai Lau , Song Liu , Yonghong Song , Jiri Olsa , Emil Tsalapatis , Shuah Khan Cc: bpf@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org Date: Mon, 15 Jun 2026 10:19:38 -0700 In-Reply-To: <20260615-f01-06-half-slot-pointer-spill-v1-2-47f1c18a8965@mails.tsinghua.edu.cn> References: <20260615-f01-06-half-slot-pointer-spill-v1-0-47f1c18a8965@mails.tsinghua.edu.cn> <20260615-f01-06-half-slot-pointer-spill-v1-2-47f1c18a8965@mails.tsinghua.edu.cn> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.60.1 (3.60.1-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 On Mon, 2026-06-15 at 16:09 +0800, Nuoqi Gui wrote: > Add a verifier regression test for a pointer spill whose high half is > cleaned dead while the low half remains live. Force checkpoint creation > with BPF_F_TEST_STATE_FREQ and assert the verifier log reaches the > checkpoint and the subsequent 32-bit fill before rejecting the partial fi= ll > from a non-scalar spill. >=20 > Signed-off-by: Nuoqi Gui > --- Acked-by: Eduard Zingerman [...]