From 2fabb67942f8e75f80376fbbe945921568cc87d4 Mon Sep 17 00:00:00 2001 From: Pragyansh Chaturvedi Date: Sun, 5 Oct 2025 03:15:17 +0530 Subject: [PATCH] Add note for faling test named_arg --- tests/failing_tests/named_arg.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tests/failing_tests/named_arg.py b/tests/failing_tests/named_arg.py index efa1c69..edfe324 100644 --- a/tests/failing_tests/named_arg.py +++ b/tests/failing_tests/named_arg.py @@ -4,6 +4,14 @@ from pythonbpf.maps import HashMap from ctypes import c_void_p, c_int64 +# NOTE: This example exposes the problems with our typing system. +# We assign every variable the type i64* by default. +# lookup() return type is ptr, which can't be loaded. +# So we can't do steps on line 25 and 27. +# To counter this, we should allocate vars by speculating their type. +# And in the assign pass, we should have something like a +# recursive_dereferencer() that dereferences a ptr until it hits a non-ptr type. +# And a recursive_wrapper() that does the opposite. @bpf @map