<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="/source/rss.xsl.xml"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
    <title>Changes in Makefile</title>
    <description></description>
    <language>en</language>
    <copyright>Copyright 2015</copyright>
    <generator>Java</generator><item>
        <title>7a0e692a0381254b2f77c54dec100cd3325a6fdf - Merge branch &apos;next&apos; into for-linus</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#7a0e692a0381254b2f77c54dec100cd3325a6fdf</link>
        <description>Merge branch &apos;next&apos; into for-linusPrepare input updates for 7.2 merge window.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Tue, 23 Jun 2026 08:10:08 +0200</pubDate>
        <dc:creator>Dmitry Torokhov &lt;dmitry.torokhov@gmail.com&gt;</dc:creator>
    </item>
<item>
        <title>872cc6abda1507429b97cc7b42a9dae51ee0a668 - Merge tag &apos;bpf-next-7.2&apos; into loongarch-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#872cc6abda1507429b97cc7b42a9dae51ee0a668</link>
        <description>Merge tag &apos;bpf-next-7.2&apos; into loongarch-nextLoongArch architecture changes for 7.2 need the bpf changes to add newfeatures, so merge &apos;bpf-next-7.2&apos; to create a base.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 22 Jun 2026 05:29:06 +0200</pubDate>
        <dc:creator>Huacai Chen &lt;chenhuacai@loongson.cn&gt;</dc:creator>
    </item>
<item>
        <title>9611c0ce215a66770ccbe5c126bf57ba8c31bcad - Merge commit &apos;6beaec3aee9852438b89e4d7891caf5e84d45851&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux into gpio/for-current</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#9611c0ce215a66770ccbe5c126bf57ba8c31bcad</link>
        <description>Merge commit &apos;6beaec3aee9852438b89e4d7891caf5e84d45851&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux into gpio/for-currentThis pulls in the merge commit for MFD updates for v7.2. The PR containsa build-time dependency of one of the GPIO commits that will follow.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Fri, 19 Jun 2026 10:50:17 +0200</pubDate>
        <dc:creator>Bartosz Golaszewski &lt;bartosz.golaszewski@oss.qualcomm.com&gt;</dc:creator>
    </item>
