STACK_INVALID
[STACK_INVALID] = '?',
if (slot_type != STACK_INVALID && slot_type != STACK_POISON)
((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) &&
cur->stack[spi].slot_type[i % BPF_REG_SIZE] : STACK_INVALID;
old_type = STACK_INVALID;
cur_type = STACK_INVALID;
if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID ||
case STACK_INVALID:
slot->slot_type[i] = STACK_INVALID;
case STACK_INVALID:
if (*stype == STACK_INVALID || *stype == STACK_POISON)
if (*stype != STACK_INVALID && *stype != STACK_POISON)
if ((*stype == STACK_INVALID || *stype == STACK_POISON) &&
if (type == STACK_INVALID && env->allow_uninit_stack)
if (type == STACK_INVALID && env->allow_uninit_stack)
(*stype == STACK_INVALID && env->allow_uninit_stack)) {
stack[0].slot_type[i] = STACK_INVALID;
stack[1].slot_type[i] = STACK_INVALID;
slot->slot_type[j] = STACK_INVALID;