commit bdbf1ffe1cf9ba75df39e8f788cde0e9c2641b86
author Alexei Starovoitov <ast@kernel.org> Fri Mar 31 17:51:03 2023 -0700
committer Alexei Starovoitov <ast@kernel.org> Fri Mar 31 17:51:03 2023 -0700
tree ca60a8493bce10b71b653c8c8ad2808237a62955
parent d838269c7a56a11ca746d4f268c983355dabf51b

bpf: wip.

this should be MAYBE_NULL.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>

kernel/bpf/verifier.c

diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c
index 19d0c39..8af3844e 100644
--- a/kernel/bpf/verifier.c
+++ b/kernel/bpf/verifier.c
@@ -5391,12 +5391,25 @@
 	struct css_set __rcu *cgroups;
 	struct task_struct __rcu *real_parent;
 	struct task_struct *group_leader;
+	struct mm_struct *mm;
+};
+
+BTF_TYPE_SAFE_RCU(struct cgroup) {
+	struct kernfs_node *kn;
 };
 
 BTF_TYPE_SAFE_RCU(struct css_set) {
 	struct cgroup *dfl_cgrp;
 };
 
+BTF_TYPE_SAFE_RCU(struct mm_struct) {
+	struct file __rcu *exe_file;
+};
+
+BTF_TYPE_SAFE_RCU(struct sk_buff) {
+	struct sock *sk;
+};
+
 /* full trusted: these fields are trusted even outside of RCU CS and never NULL */
 BTF_TYPE_SAFE_TRUSTED(struct bpf_iter_meta) {
 	struct seq_file *seq;
@@ -5429,7 +5442,10 @@
 			const char *field_name, u32 btf_id)
 {
 	BTF_TYPE_EMIT(BTF_TYPE_SAFE_RCU(struct task_struct));
+	BTF_TYPE_EMIT(BTF_TYPE_SAFE_RCU(struct cgroup));
 	BTF_TYPE_EMIT(BTF_TYPE_SAFE_RCU(struct css_set));
+	BTF_TYPE_EMIT(BTF_TYPE_SAFE_RCU(struct mm_struct));
+	BTF_TYPE_EMIT(BTF_TYPE_SAFE_RCU(struct sk_buff));
 
 	return btf_nested_type_is_trusted(&env->log, reg, field_name, btf_id, "__safe_rcu");
 }