Repository navigation

Fix/packet pointer arith - #108

Open

r41k0u wants to merge 6 commits into

fix/packet-pointer-arith

Commits on Sep 25, 2026

Tests: Pin 32-bit arithmetic on xdp_md.data as a verifier-level xfail

r41k0u
and
claude
committed
fab456b
Core: Special-case packet-pointer context fields in arithmetic

r41k0u
and
claude
committed
6a859ac
Core: Carry the packet-pointer kind on the type descriptor

r41k0u
and
claude
committed
b9b582a
Tests: Packet pointers through locals, bounds checks, data_meta, and the refusals

r41k0u
and
claude
committed
db89408
Merge origin/master (#105) into fix/packet-pointer-arith

r41k0u
and
claude
committed
4cb5f01
Core: Let a packet pointer be narrowed on a store, as C does

r41k0u
and
claude
committed
aa612a4