<item>
        <title>9c87e61e3c5797277407ba5eae4eac8a52be3fa3 - Merge tag &apos;bpf-next-7.2&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#9c87e61e3c5797277407ba5eae4eac8a52be3fa3</link>
        <description>Merge tag &apos;bpf-next-7.2&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPull bpf updates from Alexei Starovoitov: &quot;Major changes:   - Recover from BPF arena page faults using a scratch page and add     ptep_try_set() for lockless empty-slot installs on x86 and arm64.     This allows BPF kfuncs to access arena pointers directly.     The &apos;arena_direct_access&apos; stable branch was created for this work     and was pulled into sched-ext and bpf-next trees (Tejun Heo, Kumar     Kartikeya Dwivedi)   - Lift old restriction and support 6+ arguments in BPF programs and     kfuncs on x86 and arm64 (Yonghong Song, Puranjay Mohan)  Other features and fixes:   - Add 24-bit BTF vlen and reclaim unused bits in the BTF UAPI to ease     addition of new BTF kinds (Alan Maguire)   - Raise the maximum BPF call chain depth from 8 to 16 frames (Alexei     Starovoitov)   - Refactor object relationship tracking in the verifier and fix a     dynptr use-after-free bug (Amery Hung)   - Harden the signed program loader and reject exclusive maps as inner     maps (Daniel Borkmann)   - Replace the verifier min/max bounds fields with a circular number     (cnum) representation and improve 32-&gt;64 bit range refinements     (Eduard Zingerman)   - Introduce the arena library and runtime (libarena) with a buddy     allocator, rbtree and SPMC queue data structures, ASAN support and     a parallel test harness. Allow subprograms to return arena pointers     and switch to a BTF type-tag based __arena annotation (Emil     Tsalapatis)   - Cache build IDs in the sleepable stackmap path and avoid faultable     build ID reads under mm locks (Ihor Solodrai)   - Introduce the tracing_multi link to attach a single BPF program to     many kernel functions at once. Allow specifying the uprobe_multi     target via FD (Jiri Olsa)   - Extend the bpf_list family of kfuncs with bpf_list_add/del(), and     bpf_list_is_first/is_last/empty() (Kaitao Cheng)   - Extend the BPF syscall with common attributes support for     prog_load, btf_load and map_create (Leon Hwang)   - Wrap rhashtable as BPF map (Mykyta Yatsenko, Herbert Xu)   - Add sleepable support for tracepoint programs and fix deadlocks in     LRU map due to NMI reentry (Mykyta Yatsenko)   - Fix OOB access in bpf_flow_keys, fix nullness analysis of inner     arrays, enforce write checks for global subprograms (Nuoqi Gui)   - Report the maximum combined stack depth and print a breakdown of     instructions processed per subprogram (Paul Chaignon)   - Add an XDP load-balancer benchmark and arm64 JIT support for stack     arguments (Puranjay Mohan)   - Add kfuncs to traverse over wakeup_sources (Samuel Wu)   - Allow sleepable BPF programs to use LPM trie maps directly (Vlad     Poenaru)   - Many more fixes and cleanups across the verifier, BTF, sockmap,     devmap, bpffs, security hooks, s390/riscv/loongarch JITs,     rqspinlock, libbpf, bpftool, selftests&quot;* tag &apos;bpf-next-7.2&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next: (336 commits)  selftests/bpf: Work around llvm stack overflow in crypto progs  selftests/bpf: add test for bpf_msg_pop_data() overflow  bpf, sockmap: fix integer overflow in bpf_msg_pop_data() bounds check  sockmap: Fix use-after-free in udp_bpf_recvmsg()  bpf, sockmap: keep sk_msg copy state in sync  bpf, sockmap: Fix wrong rsge offset in bpf_msg_push_data()  bpf, sockmap: reject overflowing copy + len in bpf_msg_push_data()  selftsets/bpf: Retry map update on helper_fill_hashmap()  selftests/bpf: Add test for sleepable lsm_cgroup rejection  selftests/bpf: Add test to verify the fix for bpf_setsockopt() helper  bpf: Fix bpf_get/setsockopt to tos for ipv4-mapped ipv6 socket  selftests/bpf: Avoid static LLVM linking for cross builds  selftests/bpf: Use common CFLAGS for urandom_read  selftests/bpf: Initialize operation name before use  tools/bpf: build: Append extra cflags  libbpf: Initialize CFLAGS before including Makefile.include  bpftool: Append extra host flags  bpftool: Avoid adding EXTRA_CFLAGS to HOST_CFLAGS  bpftool: Pass host flags to bootstrap libbpf  selftests/bpf: correct CONFIG_PPC64 macro name in comment  ...

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Wed, 17 Jun 2026 10:18:14 +0200</pubDate>
        <dc:creator>Linus Torvalds &lt;torvalds@linux-foundation.org&gt;</dc:creator>
    </item>
<item>
        <title>fff88709f9a9153af85b5224b4594caa5387ca60 - Merge tag &apos;v7.1-rc6&apos; into next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#fff88709f9a9153af85b5224b4594caa5387ca60</link>
        <description>Merge tag &apos;v7.1-rc6&apos; into nextSync up with mainline to pull in a fix to IMS PCU driver and otherenhancements.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 01 Jun 2026 04:43:25 +0200</pubDate>
        <dc:creator>Dmitry Torokhov &lt;dmitry.torokhov@gmail.com&gt;</dc:creator>
    </item>
