Symbol: propagate_precision
kernel/bpf/verifier.c
20361
err = propagate_precision(env, st->equal_state, st, &changed);
kernel/bpf/verifier.c
20651
err = err ? : propagate_precision(env, &sl->state, cur, NULL);