On 8/23/19 7:52 AM, Alexei Starovoitov wrote:

Add few additional tests for precision tracking in the verifier.

Alexei Starovoitov (4):
   bpf: introduce verifier internal test flag
   tools/bpf: sync bpf.h
   selftests/bpf: verifier precise tests
   selftests/bpf: add precision tracking test

  include/linux/bpf_verifier.h                  |   1 +
  include/uapi/linux/bpf.h                      |   3 +
  kernel/bpf/syscall.c                          |   1 +
  kernel/bpf/verifier.c                         |   5 +-
  tools/include/uapi/linux/bpf.h                |   3 +
  tools/testing/selftests/bpf/test_verifier.c   |  68 +++++++--
  .../testing/selftests/bpf/verifier/precise.c  | 142 ++++++++++++++++++
  7 files changed, 211 insertions(+), 12 deletions(-)
  create mode 100644 tools/testing/selftests/bpf/verifier/precise.c

Applied, thanks!