<item>
        <title>5c8cbca290acdd49a694b36c0af76ba0c00bbf12 - Merge branch &apos;20260507-ubwc-rework-v4-4-c19593d20c1d@oss.qualcomm.com&apos; of https://git.kernel.org/pub/scm/linux/kernel/git/qcom/linux into HEAD</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#5c8cbca290acdd49a694b36c0af76ba0c00bbf12</link>
        <description>Merge branch &apos;20260507-ubwc-rework-v4-4-c19593d20c1d@oss.qualcomm.com&apos; of https://git.kernel.org/pub/scm/linux/kernel/git/qcom/linux into HEADMerge the branch with the soc/qcom changes, required for the next UBWCpatches.Signed-off-by: Dmitry Baryshkov &lt;dmitry.baryshkov@oss.qualcomm.com&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Thu, 21 May 2026 22:36:50 +0200</pubDate>
        <dc:creator>Dmitry Baryshkov &lt;dmitry.baryshkov@oss.qualcomm.com&gt;</dc:creator>
    </item>
<item>
        <title>09d6818d3bdc1ea6e49a425040528cbdbc97bc0a - Merge branch &apos;linus&apos; into timers/clocksource</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#09d6818d3bdc1ea6e49a425040528cbdbc97bc0a</link>
        <description>Merge branch &apos;linus&apos; into timers/clocksource... to bring it up to date for new changes.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 18 May 2026 11:01:07 +0200</pubDate>
        <dc:creator>Thomas Gleixner &lt;tglx@kernel.org&gt;</dc:creator>
    </item>
<item>
        <title>658a6021492ad3b1b8a6e9a83963a1fad35a2af8 - Merge drm/drm-next into drm-intel-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#658a6021492ad3b1b8a6e9a83963a1fad35a2af8</link>
        <description>Merge drm/drm-next into drm-intel-nextSome Display Port Adaptive Sync depends on drm work.Signed-off-by: Rodrigo Vivi &lt;rodrigo.vivi@intel.com&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Fri, 15 May 2026 13:01:15 +0200</pubDate>
        <dc:creator>Rodrigo Vivi &lt;rodrigo.vivi@intel.com&gt;</dc:creator>
    </item>
<item>
        <title>8edf8b09fc44990977b3fbcb708035b1740d0b7e - Merge drm/drm-next into drm-intel-gt-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#8edf8b09fc44990977b3fbcb708035b1740d0b7e</link>
        <description>Merge drm/drm-next into drm-intel-gt-nextBackmerging to pull in commit 5401b9adebc9 (&quot;i915: don&apos;t usea vma that didn&apos;t match the context VM&quot;) to revert it.Signed-off-by: Joonas Lahtinen &lt;joonas.lahtinen@linux.intel.com&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Tue, 12 May 2026 10:16:35 +0200</pubDate>
        <dc:creator>Joonas Lahtinen &lt;joonas.lahtinen@linux.intel.com&gt;</dc:creator>
    </item>
<item>
        <title>c53ed3e99920df6a90553c89a1c053aa0776841e - Merge drm/drm-next into drm-xe-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#c53ed3e99920df6a90553c89a1c053aa0776841e</link>
        <description>Merge drm/drm-next into drm-xe-nextBringing in recent display changes.Signed-off-by: Thomas Hellstr&#246;m &lt;thomas.hellstrom@linux.intel.com&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Fri, 08 May 2026 16:19:45 +0200</pubDate>
        <dc:creator>Thomas Hellstr&#246;m &lt;thomas.hellstrom@linux.intel.com&gt;</dc:creator>
    </item>
<item>
        <title>cafac16b6207b88ad92fbba1169ae4f43865cb0d - Merge drm/drm-next into drm-misc-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#cafac16b6207b88ad92fbba1169ae4f43865cb0d</link>
        <description>Merge drm/drm-next into drm-misc-nextGetting fixes and updates from v7.1-rc1.Signed-off-by: Thomas Zimmermann &lt;tzimmermann@suse.de&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 27 Apr 2026 10:49:13 +0200</pubDate>
        <dc:creator>Thomas Zimmermann &lt;tzimmermann@suse.de&gt;</dc:creator>
    </item>
