vbpf / prevail / 25013164561

86%

Build Type

push

github

Committed by web-flow

Commit Message

Share helper/kfunc arg resolution; compact kfunc prototype table (#1102)

Extract the duplicated single-/pair-arg kind mappings and the args-walk
switch from call_resolver.cpp and kfunc.cpp into a shared header
(ir/arg_kind.hpp). Each caller dispatches on an ArgOutcome enum and
formats its own diagnostic, so helper vs. kfunc error wording stays
caller-controlled while the structural parity is now enforced.

Compact the 12-entry kfunc prototype table by giving KfuncPrototypeEntry
member-default initializers and rewriting entries with designated
initializers; entries shrink from ~14 lines to 1-3 lines each.

Adopts unified arg-type behavior across helper and kfunc resolution:
PTR_TO_FUNC, PTR_TO_READONLY_MEM[_OR_NULL], CONST_PTR_TO_MAP, and
PTR_TO_UNINIT_MAP_VALUE are now accepted on both paths. No current kfunc
entry exercises these tags, so the change is dormant in practice.

---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

89 of 104 new or added lines in 3 files covered. (85.58%)

1 existing line in 1 file now uncovered.

13742 of 15343 relevant lines covered (89.57%)

4401272.3 hits per line