Lines Matching refs:backedge
229 struct bpf_scc_backedge *backedge) in add_scc_backedge() argument
247 backedge->next = visit->backedges; in add_scc_backedge()
248 visit->backedges = backedge; in add_scc_backedge()
1087 struct bpf_scc_backedge *backedge; in propagate_backedges() local
1097 for (backedge = visit->backedges; backedge; backedge = backedge->next) in propagate_backedges()
1098 bpf_mark_all_scalars_precise(env, &backedge->state); in propagate_backedges()
1102 for (backedge = visit->backedges; backedge; backedge = backedge->next) { in propagate_backedges()
1103 st = &backedge->state; in propagate_backedges()
1493 struct bpf_scc_backedge *backedge; in bpf_is_state_visited() local
1495 backedge = kzalloc_obj(*backedge, in bpf_is_state_visited()
1497 if (!backedge) in bpf_is_state_visited()
1499 err = bpf_copy_verifier_state(&backedge->state, cur); in bpf_is_state_visited()
1500 backedge->state.equal_state = &sl->state; in bpf_is_state_visited()
1501 backedge->state.insn_idx = insn_idx; in bpf_is_state_visited()
1502 err = err ?: add_scc_backedge(env, &sl->state, backedge); in bpf_is_state_visited()
1504 bpf_free_verifier_state(&backedge->state, false); in bpf_is_state_visited()
1505 kfree(backedge); in bpf_is_state_visited()