Home
last modified time | relevance | path

Searched refs:STACK_INVALID (Results 1 – 4 of 4) sorted by relevance

/linux/kernel/bpf/
H A Dstates.c681 ((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) && in is_stack_misc_after()
721 cur->stack[spi].slot_type[i % BPF_REG_SIZE] : STACK_INVALID; in stacksafe()
725 old_type = STACK_INVALID; in stacksafe()
727 cur_type = STACK_INVALID; in stacksafe()
732 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID || in stacksafe()
832 case STACK_INVALID: in stacksafe()
H A Dlog.c498 [STACK_INVALID] = '?',
731 if (slot_type != STACK_INVALID && slot_type != STACK_POISON) in print_verifier_state()
H A Dverifier.c736 stack[0].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
737 stack[1].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
987 slot->slot_type[j] = STACK_INVALID; in unmark_stack_slots_iter()
1149 slot->slot_type[i] = STACK_INVALID; in unmark_stack_slot_irq_flag()
1218 case STACK_INVALID: in is_stack_slot_special()
1248 if (*stype == STACK_INVALID || *stype == STACK_POISON) in mark_stack_slot_misc()
1255 if (*stype != STACK_INVALID && *stype != STACK_POISON) in scrub_spilled_slot()
3749 if ((*stype == STACK_INVALID || *stype == STACK_POISON) && in check_stack_write_var_off()
3924 if (type == STACK_INVALID && env->allow_uninit_stack) in check_stack_read_fixed_off()
3983 if (type == STACK_INVALID && env->allow_uninit_stack) in check_stack_read_fixed_off()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h230 STACK_INVALID, /* nothing was stored in this stack slot */ enumerator