<item>
        <title>9c9fe04e0fe3fdba7d4aafffa9b7bbb21f6fcbe1 - Merge tag &apos;v7.1-rc1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux into gpio/for-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#9c9fe04e0fe3fdba7d4aafffa9b7bbb21f6fcbe1</link>
        <description>Merge tag &apos;v7.1-rc1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux into gpio/for-nextLinux 7.1-rc1

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 27 Apr 2026 09:39:48 +0200</pubDate>
        <dc:creator>Bartosz Golaszewski &lt;bartosz.golaszewski@oss.qualcomm.com&gt;</dc:creator>
    </item>
<item>
        <title>6c60b2dd5a7889a583389e95e79689191206f86f - Merge branch &apos;bpf-replace-min-max-fields-with-struct-cnum-32-64&apos;</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#6c60b2dd5a7889a583389e95e79689191206f86f</link>
        <description>Merge branch &apos;bpf-replace-min-max-fields-with-struct-cnum-32-64&apos;Eduard Zingerman says:====================bpf: replace min/max fields with struct cnum{32,64}This RFC replaces s64, u64, s32, u32 scalar range domains tracked byverifier by a pair of circular numbers (cnums): one for 64-bit domainand another for 32-bit domain. Each cnum represents a range as asingle arc on the circular number line, from which signed and unsignedbounds are derived on demand. See also wrapped intervalsrepresentation as in [1].The use of such representation simplifies arithmetic and conditionshandling in verifier.c and allows to express 32 &lt;-&gt; 64 bit deductionsin a more mathematically rigorous way.[1] https://jorgenavas.github.io/papers/ACM-TOPLAS-wrapped.pdfChangelog=========v2 -&gt; v1:- Fixes in source code comments highlighted by bot+bpf-ci.RFCv1 -&gt; v2:- Dropped RFC tag.- Dropped cnum{32,64}_mul(), too much complexity and no veristat  or selftests gains.- cnum32_from_cnum64() normalizes to CNUM32_EMPTY when input  cnum64.size &gt;= U32_MAX, previously only checked for &gt; U32_MAX  (bot+bpf-ci).- cnum32_from_cnum64() and cnum64_cnum32_intersect() now check for  empty inputs (sashiko).- In regs_refine_cond_op() case BPF_JSLT use cnum{32,64}_from_srange  constructors instead of unsigned variants (sashiko).- cnum{32,64}_intersect_with{,_urange,_srange}() helpers added  (Alexei)[RFCv1] https://lore.kernel.org/bpf/0c47b0b7ea476647746806c46fded4353be885f7.camel@gmail.com/T/[v2] https://lore.kernel.org/bpf/c4fb60bafd526ae2d92b86e2250255aef0ba5ee1.camel@gmail.com/T/Patch set layout================Patch #1 introduces the cnum (circular number) data type and basicoperations: intersection, addition, multiplication, negation, 32-to-64and 64-to-32 projections.CBMC based proofs for these operations are available at [2].(The proofs lag behind the current patch set and need an update ifthis RFC moves further. Although, I don&apos;t expect any significantchanges).[2] https://github.com/eddyz87/cnum-verifPatch #2 mechanically converts all direct accesses to bpf_reg_state&apos;smin/max fields to use accessor functions, preparing for the fieldreplacement.Patch #3 replaces the eight independent min/max fields inbpf_reg_state with two cnum fields. The signed and unsigned bounds arederived on demand from the cnum via the accessor functions.This eliminates the separate signed&lt;-&gt;unsigned cross-deduction logic,simplifies reg_bounds_sync(), regs_refine_cond_op() and somearithmetic operations.Patch #4 adds selftest cases for improved 32-&gt;64 range refinementsenabled by cnum64_cnum32_intersect().Precision trade-offs====================A cnum represents a contiguous arc on the circular number line.Current master tracks four independent ranges (s64, u64, s32, u32)whose intersection could implicitly represent value sets that aretwo disjoint arcs on the circle - something a single cnum cannot.Cnums lose precision when a cross-domain conditional comparison(e.g., unsigned comparison on a register with a signed-derived range)produces an intersection that would be two disjoint arcs.The cnum must over-approximate by returning one of the input arcs.E.g. a pair of ranges u64:[1,U64_MAX] s:[-1,1] represents a set of twovalues: {-1,1}, this can only be approximated as a set of three valuesby cnum: {-1,0,1}.Cnums gain precision in arithmetic: when addition, subtraction ormultiplication causes register value to cross both signed and unsignedmin/max boundaries. Current master resets the register as unbound insuch cases, while cnums preserve the exact wrapping arc.In practice precision loss turned out to matter only for a set ofspecifically crafted selftests from reg_bounds.c (see patch #3 formore details). On the other hand, precision gains are observable for aset real-life programs.Verification performance measurements=====================================Tested on 6683 programs across four corpora: Cilium (134 programs),selftests (4635), sched_ext (376), and Meta internal BPF corpus(1540). Program verification verdicts are identical across all fourprogram sets - no program changes between success and failure.Instruction count comparison (cnum vs signed/unsigned pair):- 83 programs improve, 44 regress, 6596 unchanged- Total saved: ~290K insns, total added: 10K insns- Largest improvements:  -26% insns in a internal network firewall program;  -47% insns in rusty/wd40 sched_ext schedulers.- Largest regression: +24% insns in one Cilium program (5062 insns  added).Raw performance data is at the bottom of the email.Raw verification performance metrics====================================Filtered out by -f insns_pct&gt;5 -f !insns&lt;10000========= selftests: master vs cnums-everywhere-v2 =========File  Program  Insns (A)  Insns (B)  Insns (DIFF)----  -------  ---------  ---------  ------------Total progs: 4665total_insns diff min:  -15.71%total_insns diff max:   45.45% -20 .. -10  %: 3  -5 .. 0    %: 6   0 .. 5    %: 4654  45 .. 50   %: 2========= scx: master vs cnums-everywhere-v2 =========File             Program         Insns (A)  Insns (B)  Insns     (DIFF)---------------  --------------  ---------  ---------  ----------------scx_rusty.bpf.o  rusty_enqueue       39842      22053  -17789 (-44.65%)scx_rusty.bpf.o  rusty_stopping      37738      19949  -17789 (-47.14%)scx_wd40.bpf.o   wd40_stopping       37729      19880  -17849 (-47.31%)Total progs: 376total_insns diff min:  -47.31%total_insns diff max:   19.61% -50 .. -40  %: 3  -5 .. 0    %: 5   0 .. 5    %: 366   5 .. 15   %: 1  15 .. 20   %: 1========= meta: master vs cnums-everywhere-v2 =========File                               Program     Insns (A)  Insns (B)  Insns     (DIFF)---------------------------------  ----------  ---------  ---------  ----------------&lt;meta-internal-firewall-program&gt;   ...egress   222327     164648     -57679 (-25.94%)&lt;meta-internal-firewall-program&gt;   ..._tc_eg   222839     164772     -58067 (-26.06%)&lt;meta-internal-firewall-program&gt;   ...egress   222327     164648     -57679 (-25.94%)&lt;meta-internal-firewall-program&gt;   ..._tc_eg   222839     164772     -58067 (-26.06%)Total progs: 1540total_insns diff min:  -26.06%total_insns diff max:    6.69% -30 .. -20  %: 4 -15 .. -5   %: 6  -5 .. 0    %: 36   0 .. 5    %: 1493   5 .. 10   %: 1========= cilium: master vs cnums-everywhere-v2 =========File        Program                          Insns (A)  Insns (B)  Insns    (DIFF)----------  -------------------------------  ---------  ---------  ---------------bpf_host.o  tail_handle_ipv4_cont_from_host      20962      26024  +5062 (+24.15%)bpf_host.o  tail_handle_ipv6_cont_from_host      17036      18672   +1636 (+9.60%)Total progs: 134total_insns diff min:   -3.32%total_insns diff max:   24.15%  -5 .. 0    %: 12   0 .. 5    %: 120   5 .. 15   %: 1  20 .. 25   %: 1---====================Link: https://patch.msgid.link/20260424-cnums-everywhere-rfc-v1-v3-0-ca434b39a486@gmail.comSigned-off-by: Alexei Starovoitov &lt;ast@kernel.org&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Sat, 25 Apr 2026 03:14:18 +0200</pubDate>
        <dc:creator>Alexei Starovoitov &lt;ast@kernel.org&gt;</dc:creator>
    </item>
