STACK_POISON
[STACK_POISON] = 'p',
if (slot_type != STACK_INVALID && slot_type != STACK_POISON)
st->stack[i].slot_type[j] = STACK_POISON;
((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) &&
if (old_type == STACK_POISON)
if (cur_type == STACK_POISON)
old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_POISON)
case STACK_POISON:
case STACK_POISON:
if (*stype == STACK_INVALID || *stype == STACK_POISON)
if (*stype != STACK_INVALID && *stype != STACK_POISON)
if ((*stype == STACK_INVALID || *stype == STACK_POISON) &&
if (type == STACK_POISON) {
if (type == STACK_POISON) {
if (*stype == STACK_POISON) {