Home
last modified time | relevance | path

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

/linux/kernel/bpf/
A Dlog.c534 [STACK_INVALID] = '?',
787 if (slot_type != STACK_INVALID) in print_verifier_state()
A Dverifier.c773 state->stack[spi].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
774 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
891 state->stack[spi].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
892 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
1070 slot->slot_type[j] = STACK_INVALID; in unmark_stack_slots_iter()
1151 case STACK_INVALID: in is_stack_slot_special()
1191 if (env->allow_ptr_leaks && *stype == STACK_INVALID) in mark_stack_slot_misc()
1198 if (*stype != STACK_INVALID) in scrub_spilled_slot()
5029 if (type == STACK_INVALID && env->allow_uninit_stack) in check_stack_read_fixed_off()
17133 st->stack[i].slot_type[j] = STACK_INVALID; in clean_func_state()
[all …]
/linux/include/linux/
A Dbpf_verifier.h243 STACK_INVALID, /* nothing was stored in this stack slot */ enumerator
/linux/Documentation/bpf/
A Dverifier.rst539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
567 or ``STACK_INVALID``

Completed in 50 milliseconds