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()
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()
[all …]
H A Dverifier.c1714 struct bpf_scc_backedge *backedge, *next; in bpf_free_backedges() local
1716 for (backedge = visit->backedges; backedge; backedge = next) { in bpf_free_backedges()
1717 bpf_free_verifier_state(&backedge->state, false); in bpf_free_backedges()
1718 next = backedge->next; in bpf_free_backedges()
1719 kfree(backedge); in bpf_free_backedges()