bpf: Add source and instruction diagnostic context

Browse source

Teach verifier diagnostics to annotate an instruction with BTF source
line information and nearby BPF instructions. The renderer keeps source
text in a fixed-width lane and prints instructions in a stable right-hand
gutter.

Wrap annotation text under the source line so long error labels remain
readable while the source and instruction lanes keep their fixed layout.

Keeping source and instruction context in one commit preserves the visual
layout contract that later diagnostic reports rely on.

Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://patch.msgid.link/20260815064612.378577-3-memxor@gmail.com
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>

...

This commit is contained in:

Kumar Kartikeya Dwivedi 2026-08-15 08:45:57 +02:00 • committed by Eduard Zingerman

parent 5ad7461663

commit b9c5d822f6

8 changed files with 576 additions and 30 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

12

include/linux/bpf.h

View file

4

include/linux/bpf_verifier.h

View file

1

include/linux/btf.h

View file

10

kernel/bpf/btf.c

View file

35

kernel/bpf/core.c

View file

490

kernel/bpf/diagnostics.c

View file

7

kernel/bpf/diagnostics.h

View file

47

kernel/bpf/verifier.c

View file