STACK_DYNPTR
[STACK_DYNPTR] = 'd',
case STACK_DYNPTR:
if (stype == STACK_DYNPTR || stype == STACK_ITER ||
case STACK_DYNPTR:
case STACK_DYNPTR:
if (state->stack[spi].slot_type[stack_off % BPF_REG_SIZE] == STACK_DYNPTR) {
state->stack[spi].slot_type[i] = STACK_DYNPTR;
state->stack[spi - 1].slot_type[i] = STACK_DYNPTR;
bpf_for_each_reg_in_vstate_mask(env->cur_state, state, reg, stack, 1 << STACK_DYNPTR, ({
if (!stack || stack->slot_type[0] != STACK_DYNPTR)
if (state->stack[spi].slot_type[0] != STACK_DYNPTR)
u32 mask = (1 << STACK_SPILL) | (1 << STACK_DYNPTR);
if (state->stack[spi].slot_type[i] != STACK_DYNPTR ||
state->stack[spi - 1].slot_type[i] != STACK_DYNPTR)
else if (stack->slot_type[BPF_REG_SIZE - 1] == STACK_DYNPTR)