vbpf / prevail / 19167093626

87%

push

github

Improve how the CFG is returned and how the loop counters are inserted in from_sequence (#945)

* Modify for_each_loop_head to iter over nested loop heads, allowing from_sequence to add IncrementLoopCounter in nested components

* Modify from_sequence to return the CFG using a move constructor, as RVO/NRVO is not applied on builder.prog

Signed-off-by: Maxime Derri <maxime.derri@orange.com>

6 of 8 new or added lines in 2 files covered. (75.0%)

9044 of 10406 relevant lines covered (86.91%)

3929777.12 hits per line