We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d9ededa commit 1a4e243Copy full SHA for 1a4e243
1 file changed
tests/test_type_checker.ml
@@ -1070,6 +1070,8 @@ let test_xdp_signature_validation () =
1070
let test_kernel_function_calls_from_attributed () =
1071
(* Test the specific bug case: kernel function called from attributed function *)
1072
let program_text = {|
1073
+type IpAddress = u32
1074
+
1075
@helper
1076
fn get_src_ip(ctx: *xdp_md) -> IpAddress {
1077
return 0x08080808 // 8.8.8.8 as u32
@@ -1161,6 +1163,8 @@ fn main_kernel_function(ctx: *xdp_md) -> u32 {
1161
1163
(** Test function call type resolution with user-defined types *)
1162
1164
let test_function_call_user_type_resolution () =
1165
1166
1167
1168
1169
fn extract_ip_from_context(ctx: *xdp_md) -> IpAddress {
1170
return 0x7f000001 // 127.0.0.1 as u32
0 commit comments