If a bound check generated for accessing packet fails, we should fallback to the userspace. So the failure flag must be set accordingly. This means that the fallback generation should happen after verifier pass (Also the userspace code generation). This is not what is currently happening in the implementation.
If a bound check generated for accessing packet fails, we should fallback to the userspace. So the failure flag must be set accordingly. This means that the fallback generation should happen after verifier pass (Also the userspace code generation). This is not what is currently happening in the implementation.