summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
diff options
context:
space:
mode:
authorAlexei Starovoitov <ast@kernel.org>2026-05-25 06:33:15 -0700
committerAlexei Starovoitov <ast@kernel.org>2026-05-25 06:33:30 -0700
commiteb19eead368bb0f0ef06a4125d03ed661cd23d36 (patch)
treec831fe5940f705d97ee4ff8a33b14fe8ef013f31 /include/linux/bpf_verifier.h
parentb1fcdf9aa9f562d0768f59ae178ed4e67fd7f370 (diff)
parente7ae89a0c97ce2b68b0983cd01eda67cf373517d (diff)
downloadlinux-eb19eead368bb0f0ef06a4125d03ed661cd23d36.tar.gz
linux-eb19eead368bb0f0ef06a4125d03ed661cd23d36.zip
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.1-rc5
Cross-merge BPF and other fixes after downstream PR. Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'include/linux/bpf_verifier.h')
-rw-r--r--include/linux/bpf_verifier.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h
index 20c421b43849..5cbad3b64130 100644
--- a/include/linux/bpf_verifier.h
+++ b/include/linux/bpf_verifier.h
@@ -828,6 +828,7 @@ struct bpf_subprog_info {
*/
s16 fastcall_stack_off;
bool has_tail_call: 1;
+ bool might_throw: 1;
bool tail_call_reachable: 1;
bool has_ld_abs: 1;
bool is_cb: 1;
@@ -1425,6 +1426,7 @@ void bpf_fmt_stack_mask(char *buf, ssize_t buf_sz, u64 stack_mask);
bool bpf_subprog_is_global(const struct bpf_verifier_env *env, int subprog);
int bpf_find_subprog(struct bpf_verifier_env *env, int off);
+bool bpf_is_throw_kfunc(struct bpf_insn *insn);
int bpf_compute_const_regs(struct bpf_verifier_env *env);
int bpf_prune_dead_branches(struct bpf_verifier_env *env);
int bpf_check_cfg(struct bpf_verifier_env *env);