Lines Matching refs:w
17279 static void merge_callee_effects(struct bpf_verifier_env *env, int t, int w) in merge_callee_effects() argument
17284 callee = find_containing_subprog(env, w); in merge_callee_effects()
17369 static int push_insn(int t, int w, int e, struct bpf_verifier_env *env) in push_insn() argument
17380 if (w < 0 || w >= env->prog->len) { in push_insn()
17382 verbose(env, "jump out of range from insn %d to %d\n", t, w); in push_insn()
17388 mark_prune_point(env, w); in push_insn()
17389 mark_jmp_point(env, w); in push_insn()
17392 if (insn_state[w] == 0) { in push_insn()
17395 insn_state[w] = DISCOVERED; in push_insn()
17398 insn_stack[env->cfg.cur_stack++] = w; in push_insn()
17400 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
17404 verbose_linfo(env, w, "%d: ", w); in push_insn()
17405 verbose(env, "back-edge from insn %d to %d\n", t, w); in push_insn()
17407 } else if (insn_state[w] == EXPLORED) { in push_insn()
17422 int w; in visit_func_call_insn() local
17434 w = t + insns[t].imm + 1; in visit_func_call_insn()
17436 merge_callee_effects(env, t, w); in visit_func_call_insn()
17437 ret = push_insn(t, w, BRANCH, env); in visit_func_call_insn()
24403 u32 succ_cnt, i, j, t, w; in compute_scc() local
24506 w = dfs[dfs_sz - 1]; in compute_scc()
24507 if (pre[w] == 0) { in compute_scc()
24508 low[w] = next_preorder_num; in compute_scc()
24509 pre[w] = next_preorder_num; in compute_scc()
24511 stack[stack_sz++] = w; in compute_scc()
24514 succ_cnt = insn_successors(env->prog, w, succ); in compute_scc()
24517 low[w] = min(low[w], low[succ[j]]); in compute_scc()
24527 if (low[w] < pre[w]) { in compute_scc()
24535 assign_scc = stack[stack_sz - 1] != w; in compute_scc()
24537 if (succ[j] == w) { in compute_scc()
24548 } while (t != w); in compute_scc()