Alan-Jowett / ebpf-verifier / 21873750636

88%

push

github

Fix duplicate CFG labels in function macro processing

The loop walking successor nodes incorrectly inserted macro_label (the
current node) into seen_labels instead of next_macro_label (the successor).
This caused successors to be added to macro_labels multiple times, resulting
in 'Label already exists' errors.

Fixes #990

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

1 of 1 new or added line in 1 file covered. (100.0%)

9334 of 10766 relevant lines covered (86.7%)

3133435.22 hits per line