Alastair Robertson

@janet-campbell It sounds like being able to take and store references to maps is what you're after, rather than storing those references in tuples specifically? Tuples are currently read-only, so...

Looks like libbpf will have us covered when we fully switch over: https://github.com/libbpf/libbpf/blob/445486dcbf9ddd8b3ca799a98ace58d23cee31a1/src/libbpf.c#L2829-L2833

Why is it that we need to reset `is_btftype` on the type contained within the array, but for pointers only the outer type gets reset?

If-statements as well 😢 ``` $ sudo bpftrace -e 'BEGIN { if (0) { $var = 1; } print($var) }' Attaching 1 probe... 0 ^C ```

See also #686

@viktormalik How much of the BpfProgram logic will remain when we complete the libbpf migration? Do you think libbpf will be able to solve this issue for us?

Now that `print` can work with single map values (#3027), taking that new code path for keyless-maps might be an easy fix for this.

> > Would we also want to add a way to adjust the iteration step-size? > > Do you mean within the loop? If so is that something the verifier...

> The only thing I'd add/change would be `iter("task")` over `iter(task)`. Probably good to avoid proliferation of keywords where we expect a lot of additions in the future.. As Viktor...

> I also thought that initially, however, checking if all paths return a value is actually not semantic analysis, but control flow analysis, since semantic analysis operates on the _AST_,...