vbpf / prevail / 24556264476

86%

Build Type

push

github

Committed by web-flow

Commit Message

Extract compute_slice_from_label from compute_failure_slices (#1061)

* Extract compute_slice_from_label from compute_failure_slices

Refactor backward slicing to expose a general-purpose
compute_slice_from_label() method on AnalysisResult that accepts an
arbitrary label and seed relevance. The existing compute_failure_slices()
now delegates to it, iterating error labels and extracting initial
relevance from assertions.

* Fix slice relevance merge and conservative mode seed

Merge per-label relevance instead of overwriting when a label is
revisited from a different successor, preserving registers and stack
offsets from earlier visits.

Only fall back to aggregating all assertion registers when the failing
assertion was not identified. When it was found but has no register
deps, leave the seed empty so compute_slice_from_label enters
conservative mode.

---------

Signed-off-by: Michael Agun <danielagun@microsoft.com>

Coverage Stats

113 of 125 new or added lines in 1 file covered. (90.4%)

1 existing line in 1 file now uncovered.

13437 of 15079 relevant lines covered (89.11%)

4561426.54 hits per line