Greeting,

FYI, we noticed the following commit (built with gcc-11):

commit: 2cb80ae5216d26bca97c7068ff825e2a7f585843 ("bpf: Do more tight ALU bounds tracking")
url: https://github.com/intel-lab-lkp/linux/commits/UPDATE-20220730-064345/Kuee-K1r0a/bpf-Do-more-tight-ALU-bounds-tracking/20220729-113248

in testcase: kernel-selftests
version: kernel-selftests-x86_64-37f3cb9b-1_20220704
with following parameters:

	group: bpf
	ucode: 0xf0

test-description: The kernel contains a set of "self tests" under the tools/testing/selftests/ directory. These are intended to be small unit tests to exercise individual code paths in the kernel.
test-url: https://www.kernel.org/doc/Documentation/kselftest.txt


on test machine: 8 threads 1 sockets Intel(R) Core(TM) i7-7700 CPU @ 3.60GHz with 32G memory

caused below changes (please refer to attached dmesg/kmsg for entire log/backtrace):

# selftests: bpf: test_verifier
...
# #142/p bounds check after truncation of non-boundary-crossing range FAIL
# Failed to load prog 'Permission denied'!
# invalid access to map value, value_size=8 off=16777215 size=1
# R0 max value is outside of the allowed memory range
# verification time 139 usec
# stack depth 8
...
# Summary: 1349 PASSED, 635 SKIPPED, 1 FAILED
not ok 1 selftests: bpf: test_verifier # exit=1


=========================================================================================
tbox_group/testcase/rootfs/kconfig/compiler/group/ucode:
   lkp-kbl-d01/kernel-selftests/debian-12-x86_64-20220629.cgz/x86_64-rhel-8.3-kselftests/gcc-11/bpf/0xf0

commit:
   2cb80ae5216d2 bpf: Do more tight ALU bounds tracking
   f946964a9f79f net: marvell: prestera: fix missed deinit sequence

f946964a9f79f8dc 2cb80ae5216d26bca97c7068ff8
---------------- ---------------------------
        fail:runs  %reproduction    fail:runs
            |             |             |
            :11         109%          12:12    kernel-selftests.bpf.test_verifier.fail


not sure if bpf selftests also need to be updated to accommodate the change of this patch.


If you fix the issue, kindly add following tag
Reported-by: kernel test robot <yujie.liu@intel.com>


To reproduce:

         git clone https://github.com/intel/lkp-tests.git
         cd lkp-tests
         sudo bin/lkp install job.yaml           # job file is attached in this email
         bin/lkp split-job --compatible job.yaml # generate the yaml file for lkp run
         sudo bin/lkp run generated-yaml-file

         # if come across any failure that blocks the test,
         # please remove ~/.lkp and /lkp dir to run from a clean state.

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp