26423712581

Committed 25 May 2026 11:22PM UTC coverage: 86.431% (-0.008%) from 86.439%

Build # 26423712581

Build Type

push

github

Committed by

elazarg

Commit Message

Restore callee-saved registers via rename to preserve zone edges

When a local call returns, the old restore logic used individual
assign+havoc operations to move saved register values back. Each
assign could lose zone relationships (via the singleton shortcut in
ZoneDomain::assign), destroying edges between loop counters and
callee-saved registers.

Replace the restore with a bulk rename: relabel the frame variables
back to register names in both ZoneDomain (vert_map/rev_map swap)
and TypeDomain (VarIdMap swap). The SplitDBM graph is untouched —
all zone edges survive, including counter relationships.

The save remains a copy (assign), not a rename, so that the callee
can still read the caller's r6-r9 per the BPF calling convention.
Also remove the is_top() skip in save — a variable can have useful
zone edges (relational constraints) even when its interval is top.

Fixes #1119, related to #670.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Coverage Stats

53 of 59 new or added lines in 7 files covered. (89.83%)

76 existing lines in 4 files now uncovered.

8956 of 10362 relevant lines covered (86.43%)

6820297.4 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

90.31

/src/crab/type_domain.cpp

Build SHA Not Found

The commit SHA "9404df3e23b0b12c0ac88f13e4a81b4b0a998c41" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.

vbpf / prevail / 26423712581

Source File Press 'n' to go to next uncovered line, 'b' for previous

Build SHA Not Found

Source File
Press 'n' to go to next uncovered line, 'b' for previous