On Wed, Jan 10, 2024 at 9:21 PM Yonghong Song <yonghong.song@xxxxxxxxx> wrote: > > In verifier.rst, I found an incorrect statement (maybe a typo) in section > 'Liveness marks tracking'. Basically, the wrong register is attributed > to have a read mark. This may confuse the user. > > Signed-off-by: Yonghong Song <yonghong.song@xxxxxxxxx> > --- > Documentation/bpf/verifier.rst | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/Documentation/bpf/verifier.rst b/Documentation/bpf/verifier.rst > index f0ec19db301c..356894399fbf 100644 > --- a/Documentation/bpf/verifier.rst > +++ b/Documentation/bpf/verifier.rst > @@ -562,7 +562,7 @@ works:: > * ``checkpoint[0].r1`` is marked as read; > > * At instruction #5 exit is reached and ``checkpoint[0]`` can now be processed > - by ``clean_live_states()``. After this processing ``checkpoint[0].r0`` has a > + by ``clean_live_states()``. After this processing ``checkpoint[0].r1`` has a > read mark and all other registers and stack slots are marked as ``NOT_INIT`` > or ``STACK_INVALID`` The typo fix looks correct to me. Eduard, since you're the author of this line. Pls double check.
