Home
last modified time | relevance | path

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

/Linux-v6.6/Documentation/bpf/
Dverifier.rst360 REG_LIVE_WRITTEN = 0x4,
392 * ``REG_LIVE_WRITTEN`` means that the value of the register (or stack slot) is
494 if state->live & REG_LIVE_WRITTEN:
516 Because stack writes could have different sizes ``REG_LIVE_WRITTEN`` marks are
528 As stated above, the write at (1) does not count as ``REG_LIVE_WRITTEN``. Should
/Linux-v6.6/include/linux/
Dbpf_verifier.h45 REG_LIVE_WRITTEN = 0x4, /* reg was written first, screening off later reads */ enumerator
/Linux-v6.6/kernel/bpf/
Dverifier.c658 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
662 if (live & REG_LIVE_WRITTEN) in print_liveness()
938 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
939 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
977 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
978 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
1088 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
1089 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
1196 st->live |= REG_LIVE_WRITTEN; in mark_stack_slots_iter()
1232 st->live |= REG_LIVE_WRITTEN; in unmark_stack_slots_iter()
[all …]