Hi,The function check_max_stack_depth (https://elixir.bootlin.com/linux/latest/source/kernel/bpf/verifier.c#L3574) is used to ensure the stack size is no greater than 8KB.
The stack can only grow over 8KB because of tail calls as they only unwind the current stack frame. I wonder why not make tail call reset the stack since what was on the stack
will never be used again? Thanks