propagate_backedges
static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit);
return propagate_backedges(env, visit);