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

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

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