Home
last modified time | relevance | path

Searched refs:backedge (Results 1 – 2 of 2) sorted by relevance

/linux/kernel/bpf/
H A Dstates.c229 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()
1086 struct bpf_scc_backedge *backedge; in propagate_backedges() local
1096 for (backedge = visit->backedges; backedge; backedge = backedge->next) in propagate_backedges()
1097 bpf_mark_all_scalars_precise(env, &backedge->state); in propagate_backedges()
1101 for (backedge = visit->backedges; backedge; backedge = backedge->next) { in propagate_backedges()
1102 st = &backedge->state; in propagate_backedges()
1492 struct bpf_scc_backedge *backedge; in bpf_is_state_visited() local
1494 backedge = kzalloc_obj(*backedge, in bpf_is_state_visited()
[all …]
H A Dverifier.c1723 struct bpf_scc_backedge *backedge, *next; in bpf_free_backedges() local
1725 for (backedge = visit->backedges; backedge; backedge = next) { in bpf_free_backedges()
1726 bpf_free_verifier_state(&backedge->state, false); in bpf_free_backedges()
1727 next = backedge->next; in bpf_free_backedges()
1728 kfree(backedge); in bpf_free_backedges()