Searched refs:propagate_liveness (Results 1 – 2 of 2) sorted by relevance
511 * Function ``propagate_liveness()`` (see section :ref:`read_marks_for_cache_hits`)513 ``propagate_liveness()`` and ``mark_reg_read()`` source code for further583 why this is important. Function ``propagate_liveness()`` handles this case.
17665 static int propagate_liveness(struct bpf_verifier_env *env, in propagate_liveness() function18073 err = propagate_liveness(env, &sl->state, cur); in is_state_visited()