<item>
        <title>256f0071f9b61ae5028f749449fd3fdad015889d - bpf: representation and basic operations on circular numbers</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#256f0071f9b61ae5028f749449fd3fdad015889d</link>
        <description>bpf: representation and basic operations on circular numbersThis commit adds basic definitions for cnum32/cnum64.This is a unified numeric range representation for signed and unsigneddomains. Inspired by an old post from Shung-Hsi Yu [1] and paper [2].Operations correctness is verified using cbmc model checker,tests source code can be found in a separate repo [3].The cnum64_cnum32_intersect() function is notable, because it handledseveral cases verifier.c:deduce_bounds_64_from_32() does not.Given:- a is a 64-bit range- b is a 32-bit range- t is a refined 64-bit range, such that &#8704; v &#8712; a, (u32)v &#8712; b: v &#8712; t.cnum64_cnum32_intersect() makes the following deductions:(A): &apos;b&apos; is a sub-range of the first or the last 32-bit     sub-range of &apos;a&apos;:                                                         64-bit number axis ---&gt; N*2^32                   (N+1)*2^32                (N+2)*2^32                (N+3)*2^32 ||------|---|=====|-------||----------|=====|-------||----------|=====|----|--||         |   |&lt; b &gt;|                   |&lt; b &gt;|                   |&lt; b &gt;|    |         |   |                                                         |    |         |&lt;--+--------------------------- a ---------------------------+---&gt;|             |                                                         |             |&lt;-------------------------- t --------------------------&gt;|(B) &apos;b&apos; does not intersect with the first of the last 32-bit    sub-range of &apos;a&apos;:N*2^32                   (N+1)*2^32                (N+2)*2^32                (N+3)*2^32||--|=====|----|----------||--|=====|---------------||--|=====|------------|--||    |&lt; b &gt;|    |              |&lt; b &gt;|                   |&lt; b &gt;|            |               |              |                               |            |               |&lt;-------------+--------- a -------------------|-----------&gt;|                              |                               |                              |&lt;-------- t ------------------&gt;|(C) &apos;b&apos; crosses 0/U32_MAX boundary:N*2^32                   (N+1)*2^32                (N+2)*2^32                (N+3)*2^32||===|---------|------|===||===|----------------|===||===|---------|------|===|| |b &gt;|         |      |&lt; b||b &gt;|                |&lt; b||b &gt;|         |      |&lt; b|               |      |                                  |         |               |&lt;-----+----------------- a --------------+--------&gt;|                      |                                  |                      |&lt;---------------- t -------------&gt;|Current implementation of deduce_bounds_64_from_32() only handlescase (A).[1] https://lore.kernel.org/all/ZTZxoDJJbX9mrQ9w@u94a/[2] https://jorgenavas.github.io/papers/ACM-TOPLAS-wrapped.pdf[3] https://github.com/eddyz87/cnum-verif/tree/masterSigned-off-by: Eduard Zingerman &lt;eddyz87@gmail.com&gt;Link: https://lore.kernel.org/r/20260424-cnums-everywhere-rfc-v1-v3-1-ca434b39a486@gmail.comSigned-off-by: Alexei Starovoitov &lt;ast@kernel.org&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Sat, 25 Apr 2026 00:52:42 +0200</pubDate>
        <dc:creator>Eduard Zingerman &lt;eddyz87@gmail.com&gt;</dc:creator>
    </item>
