On Fri, Aug 20, 2021 at 9:39 AM Andrey Ignatov <rdna@xxxxxx> wrote: > > Fix a verifier bug found by smatch static checker in [0]. > > [0] https://lore.kernel.org/bpf/20210817050843.GA21456@kili/ > > v1->v2: > - clarify that problem was only seen by static checker but not in prod; Since it's a theoretical bug applied to bpf-next.