Re: [PATCH bpf-next v2 2/4] selftests/bpf: Add tests for non-constant cond_op NE/EQ bound deduction

[Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx>]

On Thu, Apr 6, 2023 at 9:47 AM Yonghong Song <yhs@xxxxxx> wrote:
>
> Add various tests for code pattern '<non-const> NE/EQ <const>' implemented
> in the previous verifier patch. Without the verifier patch, these new
> tests will fail.
>
> Signed-off-by: Yonghong Song <yhs@xxxxxx>
> ---

Makes sense.

Acked-by: Andrii Nakryiko <andrii@xxxxxxxxxx>

>  .../selftests/bpf/prog_tests/verifier.c       |   2 +
>  .../verifier_bounds_deduction_non_const.c     | 179 ++++++++++++++++++
>  2 files changed, 181 insertions(+)
>  create mode 100644 tools/testing/selftests/bpf/progs/verifier_bounds_deduction_non_const.c
>

[...]