Andrii Nakryiko wrote: > This patch set fixes ambiguity in BPF verifier log output of SCALAR register > in the parts that emit umin/umax, smin/smax, etc ranges. See patch #4 for > details. > > Also, patch #5 fixes an issue with verifier log missing instruction context > (state) output for conditionals that trigger precision marking. See details in > the patch. > > First two patches are just improvements to two selftests that are very flaky > locally when run in parallel mode. > > Patch #3 changes 'align' selftest to be less strict about exact verifier log > output (which patch #4 changes, breaking lots of align tests as written). Now > test does more of a register substate checks, mostly around expected var_off() > values. This 'align' selftests is one of the more brittle ones and requires > constant adjustment when verifier log output changes, without really catching > any new issues. So hopefully these changes can minimize future support efforts > for this specific set of tests. LGTM, I had one question/comment in there but I don't think its too important feel free to ignore if you like. Acked-by: John Fastabend <john.fastabend@xxxxxxxxx>
