From:   Xu Kuohai <xukuohai@huaweicloud.com>
To:     bpf@vger.kernel.org, linux-kselftest@vger.kernel.org,
        linux-kernel@vger.kernel.org
Cc:     Alexei Starovoitov <ast@kernel.org>,
        Daniel Borkmann <daniel@iogearbox.net>,
        John Fastabend <john.fastabend@gmail.com>,
        Andrii Nakryiko <andrii@kernel.org>,
        Martin KaFai Lau <martin.lau@linux.dev>,
        Song Liu <song@kernel.org>, Yonghong Song <yhs@fb.com>,
        KP Singh <kpsingh@kernel.org>,
        Stanislav Fomichev <sdf@google.com>,
        Hao Luo <haoluo@google.com>, Jiri Olsa <jolsa@kernel.org>,
        Mykola Lysenko <mykolal@fb.com>, Shuah Khan <shuah@kernel.org>
Subject: [PATCH bpf-next 0/2] update 32-bit bounds when the lower 32-bit value is not wrapping
Date:   Tue,  7 Mar 2023 17:04:47 -0500
Message-Id: <20230307220449.2933650-1-xukuohai@huaweicloud.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Precedence: bulk

This patchset updates __reg_combine_64_into_32 function to set 32-bit bounds
when lower 32-bit value is not wrapping, and add cases to for it.

Xu Kuohai (2):
  bpf: update 32-bit bounds when the lower 32-bit value is not wrapping
  selftests/bpf: check bounds not in the 32-bit range

 kernel/bpf/verifier.c                         |  27 ++--
 tools/testing/selftests/bpf/verifier/bounds.c | 121 ++++++++++++++++++
 2 files changed, 132 insertions(+), 16 deletions(-)

-- 
2.30.2