Commit 55c7bd2ddee5 for kernel

commit 55c7bd2ddee50fd37b3b4c0b7a76bb0fd565f38b
Author: Amery Hung <ameryhung@gmail.com>
Date:   Thu Jul 23 15:18:15 2026 -0700

    selftests/bpf: Test passing scalar NULL to nonnull global subprog

    Make sure the verifier reject passing a hardcoded NULL to an
    __arg_nonnull argument.

    Signed-off-by: Amery Hung <ameryhung@gmail.com>
    Link: https://patch.msgid.link/20260723221815.367797-2-ameryhung@gmail.com
    Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>

diff --git a/tools/testing/selftests/bpf/progs/verifier_global_subprogs.c b/tools/testing/selftests/bpf/progs/verifier_global_subprogs.c
index 75a2e3f48d0f..67dc352addfd 100644
--- a/tools/testing/selftests/bpf/progs/verifier_global_subprogs.c
+++ b/tools/testing/selftests/bpf/progs/verifier_global_subprogs.c
@@ -185,6 +185,16 @@ int arg_tag_nonnull_ptr_good(void *ctx)
 	return subprog_nonnull_ptr_good(&x, &y);
 }

+SEC("?raw_tp")
+__failure __log_level(2)
+__msg("R1 is expected to be non-NULL")
+int arg_tag_nonnull_ptr_null_bad(void *ctx)
+{
+	int y = 74;
+
+	return subprog_nonnull_ptr_good(NULL, &y);
+}
+
 /* this global subprog can be now called from many types of entry progs, each
  * with different context type
  */