diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2025-09-18 19:18:41 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-09-19 09:27:23 -0700 |
| commit | ccf25a67c7e29cfa6815d193054789b45ef825ad (patch) | |
| tree | 9df851b84a8d166f3962fa619bc8d163a5f5a33b /scripts/gdb/linux/device.py | |
| parent | e41c237953b36cdd025b82996a74bfe39c509d20 (diff) | |
bpf: signal error if old liveness is more conservative than new
Unlike the new algorithm, register chain based liveness tracking is
fully path sensitive, and thus should be strictly more accurate.
Validate the new algorithm by signaling an error whenever it considers
a stack slot dead while the old algorithm considers it alive.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250918-callchain-sensitive-liveness-v3-8-c3cd27bacc60@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'scripts/gdb/linux/device.py')
0 files changed, 0 insertions, 0 deletions