From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pf1-f180.google.com (mail-pf1-f180.google.com [209.85.210.180]) (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 3F1C93D1713 for ; Fri, 5 Jun 2026 09:48:09 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.210.180 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780652890; cv=none; b=LtIEsegbiZGAreQj89H9BFIqQKbIysYtBahVWKPUh3yjE3FKlfKDxXd0avqbAMpNvhS9bB+komW50SioYbVWnxQ9fk8QcSusliBgiCmLRudYbrik5YwhM9FHqVXwvbOcHDGuaO6LzM+QgpZq2C+BeUbP/whcI74TkLx+gD0cwPk= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780652890; c=relaxed/simple; bh=e7VbAl9oFSSHi9RGRYlzPyWnGK5liGS+StI66tcfe/4=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=XPxH3DT5DxywWsk06vwef/0uBW5uzM6mFFwMYM24oOvVn6fdb9ezlknxOMdNbvba5yUyA8RR4mMPitPthc/HEz1fkG6htOFXeCS5Km8p3Mr/6sF+F8OjY9Wz6ba5hR3/pQfWntMQ7MlI9eEftZ6aZALGdsTTShydIsihJ850jXk= 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=dLcM5joj; arc=none smtp.client-ip=209.85.210.180 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="dLcM5joj" Received: by mail-pf1-f180.google.com with SMTP id d2e1a72fcca58-84229481d44so750869b3a.0 for ; Fri, 05 Jun 2026 02:48:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1780652888; x=1781257688; 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=e7VbAl9oFSSHi9RGRYlzPyWnGK5liGS+StI66tcfe/4=; b=dLcM5jojfJaEbZXANpiCxBrvbBOgq+JMhDYQaGvSbc1U7B3E/LqLGd6qbE/UPLyQc7 u+XfRCQeh/NbCVGJDkrD5eNpo7WXhOzd0QKUrl3aY+aH4tRvTnEKLqShgTec9k6kghV9 jNnYk3DqNsHHI60i990u67CIKBujemDouY9NmTD0erY55pLMJhmE2h7ShLJ19SvaAy6N fXYTz8Fs3YQVM5u8G9MDiSkhwtFWQSBOyp4CvLRWOMtfBlaw3/98oQTgn7Mvu8lcRNdf 3UZbFCNaxHETnIOo+1qhixXpBVIrbtowdZaAQ72iTaNDNg7/0mZzBLhIYMOu0TjUKqh2 Agkg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780652888; x=1781257688; 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=e7VbAl9oFSSHi9RGRYlzPyWnGK5liGS+StI66tcfe/4=; b=EhAc9dvjIB5TG6RSHIB7pexZGzinNgKG7TM5FtAcimlFRJ6jqF/Q5zWN24bJ4OIbcC MGI4KpaF0qf0f3Iyvl+hOeVSr5PpkDNG2NxbPUtZ1/Ha2PZ0Rh08514e5kspwXozSsPM 7O6EMhDlRl9gxL+/OST1zFk9zcgz4g42SBzkoc0EMRVfKZ8N1BE/d6c/IsXrXEKSBJjj uUmOzG1tU0Y9Y9CIanRFopCmx4suikvKY2TNlj/3lCwLXclKs3KpU5E4d94k4kipGzVc a6vzuWE39Ot/sqgLDvUpVsOKg/wccvoOJdly6/jI4W7CoGNFyh/wX3BPZCh2iSxMOgO7 m4wg== X-Forwarded-Encrypted: i=1; AFNElJ8/rLHKfhCk0becGS5r5xdwMqTckf+9aGp75hkD/i76NZIH1K50bWghRGNYM27nMbh5f8r442HWeL9VXDs=@vger.kernel.org X-Gm-Message-State: AOJu0YyfPl9InC1EUsEiR1N+QJPCcDXdPnxPeiD1+48MN3+BJ6d2PN20 XZjfuQla2HgnCUw3BjHeGlPDlJxLhIZDGH1KTJXXvPWYQoYNphDFydcs X-Gm-Gg: Acq92OFKERFSi5ofv4jY5pcyswQh9xD6hXSzgInNvxnCtXaaiigag03Yg7z/l430Wwb BzzsDpCHdPvyC9+ys7uLhofcgW7Aa1o/vUCrpHxMP/0lwe5/Jl+vh8asYM4d0ydljXJr/jej80F u4RQwmBXX5eG5d3XXyMnHV42znXrbWv2XTIv4LJONIz9XB9nPLnBfSW0nqQ0FHT2f1rpjJe+Gnl iJm8IjP5tJ5ZydrJrPBpndhhKd6rhU+MfJoPNAhmWPHdqLpZta50IYWJnowZrrEer08MvH2n9XU scvaoJxLsBXpMR7t8d0UUjd1+0jqQ2PmtylOxWs04/MHzfYbEuzawu4DrhlDvv6um/qEVRBj+8L WCXYCqkbJuL0lqZyJuIHYjqWEP5LfciUNTqN5Tl+gvfD3cLfQt//d3v4osXFpQn94DVaGh97USL 8mYoiR0WdXq311e07OwGvQRj2nQyiqdYUWX6Eq3IdU/mZeWn75+ABizVjM+tDINQ== X-Received: by 2002:a05:6a00:b807:b0:842:74e3:48a9 with SMTP id d2e1a72fcca58-842b0e449c2mr2778426b3a.12.1780652888452; Fri, 05 Jun 2026 02:48:08 -0700 (PDT) Received: from [192.168.0.13] ([38.34.87.7]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-8428221a7e9sm11214741b3a.11.2026.06.05.02.48.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 05 Jun 2026 02:48:07 -0700 (PDT) Message-ID: <70d13621ffcc36e3254ab78f8f1cf14c4c9b4f03.camel@gmail.com> Subject: Re: [PATCH bpf 2/2] selftests/bpf: Cover dynamic inner array lookup nullability From: Eduard Zingerman To: Nuiqi Gui , ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org Cc: dxu@dxuuu.xyz, Martin KaFai Lau , Kumar Kartikeya Dwivedi , Song Liu , Yonghong Song , Jiri Olsa , Shuah Khan , Ihor Solodrai , bpf@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-kernel@vger.kernel.org Date: Fri, 05 Jun 2026 02:48:05 -0700 In-Reply-To: <20260604151153.2488051-3-gnq25@mails.tsinghua.edu.cn> References: <20260604151153.2488051-1-gnq25@mails.tsinghua.edu.cn> <20260604151153.2488051-3-gnq25@mails.tsinghua.edu.cn> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.56.2-9 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 On Thu, 2026-06-04 at 23:11 +0800, Nuiqi Gui wrote: > Add a verifier regression test that looks up a constant key through a > dynamic inner array template and dereferences the result without a NULL > check. >=20 > The verifier must reject the program because BPF_F_INNER_MAP allows the > concrete runtime array to have fewer entries than the template. >=20 > Signed-off-by: Nuiqi Gui > --- Acked-by: Eduard Zingerman