1
90%
main: 90%

Ran 19 Feb 2026 08:25PM UTC

Files 80

Run time 3s

Badge

Embed ▾

Committed 19 Feb 2026 08:14PM UTC coverage: 87.426% (-0.1%) from 87.537%

Job # 22198361536.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add table-driven kfunc CALL src=2 resolution and validation (#1023)

* Add table-driven kfunc CALL src=2 resolution and validation
* Reject flagged kfunc entries until KF semantics are modeled
* Enforce kfunc program-type and privilege availability gating
* Allow map-value-or-null kfunc returns in table-driven subset
* Harden kfunc ValidCall handling and extend arg-pair coverage
* Harden kfunc arg-kind mapping and remove redundant static
* Add writable-memory kfunc arg-pair contract coverage
* Disambiguate helper and kfunc calls in ValidCall checks
* move linux prototype mapping out of ir
The `args.size() - i < 2` check was always false because the args
array has a DONTCARE sentinel at index 6, ensuring args[i+1] is
always in bounds for any i in the loop range [1, 5].
* cfg: only treat helper calls as tail-call helpers
* docs: point kfunc support matrix to linux/kfunc implementation
* platform: route kfunc resolution through platform interface
* kfunc: cache validated call resolution in cfg lowering

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Coverage Stats

10902 of 12470 relevant lines covered (87.43%)

424109.59 hits per line

vbpf / prevail / 22198361536 / 1
90%
main: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22198361536.1

vbpf / prevail / 22198361536 / 1 90% main: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22198361536.1

vbpf / prevail / 22198361536 / 1
90%
main: 90%

README BADGES
x