As eBPF verifier is quite strict, it only allows functions with return value. Is there any way to stop the check of void return? Which function of verifier should I modify?

Eg., verifier will report “r0.type == number” if the compiler does not automatically add the exit instruction for the following program.

void main() {
    int counter = 0;;
    return;
}

When verifying a “void” function, I expect the verifier to pass it and does not return “r0.type == number”.