diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index d101467b62a2..727e2d58f3f6 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -6084,6 +6084,7 @@ static int check_cond_jmp_op(struct bpf_verifier_env *env, if (err) return err; } + if (pred == 1) { /* Only follow the goto, ignore fall-through. If needed, push * the fall-through branch for simulation under speculative