<item>
        <title>1655f6895a896eb632ca8a019259bc5d358a9712 - Merge tag &apos;timers-v7.1-rc1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/daniel.lezcano/linux into timers/clocksource</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#1655f6895a896eb632ca8a019259bc5d358a9712</link>
        <description>Merge tag &apos;timers-v7.1-rc1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/daniel.lezcano/linux into timers/clocksource  - Added the DT bindings for the compatible string &apos;fsl,imx25-epit&apos;    (Frank Li)  - Made the rttm_cs variable static for the rtl otto timer driver    (Krzysztof Kozlowski)  - Fixed error return code handling in the sun5i timer driver (Chen Ni)  - Made the timer-of and the mmio code compatible with modules (Daniel    Lezcano)Link: https://lore.kernel.org/151feae1-39ba-4abd-a9f9-9bff377a2cd8@oss.qualcomm.com

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Sun, 12 Apr 2026 22:33:39 +0200</pubDate>
        <dc:creator>Thomas Gleixner &lt;tglx@kernel.org&gt;</dc:creator>
    </item>
<item>
        <title>0fc8f6200d2313278fbf4539bbab74677c685531 - Merge drm/drm-fixes into drm-misc-fixes</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#0fc8f6200d2313278fbf4539bbab74677c685531</link>
        <description>Merge drm/drm-fixes into drm-misc-fixesGetting fixes and updates from v7.1-rc1.Signed-off-by: Thomas Zimmermann &lt;tzimmermann@suse.de&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 27 Apr 2026 10:26:49 +0200</pubDate>
        <dc:creator>Thomas Zimmermann &lt;tzimmermann@suse.de&gt;</dc:creator>
    </item>
