incomplete_read_marks
static bool incomplete_read_marks(struct bpf_verifier_env *env,
|| incomplete_read_marks(env, &sl->state))
if (incomplete_read_marks(env, &sl->state))
loop = incomplete_read_marks(env, &sl->state);