Lines Matching refs:backedge

1988 			    struct bpf_scc_backedge *backedge)  in add_scc_backedge()  argument
2006 backedge->next = visit->backedges; in add_scc_backedge()
2007 visit->backedges = backedge; in add_scc_backedge()
2034 struct bpf_scc_backedge *backedge, *next; in free_backedges() local
2036 for (backedge = visit->backedges; backedge; backedge = next) { in free_backedges()
2037 free_verifier_state(&backedge->state, false); in free_backedges()
2038 next = backedge->next; in free_backedges()
2039 kfree(backedge); in free_backedges()
19579 struct bpf_scc_backedge *backedge; in propagate_backedges() local
19589 for (backedge = visit->backedges; backedge; backedge = backedge->next) in propagate_backedges()
19590 mark_all_scalars_precise(env, &backedge->state); in propagate_backedges()
19594 for (backedge = visit->backedges; backedge; backedge = backedge->next) { in propagate_backedges()
19595 st = &backedge->state; in propagate_backedges()
19960 struct bpf_scc_backedge *backedge; in is_state_visited() local
19962 backedge = kzalloc(sizeof(*backedge), GFP_KERNEL_ACCOUNT); in is_state_visited()
19963 if (!backedge) in is_state_visited()
19965 err = copy_verifier_state(&backedge->state, cur); in is_state_visited()
19966 backedge->state.equal_state = &sl->state; in is_state_visited()
19967 backedge->state.insn_idx = insn_idx; in is_state_visited()
19968 err = err ?: add_scc_backedge(env, &sl->state, backedge); in is_state_visited()
19970 free_verifier_state(&backedge->state, false); in is_state_visited()
19971 kfree(backedge); in is_state_visited()