]> git.ipfire.org Git - thirdparty/kernel/stable.git/commit
bpf: Initialize used but uninit variable in propagate_liveness()
authorSong Liu <song@kernel.org>
Thu, 12 Jun 2025 22:11:00 +0000 (15:11 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 12 Jun 2025 23:53:40 +0000 (16:53 -0700)
commitfa6932577c073497379a1f5901ea5b208a38da10
tree01df58e007c7b2d496ab460921b4927838da50c0
parent50034d93628143c747e90418b5bf7df6851ac612
bpf: Initialize used but uninit variable in propagate_liveness()

With input changed == NULL, a local variable is used for "changed".
Initialize tmp properly, so that it can be used in the following:
   *changed |= err > 0;

Otherwise, UBSAN will complain:

UBSAN: invalid-load in kernel/bpf/verifier.c:18924:4
load of value <some random value> is not a valid value for type '_Bool'

Fixes: dfb2d4c64b82 ("bpf: set 'changed' status if propagate_liveness() did any updates")
Signed-off-by: Song Liu <song@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250612221100.2153401-1-song@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c