|
@@ -823,6 +823,7 @@ next:
|
|
|
return 0;
|
|
return 0;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
+static
|
|
|
struct bpf_verifier_state *skip_callee(struct bpf_verifier_env *env,
|
|
struct bpf_verifier_state *skip_callee(struct bpf_verifier_env *env,
|
|
|
const struct bpf_verifier_state *state,
|
|
const struct bpf_verifier_state *state,
|
|
|
struct bpf_verifier_state *parent,
|
|
struct bpf_verifier_state *parent,
|
|
@@ -867,7 +868,7 @@ bug:
|
|
|
verbose(env, "verifier bug regno %d tmp %p\n", regno, tmp);
|
|
verbose(env, "verifier bug regno %d tmp %p\n", regno, tmp);
|
|
|
verbose(env, "regno %d parent frame %d current frame %d\n",
|
|
verbose(env, "regno %d parent frame %d current frame %d\n",
|
|
|
regno, parent->curframe, state->curframe);
|
|
regno, parent->curframe, state->curframe);
|
|
|
- return 0;
|
|
|
|
|
|
|
+ return NULL;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
static int mark_reg_read(struct bpf_verifier_env *env,
|
|
static int mark_reg_read(struct bpf_verifier_env *env,
|