<item>
        <title>f4b369c6fe0ceaba2da2daff8c9eb415f85926dd - Merge branch &apos;next&apos; into for-linus</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#f4b369c6fe0ceaba2da2daff8c9eb415f85926dd</link>
        <description>Merge branch &apos;next&apos; into for-linusPrepare input updates for 7.1 merge window.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Mon, 20 Apr 2026 03:28:57 +0200</pubDate>
        <dc:creator>Dmitry Torokhov &lt;dmitry.torokhov@gmail.com&gt;</dc:creator>
    </item>
<item>
        <title>0421ccdfad0d92713a812a5aeb7d07b0ea7213c8 - Merge tag &apos;v7.0-rc3&apos; into next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#0421ccdfad0d92713a812a5aeb7d07b0ea7213c8</link>
        <description>Merge tag &apos;v7.0-rc3&apos; into nextSync up with the mainline to brig up the latest changes, specificallychanges to ALPS driver.

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Thu, 12 Mar 2026 18:44:42 +0100</pubDate>
        <dc:creator>Dmitry Torokhov &lt;dmitry.torokhov@gmail.com&gt;</dc:creator>
    </item>
<item>
        <title>f5ad4101009e7f5f5984ffea6923d4fcd470932a - Merge tag &apos;bpf-next-7.1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#f5ad4101009e7f5f5984ffea6923d4fcd470932a</link>
        <description>Merge tag &apos;bpf-next-7.1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPull bpf updates from Alexei Starovoitov: - Welcome new BPF maintainers: Kumar Kartikeya Dwivedi, Eduard   Zingerman while Martin KaFai Lau reduced his load to Reviwer. - Lots of fixes everywhere from many first time contributors. Thank you   All. - Diff stat is dominated by mechanical split of verifier.c into   multiple components:    - backtrack.c: backtracking logic and jump history    - states.c:    state equivalence    - cfg.c:       control flow graph, postorder, strongly connected                   components    - liveness.c:  register and stack liveness    - fixups.c:    post-verification passes: instruction patching, dead                   code removal, bpf_loop inlining, finalize fastcall   8k line were moved. verifier.c still stands at 20k lines.   Further refactoring is planned for the next release. - Replace dynamic stack liveness with static stack liveness based on   data flow analysis.   This improved the verification time by 2x for some programs and   equally reduced memory consumption. New logic is in liveness.c and   supported by constant folding in const_fold.c (Eduard Zingerman,   Alexei Starovoitov) - Introduce BTF layout to ease addition of new BTF kinds (Alan Maguire) - Use kmalloc_nolock() universally in BPF local storage (Amery Hung) - Fix several bugs in linked registers delta tracking (Daniel Borkmann) - Improve verifier support of arena pointers (Emil Tsalapatis) - Improve verifier tracking of register bounds in min/max and tnum   domains (Harishankar Vishwanathan, Paul Chaignon, Hao Sun) - Further extend support for implicit arguments in the verifier (Ihor   Solodrai) - Add support for nop,nop5 instruction combo for USDT probes in libbpf   (Jiri Olsa) - Support merging multiple module BTFs (Josef Bacik) - Extend applicability of bpf_kptr_xchg (Kaitao Cheng) - Retire rcu_trace_implies_rcu_gp() (Kumar Kartikeya Dwivedi) - Support variable offset context access for &apos;syscall&apos; programs (Kumar   Kartikeya Dwivedi) - Migrate bpf_task_work and dynptr to kmalloc_nolock() (Mykyta   Yatsenko) - Fix UAF in in open-coded task_vma iterator (Puranjay Mohan)* tag &apos;bpf-next-7.1&apos; of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next: (241 commits)  selftests/bpf: cover short IPv4/IPv6 inputs with adjust_room  bpf: reject short IPv4/IPv6 inputs in bpf_prog_test_run_skb  selftests/bpf: Use memfd_create instead of shm_open in cgroup_iter_memcg  selftests/bpf: Add test for cgroup storage OOB read  bpf: Fix OOB in pcpu_init_value  selftests/bpf: Fix reg_bounds to match new tnum-based refinement  selftests/bpf: Add tests for non-arena/arena operations  bpf: Allow instructions with arena source and non-arena dest registers  bpftool: add missing fsession to the usage and docs of bpftool  docs/bpf: add missing fsession attach type to docs  bpf: add missing fsession to the verifier log  bpf: Move BTF checking logic into check_btf.c  bpf: Move backtracking logic to backtrack.c  bpf: Move state equivalence logic to states.c  bpf: Move check_cfg() into cfg.c  bpf: Move compute_insn_live_regs() into liveness.c  bpf: Move fixup/post-processing logic from verifier.c into fixups.c  bpf: Simplify do_check_insn()  bpf: Move checks for reserved fields out of the main pass  bpf: Delete unused variable  ...

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Wed, 15 Apr 2026 03:04:04 +0200</pubDate>
        <dc:creator>Linus Torvalds &lt;torvalds@linux-foundation.org&gt;</dc:creator>
    </item>
