From: kernel test robot <lkp@intel.com>
To: kbuild@lists.01.org
Subject: drivers/scsi/be2iscsi/be_main.c:2955:6: warning: Branch condition evaluates to a garbage value [clang-analyzer-core.uninitialized.Branch]
Date: Tue, 01 Feb 2022 18:52:49 +0800 [thread overview]
Message-ID: <202202011818.EZC1FDYu-lkp@intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 14961 bytes --]
CC: llvm(a)lists.linux.dev
CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Chris Down <chris@chrisdown.name>
CC: Petr Mladek <pmladek@suse.com>
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 26291c54e111ff6ba87a164d85d4a4e134b7315c
commit: ad7d61f159db73974f1b0352f21afe04b0bbd920 printk: index: Add indexing support to dev_printk
date: 7 months ago
:::::: branch date: 2 days ago
:::::: commit date: 7 months ago
config: arm-randconfig-c002-20220130 (https://download.01.org/0day-ci/archive/20220201/202202011818.EZC1FDYu-lkp(a)intel.com/config)
compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project 33b45ee44b1f32ffdbc995e6fec806271b4b3ba4)
reproduce (this is a W=1 build):
wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
chmod +x ~/bin/make.cross
# install arm cross compiling tool for clang build
# apt-get install binutils-arm-linux-gnueabi
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=ad7d61f159db73974f1b0352f21afe04b0bbd920
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout ad7d61f159db73974f1b0352f21afe04b0bbd920
# save the config file to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=arm clang-analyzer
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
clang-analyzer warnings: (new ones prefixed by >>)
^
drivers/scsi/be2iscsi/be_main.h:1026:3: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2780:5: note: Loop condition is false. Exiting loop
beiscsi_log(phba, KERN_INFO, BEISCSI_LOG_INIT,
^
drivers/scsi/be2iscsi/be_main.h:1023:53: note: expanded from macro 'beiscsi_log'
#define beiscsi_log(phba, level, mask, fmt, arg...) \
^
drivers/scsi/be2iscsi/be_main.c:2799:8: note: Assuming field 'virtual_address' is null
if (mem_descr->mem_array[0].virtual_address) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2799:4: note: Taking false branch
if (mem_descr->mem_array[0].virtual_address) {
^
drivers/scsi/be2iscsi/be_main.c:2807:5: note: Left side of '||' is false
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:7: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2807:5: note: Taking false branch
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:3: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2807:5: note: Loop condition is false. Exiting loop
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1023:53: note: expanded from macro 'beiscsi_log'
#define beiscsi_log(phba, level, mask, fmt, arg...) \
^
drivers/scsi/be2iscsi/be_main.c:2819:8: note: Assuming pointer value is null
if (!mem_descr->mem_array[0].virtual_address)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2819:8: note: Assuming field 'virtual_address' is null
if (!mem_descr->mem_array[0].virtual_address)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2819:4: note: Taking true branch
if (!mem_descr->mem_array[0].virtual_address)
^
drivers/scsi/be2iscsi/be_main.c:2820:5: note: Left side of '||' is false
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:7: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2820:5: note: Taking false branch
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:3: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2820:5: note: Loop condition is false. Exiting loop
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1023:53: note: expanded from macro 'beiscsi_log'
#define beiscsi_log(phba, level, mask, fmt, arg...) \
^
drivers/scsi/be2iscsi/be_main.c:2825:4: note: Null pointer value stored to field 'handle_base'
pasync_ctx->async_data.handle_base =
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2831:4: note: Null pointer value stored to 'pasync_data_h'
pasync_data_h =
^~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2839:8: note: Assuming field 'virtual_address' is null
if (mem_descr->mem_array[0].virtual_address) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2839:4: note: Taking false branch
if (mem_descr->mem_array[0].virtual_address) {
^
drivers/scsi/be2iscsi/be_main.c:2847:5: note: Left side of '||' is false
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:7: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2847:5: note: Taking false branch
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1026:3: note: expanded from macro 'beiscsi_log'
if (((mask) & log_value) || (level[1] <= '3')) \
^
drivers/scsi/be2iscsi/be_main.c:2847:5: note: Loop condition is false. Exiting loop
beiscsi_log(phba, KERN_WARNING,
^
drivers/scsi/be2iscsi/be_main.h:1023:53: note: expanded from macro 'beiscsi_log'
#define beiscsi_log(phba, level, mask, fmt, arg...) \
^
drivers/scsi/be2iscsi/be_main.c:2865:20: note: Assuming the condition is true
for (index = 0; index < BEISCSI_ASYNC_HDQ_SIZE
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2865:4: note: Loop condition is true. Entering loop body
for (index = 0; index < BEISCSI_ASYNC_HDQ_SIZE
^
drivers/scsi/be2iscsi/be_main.c:2887:24: note: Access to field 'cri' results in a dereference of a null pointer (loaded from variable 'pasync_data_h')
pasync_data_h->cri = -1;
~~~~~~~~~~~~~ ^
>> drivers/scsi/be2iscsi/be_main.c:2955:6: warning: Branch condition evaluates to a garbage value [clang-analyzer-core.uninitialized.Branch]
if (sgl->va)
^
drivers/scsi/be2iscsi/be_main.c:3699:6: note: 'status' is equal to 0
if (status != 0) {
^~~~~~
drivers/scsi/be2iscsi/be_main.c:3699:2: note: Taking false branch
if (status != 0) {
^
drivers/scsi/be2iscsi/be_main.c:3706:6: note: 'status' is equal to 0
if (status != 0)
^~~~~~
drivers/scsi/be2iscsi/be_main.c:3706:2: note: Taking false branch
if (status != 0)
^
drivers/scsi/be2iscsi/be_main.c:3710:6: note: Assuming 'status' is equal to 0
if (status != 0) {
^~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3710:2: note: Taking false branch
if (status != 0) {
^
drivers/scsi/be2iscsi/be_main.c:3717:6: note: 'status' is equal to 0
if (status != 0) {
^~~~~~
drivers/scsi/be2iscsi/be_main.c:3717:2: note: Taking false branch
if (status != 0) {
^
drivers/scsi/be2iscsi/be_main.c:3723:2: note: Loop condition is true. Entering loop body
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++) {
^
drivers/scsi/be2iscsi/be_main.c:3724:7: note: Assuming the condition is false
if (test_bit(ulp_num, &phba->fw_config.ulp_supported)) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3724:3: note: Taking false branch
if (test_bit(ulp_num, &phba->fw_config.ulp_supported)) {
^
drivers/scsi/be2iscsi/be_main.c:3723:2: note: Loop condition is true. Entering loop body
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++) {
^
drivers/scsi/be2iscsi/be_main.c:3724:7: note: Assuming the condition is false
if (test_bit(ulp_num, &phba->fw_config.ulp_supported)) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3724:3: note: Taking false branch
if (test_bit(ulp_num, &phba->fw_config.ulp_supported)) {
^
drivers/scsi/be2iscsi/be_main.c:3723:2: note: Loop condition is false. Execution continues on line 3760
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++) {
^
drivers/scsi/be2iscsi/be_main.c:3760:11: note: Calling 'beiscsi_post_pages'
status = beiscsi_post_pages(phba);
^~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3276:2: note: Loop condition is true. Entering loop body
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++)
^
drivers/scsi/be2iscsi/be_main.c:3277:3: note: Taking false branch
if (test_bit(ulp_num, &phba->fw_config.ulp_supported))
^
drivers/scsi/be2iscsi/be_main.c:3276:2: note: Loop condition is true. Entering loop body
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++)
^
drivers/scsi/be2iscsi/be_main.c:3277:3: note: Taking false branch
if (test_bit(ulp_num, &phba->fw_config.ulp_supported))
^
drivers/scsi/be2iscsi/be_main.c:3276:2: note: Loop condition is false. Execution continues on line 3280
for (ulp_num = 0; ulp_num < BEISCSI_ULP_COUNT; ulp_num++)
^
drivers/scsi/be2iscsi/be_main.c:3282:14: note: Assuming 'i' is < field 'num_elements'
for (i = 0; i < mem_descr->num_elements; i++) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3282:2: note: Loop condition is true. Entering loop body
for (i = 0; i < mem_descr->num_elements; i++) {
^
drivers/scsi/be2iscsi/be_main.c:3283:3: note: Calling 'hwi_build_be_sgl_arr'
hwi_build_be_sgl_arr(phba, pm_arr, &sgl);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:2955:6: note: Branch condition evaluates to a garbage value
if (sgl->va)
^~~~~~~
drivers/scsi/be2iscsi/be_main.c:2967:6: warning: Branch condition evaluates to a garbage value [clang-analyzer-core.uninitialized.Branch]
if (sgl->va)
^
drivers/scsi/be2iscsi/be_main.c:3699:6: note: 'status' is equal to 0
if (status != 0) {
^~~~~~
drivers/scsi/be2iscsi/be_main.c:3699:2: note: Taking false branch
if (status != 0) {
^
drivers/scsi/be2iscsi/be_main.c:3706:6: note: 'status' is equal to 0
if (status != 0)
^~~~~~
drivers/scsi/be2iscsi/be_main.c:3706:2: note: Taking false branch
if (status != 0)
^
drivers/scsi/be2iscsi/be_main.c:3710:6: note: Assuming 'status' is equal to 0
if (status != 0) {
^~~~~~~~~~~
drivers/scsi/be2iscsi/be_main.c:3710:2: note: Taking false branch
if (status != 0) {
^
drivers/scsi/be2iscsi/be_main.c:3717:6: note: 'status' is equal to 0
if (status != 0) {
vim +2955 drivers/scsi/be2iscsi/be_main.c
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2950
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2951 static void
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2952 hwi_build_be_sgl_arr(struct beiscsi_hba *phba,
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2953 struct mem_array *pmem, struct be_dma_mem *sgl)
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2954 {
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 @2955 if (sgl->va)
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2956 be_sgl_destroy_contiguous(sgl);
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2957
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2958 be_sgl_create_contiguous(pmem->virtual_address,
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2959 pmem->bus_address.u.a64.address,
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2960 pmem->size, sgl);
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2961 }
6733b39a1301b0 Jayamohan Kallickal 2009-09-05 2962
:::::: The code at line 2955 was first introduced by commit
:::::: 6733b39a1301b0b020bbcbf3295852e93e624cb1 [SCSI] be2iscsi: add 10Gbps iSCSI - BladeEngine 2 driver
:::::: TO: Jayamohan Kallickal <jayamohank@serverengines.com>
:::::: CC: James Bottomley <James.Bottomley@suse.de>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org
reply other threads:[~2022-02-01 10:52 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=202202011818.EZC1FDYu-lkp@intel.com \
--to=lkp@intel.com \
--cc=kbuild@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.