Home
last modified time | relevance | path

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

/Linux-v6.6/include/linux/
Dbpf_verifier.h231 STACK_INVALID, /* nothing was stored in this stack slot */ enumerator
/Linux-v6.6/kernel/bpf/
Dverifier.c647 [STACK_INVALID] = '?',
949 state->stack[spi].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
950 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
1067 state->stack[spi].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
1068 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
1235 slot->slot_type[j] = STACK_INVALID; in unmark_stack_slots_iter()
1314 case STACK_INVALID: in is_stack_slot_special()
1340 if (*stype != STACK_INVALID) in scrub_spilled_slot()
1447 if (state->stack[i].slot_type[j] != STACK_INVALID) in print_verifier_state()
4518 if (*stype == STACK_INVALID && !env->allow_uninit_stack) { in check_stack_write_var_off()
[all …]
/Linux-v6.6/Documentation/bpf/
Dverifier.rst539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
567 or ``STACK_INVALID``