vbpf / ebpf-verifier / 11195912601

87%

push

github

Fix bpf2bpf bug when multiple branches in a subprogram go to exit (#715)

* Fix bpf2bpf bug when multiple branches in a subprogram go to exit

The bug was that the successor label could be processed multiple
times if there were multiple predecessors, resulting in multiple
exit instructions appearing in the block, which in turn would
result in restore_callee_saved_registers() being called multiple
times, giving incorrect results.

* Added a YAML test case for this.
* clang format and tidy asm_cfg.cpp

---------

Signed-off-by: Dave Thaler <dthaler1968@gmail.com>
Co-authored-by: Elazar Gershuni <elazarg@gmail.com>

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

8453 of 9362 relevant lines covered (90.29%)

8787290.12 hits per line