From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-ej1-f51.google.com (mail-ej1-f51.google.com [209.85.218.51]) (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 1B39C392C48 for ; Tue, 2 Jun 2026 05:47:14 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.218.51 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780379236; cv=none; b=OpWqsfQFOal+4QH8btritAvQzvv76nSmjyydiZktaC/QMnuLMLRtzNqoDF1/h8arm1030n+vZiuFk5DsYx/dpmotugimUCUIjX2BYyCdTp5BnlR9DmPm8X0fw9iKLYWk0un8abdHBq62dxAHZMK1YgMaV82xeXsjNieukzJaWWo= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780379236; c=relaxed/simple; bh=gt4DXyUMK+4E/fE2Ex3K88HkST93/FqQaubscf4ycQU=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=c0oGAhXCYBs7dSxx1/1eYZO8ALylDQVBfFLXsXyftNk1hmx43/bjO94sfoJ11rE2xPbQngvvi7gAwHrC/MwoK5buWhKQnIixLujTai7VhiXBuoXIrH/g61n6onSLjb3FlgtwZ0CL20sgV1wRIhLjA1kB/N33LB3foZUlllQo4DI= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=suse.com; spf=pass smtp.mailfrom=suse.com; dkim=pass (2048-bit key) header.d=suse.com header.i=@suse.com header.b=foYU2uFe; arc=none smtp.client-ip=209.85.218.51 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=suse.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=suse.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=suse.com header.i=@suse.com header.b="foYU2uFe" Received: by mail-ej1-f51.google.com with SMTP id a640c23a62f3a-bec2ddee9bbso386793266b.3 for ; Mon, 01 Jun 2026 22:47:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=google; t=1780379233; x=1780984033; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=vI3N+hg4XqY5ZLMNbq1e38j35o45dSTupckxs1bB1Cg=; b=foYU2uFepYyGOM+zT3zzXvXlMNT3T1X2BeLfQrMF/02n7fhufme1fN68hkNfVoybZ4 jghWzsWDunEOGTfQcIS4adzC7ZJnJ+/3qFJgAaHwMkmeyvRkoxuZ11Q8xYznOvPQ3JTL SYcyEdaEY1hooy5zb/Ln02Xug/+Vos6KSsHPs8VAkhwGzxeyk7vehDPUSWijhZEBjZTl Up2ik+VXd0ymLooae/P/IvRmezQ7iw6t9Od+Vf4+W94BfSZOh30iW87Ob1URxtQemtj4 k+H9QuiY72k5txgXU1WsPLZSBVk1/Pfr6mFhD+6jvEjBaLutG1R5xtDDXOprImu+QgNo Nt4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780379233; x=1780984033; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=vI3N+hg4XqY5ZLMNbq1e38j35o45dSTupckxs1bB1Cg=; b=gCoG/J8V3GGF9384c3vbCUzM9s5prYJK5QUXUoN0uuK26Jvj/5wM/MS+gsu+72GYkz tSKiFc1lhp6ySlXDOm/9Es6mvdeoD3o2lDeATVvLONu+/MrCe1vwQzt56ExyYlY9CoNf iIXzTqBZryCo3CtMlfqdqIKhdMWfIJgV53NNP7npqx1Xp/iSimGIh7IHAaIJ6085Fbcg 7dIpP5P+FUMbSexDGz2vuZK1Vu54BodZ8v16K0etrdxrYErnAW3dmPSgFh+vncqE/HYT xGkuPsWZbKfSe+SI84O+37cw6je0nPutGhnJ901DZKzBoxUX6PbdTYQFpJpQ3rAN+6W3 NyFw== X-Forwarded-Encrypted: i=1; AFNElJ/NMya3C3N8UohgdrdDIIVfcBxUsrB/erCpcZdfd/NFKL8aTqldU3uaVeo33xRbjiG6/C17qjhlYAPOgeM=@vger.kernel.org X-Gm-Message-State: AOJu0YyzxREdpmlMG1veHXqIaVmA4sWpWDWjrYbyuY9YuDc80WgrbUU9 NpxB7cUu+se9kZjxjYYOiTax5BeDLeSkS3XECb03ZWCoe0GHX/xWQaFbRi2/j0dU+ic= X-Gm-Gg: Acq92OGRSMJEFes/5Gz+YFWoVlU/VZAJmkqtI7eoSvKPBZV06dnQGeQzZsgVJyq8MhA 4mg8h8xohyRNltN3su4l361+65e8JD2yE3hMPVSBjzEtVmt2jV5PwwjZswCN9eYn0k4uqUON7p4 goTw1KBp1yBL7BCmPiWM/Ooxamzf35LVQ/oOL3CkjDYlU3BlLbq2mBUOsIeCEIEdOcAR4WhD4G7 /FNGiIO1iOKnM4znXwkbMUdH+aJx2gQpvYJ7ETl6GRmmy4XWOuCwzidraiYJV6gBo0qOJ55y13n s7LJP3wllXiiwyezh+wNVkltx0omQ4yqxrvn6JxaHn0DOnDZMkk1LMd6dRmrVA5Q7PiN9pgPZoN MVEjUcM68fquZoGwFJHrQ3gFFOLIPZ/ASY9L4iJMBANLTDI2JyHkfTJEUn9ZpgYpTkIBNOGKSF0 117ZaLO0HvqFtrhNAFG1+PKaV/TnuWIxNFBIr7MvhQRFTc6hKBz2EDcA== X-Received: by 2002:a17:907:9282:b0:bd4:6da5:d5b2 with SMTP id a640c23a62f3a-beab0dd8aecmr706227266b.1.1780379233570; Mon, 01 Jun 2026 22:47:13 -0700 (PDT) Received: from u94a (27-240-75-84.adsl.fetnet.net. [27.240.75.84]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-36dd9877d85sm1381496a91.14.2026.06.01.22.47.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Jun 2026 22:47:12 -0700 (PDT) Date: Tue, 2 Jun 2026 13:47:01 +0800 From: Shung-Hsi Yu To: Zhenzhong Wu , eddyz87@gmail.com Cc: stable@vger.kernel.org, Paul Chaignon , bpf@vger.kernel.org, netdev@vger.kernel.org, linux-kernel@vger.kernel.org, ast@kernel.org, daniel@iogearbox.net, john.fastabend@gmail.com, andrii@kernel.org, martin.lau@linux.dev, song@kernel.org, yonghong.song@linux.dev, kpsingh@kernel.org, sdf@google.com, haoluo@google.com, jolsa@kernel.org, menglong8.dong@gmail.com, tamird@kernel.org Subject: Re: [RFC PATCH 6.1.y 0/2] bpf: backport scalar not-equal tracking fixes Message-ID: References: <20260601180400.1381736-1-jt26wzz@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@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: <20260601180400.1381736-1-jt26wzz@gmail.com> Hi Zhenzhong, Thanks for looking at the stable kernel branch! Since this patchset is intended for stable 6.1 I'd suggest to also include stable@vger.kernel.org even if this is an RFC (and ideally with 'PATCH stable ...' as subject prefix, but that's just minor), so that the stable team is aware. On Tue, Jun 02, 2026 at 02:03:58AM +0800, Zhenzhong Wu wrote: > Hi BPF maintainers, > > This RFC backports two BPF verifier scalar range-tracking fixes to 6.1.y. > The series is intended to fix a verifier state-pruning issue where an > impossible scalar path can be kept while the real success path is pruned. > > This is a verifier scalar range-tracking issue, not a helper-specific > issue. > The visible failure is that the verifier can prune the real success > continuation, which should not be skipped, and keep only an impossible one. ... This sounds somewhat similar to the issue fixed in "backport of iterator and callback handling fixes" for stable 6.6[1] by @Eduard. Could you try to test on the latest stable 6.6.y as well at see if you can reproduce the issue there? Also per stable policy[2] we have backport the patches in the series to 6.6 first if we want it in 6.1 anyway. When using option 2 or 3 you can ask for your change to be included in specific stable series. When doing so, ensure the fix or an equivalent is applicable, submitted, or already present in all newer stable trees still supported. This is meant to prevent regressions that users might later encounter on updating... Cheers, Shung-Hsi Yu 1: https://lore.kernel.org/stable/20240125001554.25287-1-eddyz87@gmail.com/ 2: https://www.kernel.org/doc/html/latest/process/stable-kernel-rules.html