bpf: set 'changed' status if propagate_liveness() did any updates
authorEduard Zingerman <eddyz87@gmail.com>
Wed, 11 Jun 2025 20:08:31 +0000 (13:08 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 12 Jun 2025 23:52:43 +0000 (16:52 -0700)
commitdfb2d4c64b82ac1e7a03e0b28b4326458705d26f
treefd8f75823c550f9c5dcaf3464ca88355242db0d0
parent23b37d616565c89dd202febc68d926345727d092
bpf: set 'changed' status if propagate_liveness() did any updates

Add an out parameter to `propagate_liveness()` to record whether any
new liveness bits were set during its execution.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250611200836.4135542-6-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c