bpf: abort verification if env->cur_state->loop_entry != NULL
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 25 Feb 2025 00:38:38 +0000 (16:38 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 26 Feb 2025 03:02:46 +0000 (19:02 -0800)
commitf3c2d243a36ef23be07bc2bce7c6a5cb6e07d9e3
tree822b4989bbe3e006d744f85836936aa80ca5055e
parent1ffe30efd2f2e58c36b754c42c2b61906078a4cf
bpf: abort verification if env->cur_state->loop_entry != NULL

In addition to warning abort verification with -EFAULT.
If env->cur_state->loop_entry != NULL something is irrecoverably
buggy.

Fixes: bbbc02b7445e ("bpf: copy_verifier_state() should copy 'loop_entry' field")
Suggested-by: Andrii Nakryiko <andrii.nakryiko@gmail.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20250225003838.135319-1-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c