| Subject | bpf: deduce_bounds_64_from_32 tightening with circular range logic |
|---|---|
| Author | koike@igalia.com |
| Date | 2026-04-10 12:40:27 +0000 UTC |
| Version | |
| Cc | andrii@kernel.org ast@kernel.org bpf@vger.kernel.org eddyz87@gmail.com kernel-dev@igalia.com koike@igalia.com linux-kernel@vger.kernel.org shung-hsi.yu@suse.com yonghong.song@linux.dev |
| Name | Content [All] |
|---|---|
| [PATCH 1/2] bpf: deduce_bounds_64_from_32 tightening with circular range logic | [Body] |
| [PATCH 2/2] selftests/bpf: new cases handled by 32->64 range refinements | [Body] |
| ID (for dev) | 110f0088-dde9-4ef3-9236-02cc84e8c6bc |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| [KASAN] Build Base | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] | passed [Log] | |
| [KASAN] Boot test: Base | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] | passed [Log] | |
| [KASAN] Build Patched | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] | passed [Log] | |
| [KASAN] Boot test: Patched | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] | passed [Log] | |
| [KASAN] Fuzz | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] | 0eeb0094ba0321f0927806857b5f01c1577bc245 [Config] [patched] | passed [Log] [Artifacts] |