<item>
        <title>46ffc1f78295b8fdb587b99ffc18f29e00ec3a30 - Merge branch &apos;bpf-split-verifier-c&apos;</title>
        <link>http://kernelsources.org:8080/source/history/linux/kernel/bpf/Makefile#46ffc1f78295b8fdb587b99ffc18f29e00ec3a30</link>
        <description>Merge branch &apos;bpf-split-verifier-c&apos;Alexei Starovoitov says:====================v3-&gt;v4: Restore few minor comments and undo few function movesv2-&gt;v3: Actually restore comments lost in patch 3(instead of adding them to patch 4)v1-&gt;v2: Restore comments lost in patch 3verifier.c is huge. Split it into logically independent pieces.No functional changes.The diff is impossible to review over email.&apos;git show&apos; shows minimal actual changes. Only plenty of moved lines.Such split may cause backport headaches.We should have split it long ago.Even after split verifier.c is still 20k lines,but further split is harder.====================Acked-by: Kumar Kartikeya Dwivedi &lt;memxor@gmail.com&gt;Acked-by: Daniel Borkmann &lt;daniel@iogearbox.net&gt;Link: https://patch.msgid.link/20260412152936.54262-1-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov &lt;ast@kernel.org&gt;

            List of files:
            /linux/kernel/bpf/Makefile</description>
        <pubDate>Sun, 12 Apr 2026 21:34:31 +0200</pubDate>
        <dc:creator>Alexei Starovoitov &lt;ast@kernel.org&gt;</dc:creator>
    </item>
</channel>
</rss>
