From: kernel test robot <lkp@intel.com>
To: kbuild-all@lists.01.org
Subject: kernel/bpf/verifier.c:1371 __reg32_bound_s64() warn: always true condition '(a <= (((~0) >> 1))) => (s32min-s32max <= s32max)'
Date: Thu, 23 Dec 2021 02:10:31 +0800 [thread overview]
Message-ID: <202112230216.VClmulwe-lkp@intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 975 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 2f47a9a4dfa3674fad19a49b40c5103a9a8e1589
commit: e572ff80f05c33cd0cb4860f864f5c9c044280b6 bpf: Make 32->64 bounds propagation slightly more robust
date: 6 days ago
config: x86_64-randconfig-m001-20211222 (https://download.01.org/0day-ci/archive/20211223/202112230216.VClmulwe-lkp(a)intel.com/config)
compiler: gcc-9 (Debian 9.3.0-22) 9.3.0
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
smatch warnings:
kernel/bpf/verifier.c:1371 __reg32_bound_s64() warn: always true condition '(a <= (((~0) >> 1))) => (s32min-s32max <= s32max)'
vim +1371 kernel/bpf/verifier.c
1368
1369 static bool __reg32_bound_s64(s32 a)
1370 {
> 1371 return a >= 0 && a <= S32_MAX;
1372 }
1373
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
WARNING: multiple messages have this Message-ID (diff)
From: kernel test robot <lkp@intel.com>
To: Daniel Borkmann <daniel@iogearbox.net>
Cc: kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
John Fastabend <john.fastabend@gmail.com>
Subject: kernel/bpf/verifier.c:1371 __reg32_bound_s64() warn: always true condition '(a <= (((~0) >> 1))) => (s32min-s32max <= s32max)'
Date: Thu, 23 Dec 2021 02:10:31 +0800 [thread overview]
Message-ID: <202112230216.VClmulwe-lkp@intel.com> (raw)
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 2f47a9a4dfa3674fad19a49b40c5103a9a8e1589
commit: e572ff80f05c33cd0cb4860f864f5c9c044280b6 bpf: Make 32->64 bounds propagation slightly more robust
date: 6 days ago
config: x86_64-randconfig-m001-20211222 (https://download.01.org/0day-ci/archive/20211223/202112230216.VClmulwe-lkp@intel.com/config)
compiler: gcc-9 (Debian 9.3.0-22) 9.3.0
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
smatch warnings:
kernel/bpf/verifier.c:1371 __reg32_bound_s64() warn: always true condition '(a <= (((~0) >> 1))) => (s32min-s32max <= s32max)'
vim +1371 kernel/bpf/verifier.c
1368
1369 static bool __reg32_bound_s64(s32 a)
1370 {
> 1371 return a >= 0 && a <= S32_MAX;
1372 }
1373
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
next reply other threads:[~2021-12-22 18:10 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-22 18:10 kernel test robot [this message]
2021-12-22 18:10 ` kernel/bpf/verifier.c:1371 __reg32_bound_s64() warn: always true condition '(a <= (((~0) >> 1))) => (s32min-s32max <= s32max)' kernel test robot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=202112230216.VClmulwe-lkp@intel.com \
--to=lkp@intel.com \
--cc=kbuild-all@lists.01.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.