* Re: [PATCH 2/7] libata: cleanup ata_dev_configure()
@ 2021-08-02 18:16 kernel test robot
2021-08-03 9:08 ` kernel test robot
0 siblings, 1 reply; 4+ messages in thread
From: kernel test robot @ 2021-08-02 18:16 UTC (permalink / raw)
To: kbuild
[-- Attachment #1: Type: text/plain, Size: 17480 bytes --]
CC: clang-built-linux(a)googlegroups.com
CC: kbuild-all(a)lists.01.org
In-Reply-To: <20210802090232.1166195-3-damien.lemoal@wdc.com>
References: <20210802090232.1166195-3-damien.lemoal@wdc.com>
TO: Damien Le Moal <damien.lemoal@wdc.com>
TO: Jens Axboe <axboe@kernel.dk>
TO: linux-block(a)vger.kernel.org
TO: linux-ide(a)vger.kernel.org
TO: "Martin K . Petersen" <martin.petersen@oracle.com>
TO: linux-scsi(a)vger.kernel.org
CC: Sathya Prakash <sathya.prakash@broadcom.com>
CC: Sreekanth Reddy <sreekanth.reddy@broadcom.com>
CC: Suganath Prabu Subramani <suganath-prabu.subramani@broadcom.com>
Hi Damien,
I love your patch! Perhaps something to improve:
[auto build test WARNING on block/for-next]
[also build test WARNING on mkp-scsi/for-next scsi/for-next v5.14-rc3 next-20210730]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch]
url: https://github.com/0day-ci/linux/commits/Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
base: https://git.kernel.org/pub/scm/linux/kernel/git/axboe/linux-block.git for-next
:::::: branch date: 9 hours ago
:::::: commit date: 9 hours ago
config: x86_64-randconfig-c001-20210802 (attached as .config)
compiler: clang version 13.0.0 (https://github.com/llvm/llvm-project 4f71f59bf3d9914188a11d0c41bedbb339d36ff5)
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 x86_64 cross compiling tool for clang build
# apt-get install binutils-x86-64-linux-gnu
# https://github.com/0day-ci/linux/commit/5622af0f73c9776b5bdf272dee77d57d62ea03fa
git remote add linux-review https://github.com/0day-ci/linux
git fetch --no-tags linux-review Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
git checkout 5622af0f73c9776b5bdf272dee77d57d62ea03fa
# save the attached .config to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=x86_64 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 >>)
note: (skipping 3 expansions in backtrace; use -fmacro-backtrace-limit=0 to see all)
include/linux/minmax.h:104:48: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:14: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:31:25: note: expanded from macro '__cmp_once'
typeof(x) unique_x = (x); \
^
drivers/hwmon/max6621.c:321:10: note: '?' condition is false
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:48: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:112:27: note: expanded from macro 'max_t'
#define max_t(type, x, y) __careful_cmp((type)(x), (type)(y), >)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:321:10: note: '__UNIQUE_ID___x523' is < '__UNIQUE_ID___y524'
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^~~
drivers/hwmon/max6621.c:321:10: note: '?' condition is true
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:323:10: note: Calling 'max6621_temp_mc2reg'
val = max6621_temp_mc2reg(val);
^~~~~~~~~~~~~~~~~~~~~~~~
drivers/hwmon/max6621.c:135:23: note: The result of the left shift is undefined because the left operand is negative
return (val / 1000L) << MAX6621_REG_TEMP_SHIFT;
~~~~~~~~~~~~~ ^
Suppressed 8 warnings (8 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
12 warnings generated.
drivers/nvme/target/fcloop.c:1226:3: warning: Value stored to 'ret' is never read [clang-analyzer-deadcode.DeadStores]
ret = -EINVAL;
^ ~~~~~~~
drivers/nvme/target/fcloop.c:1226:3: note: Value stored to 'ret' is never read
ret = -EINVAL;
^ ~~~~~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
15 warnings generated.
>> drivers/ata/libata-core.c:2376:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2376:3: note: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2382:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:2382:3: note: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:5471:18: warning: Access to field 'pio_mask' results in a dereference of a null pointer (loaded from variable 'pi') [clang-analyzer-core.NullDereference]
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5462:6: note: Assuming 'host' is non-null
if (!host)
^~~~~
drivers/ata/libata-core.c:5462:2: note: Taking false branch
if (!host)
^
drivers/ata/libata-core.c:5465:21: note: Null pointer value stored to 'pi'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~
drivers/ata/libata-core.c:5465:32: note: Assuming 'i' is < field 'n_ports'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5465:2: note: Loop condition is true. Entering loop body
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5468:7: note: Assuming the condition is false
if (ppi[j])
^~~~~~
drivers/ata/libata-core.c:5468:3: note: Taking false branch
if (ppi[j])
^
drivers/ata/libata-core.c:5471:18: note: Access to field 'pio_mask' results in a dereference of a null pointer (loaded from variable 'pi')
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5593:6: warning: Access to field 'host_stop' results in a dereference of a null pointer (loaded from field 'ops') [clang-analyzer-core.NullDereference]
if (host->ops->host_stop)
^
drivers/ata/libata-core.c:5840:7: note: Calling 'ata_host_start'
rc = ata_host_start(host);
^~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:6: note: Assuming the condition is false
if (host->flags & ATA_HOST_STARTED)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:2: note: Taking false branch
if (host->flags & ATA_HOST_STARTED)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is < field 'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is true. Entering loop body
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5586:7: note: Assuming field 'ops' is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Assuming pointer value is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Left side of '&&' is true
drivers/ata/libata-core.c:5586:21: note: Assuming the condition is false
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5586:3: note: Taking false branch
if (!host->ops && !ata_port_is_dummy(ap))
^
drivers/ata/libata-core.c:5589:7: note: Assuming field 'port_stop' is null
if (ap->ops->port_stop)
^~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5589:3: note: Taking false branch
if (ap->ops->port_stop)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is >= field 'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is false. Execution continues on line 5593
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5593:6: note: Access to field 'host_stop' results in a dereference of a null pointer (loaded from field 'ops')
if (host->ops->host_stop)
^ ~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
8 warnings generated.
include/linux/hid.h:1007:9: warning: Access to field 'name' results in a dereference of a null pointer (loaded from variable 'input') [clang-analyzer-core.NullDereference]
input->name, c, type);
^
drivers/hid/hid-lenovo.c:321:2: note: Control jumps to 'case 12544:' at line 329
switch (hdev->product) {
^
drivers/hid/hid-lenovo.c:335:10: note: Calling 'lenovo_input_mapping_scrollpoint'
return lenovo_input_mapping_scrollpoint(hdev, hi, field,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:6: note: Assuming field 'hid' is equal to HID_GD_Z
if (usage->hid == HID_GD_Z) {
^~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:2: note: Taking true branch
vim +2376 drivers/ata/libata-core.c
818831c8b22f75 Christoph Hellwig 2017-06-04 2365
5622af0f73c977 Damien Le Moal 2021-08-02 2366 static int ata_dev_config_lba(struct ata_device *dev,
5622af0f73c977 Damien Le Moal 2021-08-02 2367 char *info, size_t infosz)
5622af0f73c977 Damien Le Moal 2021-08-02 2368 {
5622af0f73c977 Damien Le Moal 2021-08-02 2369 const u16 *id = dev->id;
5622af0f73c977 Damien Le Moal 2021-08-02 2370 int info_ofst;
5622af0f73c977 Damien Le Moal 2021-08-02 2371
5622af0f73c977 Damien Le Moal 2021-08-02 2372 dev->flags |= ATA_DFLAG_LBA;
5622af0f73c977 Damien Le Moal 2021-08-02 2373
5622af0f73c977 Damien Le Moal 2021-08-02 2374 if (ata_id_has_lba48(id)) {
5622af0f73c977 Damien Le Moal 2021-08-02 2375 dev->flags |= ATA_DFLAG_LBA48;
5622af0f73c977 Damien Le Moal 2021-08-02 @2376 strcpy(info, "LBA48 ");
5622af0f73c977 Damien Le Moal 2021-08-02 2377
5622af0f73c977 Damien Le Moal 2021-08-02 2378 if (dev->n_sectors >= (1UL << 28) &&
5622af0f73c977 Damien Le Moal 2021-08-02 2379 ata_id_has_flush_ext(id))
5622af0f73c977 Damien Le Moal 2021-08-02 2380 dev->flags |= ATA_DFLAG_FLUSH_EXT;
5622af0f73c977 Damien Le Moal 2021-08-02 2381 } else {
5622af0f73c977 Damien Le Moal 2021-08-02 2382 strcpy(info, "LBA ");
5622af0f73c977 Damien Le Moal 2021-08-02 2383 }
5622af0f73c977 Damien Le Moal 2021-08-02 2384 info_ofst = strlen(info);
5622af0f73c977 Damien Le Moal 2021-08-02 2385
5622af0f73c977 Damien Le Moal 2021-08-02 2386 /* config NCQ */
5622af0f73c977 Damien Le Moal 2021-08-02 2387 return ata_dev_config_ncq(dev, info + info_ofst,
5622af0f73c977 Damien Le Moal 2021-08-02 2388 infosz - info_ofst);
5622af0f73c977 Damien Le Moal 2021-08-02 2389 }
5622af0f73c977 Damien Le Moal 2021-08-02 2390
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org
[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 34103 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [PATCH 2/7] libata: cleanup ata_dev_configure()
2021-08-02 18:16 [PATCH 2/7] libata: cleanup ata_dev_configure() kernel test robot
@ 2021-08-03 9:08 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-08-03 9:08 UTC (permalink / raw)
To: Damien Le Moal, Jens Axboe, linux-block, linux-ide,
Martin K . Petersen, linux-scsi
Cc: clang-built-linux, kbuild-all, Sathya Prakash, Sreekanth Reddy,
Suganath Prabu Subramani
[-- Attachment #1: Type: text/plain, Size: 16863 bytes --]
Hi Damien,
I love your patch! Perhaps something to improve:
[auto build test WARNING on block/for-next]
[also build test WARNING on mkp-scsi/for-next scsi/for-next v5.14-rc3
next-20210730]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch]
url:
https://github.com/0day-ci/linux/commits/Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
base:
https://git.kernel.org/pub/scm/linux/kernel/git/axboe/linux-block.git
for-next
:::::: branch date: 9 hours ago
:::::: commit date: 9 hours ago
config: x86_64-randconfig-c001-20210802 (attached as .config)
compiler: clang version 13.0.0 (https://github.com/llvm/llvm-project
4f71f59bf3d9914188a11d0c41bedbb339d36ff5)
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 x86_64 cross compiling tool for clang build
# apt-get install binutils-x86-64-linux-gnu
#
https://github.com/0day-ci/linux/commit/5622af0f73c9776b5bdf272dee77d57d62ea03fa
git remote add linux-review https://github.com/0day-ci/linux
git fetch --no-tags linux-review
Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
git checkout 5622af0f73c9776b5bdf272dee77d57d62ea03fa
# save the attached .config to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross
ARCH=x86_64 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 >>)
note: (skipping 3 expansions in backtrace; use
-fmacro-backtrace-limit=0 to see all)
include/linux/minmax.h:104:48: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:14: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:31:25: note: expanded from macro '__cmp_once'
typeof(x) unique_x = (x); \
^
drivers/hwmon/max6621.c:321:10: note: '?' condition is false
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:48: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:112:27: note: expanded from macro 'max_t'
#define max_t(type, x, y) __careful_cmp((type)(x), (type)(y), >)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:321:10: note: '__UNIQUE_ID___x523' is <
'__UNIQUE_ID___y524'
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^~~
drivers/hwmon/max6621.c:321:10: note: '?' condition is true
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:323:10: note: Calling 'max6621_temp_mc2reg'
val = max6621_temp_mc2reg(val);
^~~~~~~~~~~~~~~~~~~~~~~~
drivers/hwmon/max6621.c:135:23: note: The result of the left shift
is undefined because the left operand is negative
return (val / 1000L) << MAX6621_REG_TEMP_SHIFT;
~~~~~~~~~~~~~ ^
Suppressed 8 warnings (8 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
12 warnings generated.
drivers/nvme/target/fcloop.c:1226:3: warning: Value stored to 'ret'
is never read [clang-analyzer-deadcode.DeadStores]
ret = -EINVAL;
^ ~~~~~~~
drivers/nvme/target/fcloop.c:1226:3: note: Value stored to 'ret' is
never read
ret = -EINVAL;
^ ~~~~~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
15 warnings generated.
>> drivers/ata/libata-core.c:2376:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2376:3: note: Call to function 'strcpy' is
insecure as it does not provide bounding of the memory buffer. Replace
unbounded copy functions with analogous functions that support length
arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2382:3: warning: Call to function 'strcpy'
is insecure as it does not provide bounding of the memory buffer.
Replace unbounded copy functions with analogous functions that support
length arguments such as 'strlcpy'. CWE-119
[clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:2382:3: note: Call to function 'strcpy' is
insecure as it does not provide bounding of the memory buffer. Replace
unbounded copy functions with analogous functions that support length
arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:5471:18: warning: Access to field
'pio_mask' results in a dereference of a null pointer (loaded from
variable 'pi') [clang-analyzer-core.NullDereference]
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5462:6: note: Assuming 'host' is non-null
if (!host)
^~~~~
drivers/ata/libata-core.c:5462:2: note: Taking false branch
if (!host)
^
drivers/ata/libata-core.c:5465:21: note: Null pointer value stored
to 'pi'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~
drivers/ata/libata-core.c:5465:32: note: Assuming 'i' is < field
'n_ports'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5465:2: note: Loop condition is true.
Entering loop body
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5468:7: note: Assuming the condition is false
if (ppi[j])
^~~~~~
drivers/ata/libata-core.c:5468:3: note: Taking false branch
if (ppi[j])
^
drivers/ata/libata-core.c:5471:18: note: Access to field 'pio_mask'
results in a dereference of a null pointer (loaded from variable 'pi')
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5593:6: warning: Access to field
'host_stop' results in a dereference of a null pointer (loaded from
field 'ops') [clang-analyzer-core.NullDereference]
if (host->ops->host_stop)
^
drivers/ata/libata-core.c:5840:7: note: Calling 'ata_host_start'
rc = ata_host_start(host);
^~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:6: note: Assuming the condition is false
if (host->flags & ATA_HOST_STARTED)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:2: note: Taking false branch
if (host->flags & ATA_HOST_STARTED)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is < field
'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is true.
Entering loop body
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5586:7: note: Assuming field 'ops' is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Assuming pointer value is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Left side of '&&' is true
drivers/ata/libata-core.c:5586:21: note: Assuming the condition is false
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5586:3: note: Taking false branch
if (!host->ops && !ata_port_is_dummy(ap))
^
drivers/ata/libata-core.c:5589:7: note: Assuming field 'port_stop'
is null
if (ap->ops->port_stop)
^~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5589:3: note: Taking false branch
if (ap->ops->port_stop)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is >= field
'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is false.
Execution continues on line 5593
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5593:6: note: Access to field 'host_stop'
results in a dereference of a null pointer (loaded from field 'ops')
if (host->ops->host_stop)
^ ~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
8 warnings generated.
include/linux/hid.h:1007:9: warning: Access to field 'name' results
in a dereference of a null pointer (loaded from variable 'input')
[clang-analyzer-core.NullDereference]
input->name, c, type);
^
drivers/hid/hid-lenovo.c:321:2: note: Control jumps to 'case 12544:'
at line 329
switch (hdev->product) {
^
drivers/hid/hid-lenovo.c:335:10: note: Calling
'lenovo_input_mapping_scrollpoint'
return lenovo_input_mapping_scrollpoint(hdev, hi, field,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:6: note: Assuming field 'hid' is equal
to HID_GD_Z
if (usage->hid == HID_GD_Z) {
^~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:2: note: Taking true branch
vim +2376 drivers/ata/libata-core.c
818831c8b22f75 Christoph Hellwig 2017-06-04 2365 5622af0f73c977 Damien
Le Moal 2021-08-02 2366 static int ata_dev_config_lba(struct
ata_device *dev,
5622af0f73c977 Damien Le Moal 2021-08-02 2367 char *info,
size_t infosz)
5622af0f73c977 Damien Le Moal 2021-08-02 2368 {
5622af0f73c977 Damien Le Moal 2021-08-02 2369 const u16 *id = dev->id;
5622af0f73c977 Damien Le Moal 2021-08-02 2370 int info_ofst;
5622af0f73c977 Damien Le Moal 2021-08-02 2371 5622af0f73c977 Damien
Le Moal 2021-08-02 2372 dev->flags |= ATA_DFLAG_LBA;
5622af0f73c977 Damien Le Moal 2021-08-02 2373 5622af0f73c977 Damien
Le Moal 2021-08-02 2374 if (ata_id_has_lba48(id)) {
5622af0f73c977 Damien Le Moal 2021-08-02 2375 dev->flags |=
ATA_DFLAG_LBA48;
5622af0f73c977 Damien Le Moal 2021-08-02 @2376 strcpy(info, "LBA48 ");
5622af0f73c977 Damien Le Moal 2021-08-02 2377 5622af0f73c977 Damien
Le Moal 2021-08-02 2378 if (dev->n_sectors >= (1UL << 28) &&
5622af0f73c977 Damien Le Moal 2021-08-02 2379
ata_id_has_flush_ext(id))
5622af0f73c977 Damien Le Moal 2021-08-02 2380 dev->flags |=
ATA_DFLAG_FLUSH_EXT;
5622af0f73c977 Damien Le Moal 2021-08-02 2381 } else {
5622af0f73c977 Damien Le Moal 2021-08-02 2382 strcpy(info, "LBA ");
5622af0f73c977 Damien Le Moal 2021-08-02 2383 }
5622af0f73c977 Damien Le Moal 2021-08-02 2384 info_ofst =
strlen(info);
5622af0f73c977 Damien Le Moal 2021-08-02 2385 5622af0f73c977 Damien
Le Moal 2021-08-02 2386 /* config NCQ */
5622af0f73c977 Damien Le Moal 2021-08-02 2387 return
ata_dev_config_ncq(dev, info + info_ofst,
5622af0f73c977 Damien Le Moal 2021-08-02 2388 infosz -
info_ofst);
5622af0f73c977 Damien Le Moal 2021-08-02 2389 }
5622af0f73c977 Damien Le Moal 2021-08-02 2390
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
[-- Attachment #2: .config.gz --]
[-- Type: application/gzip, Size: 34103 bytes --]
[-- Attachment #3: Attached Message Part --]
[-- Type: text/plain, Size: 150 bytes --]
_______________________________________________
kbuild mailing list -- kbuild@lists.01.org
To unsubscribe send an email to kbuild-leave@lists.01.org
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [PATCH 2/7] libata: cleanup ata_dev_configure()
@ 2021-08-03 9:08 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-08-03 9:08 UTC (permalink / raw)
To: kbuild-all
[-- Attachment #1: Type: text/plain, Size: 17194 bytes --]
Hi Damien,
I love your patch! Perhaps something to improve:
[auto build test WARNING on block/for-next]
[also build test WARNING on mkp-scsi/for-next scsi/for-next v5.14-rc3
next-20210730]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch]
url:
https://github.com/0day-ci/linux/commits/Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
base:
https://git.kernel.org/pub/scm/linux/kernel/git/axboe/linux-block.git
for-next
:::::: branch date: 9 hours ago
:::::: commit date: 9 hours ago
config: x86_64-randconfig-c001-20210802 (attached as .config)
compiler: clang version 13.0.0 (https://github.com/llvm/llvm-project
4f71f59bf3d9914188a11d0c41bedbb339d36ff5)
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 x86_64 cross compiling tool for clang build
# apt-get install binutils-x86-64-linux-gnu
#
https://github.com/0day-ci/linux/commit/5622af0f73c9776b5bdf272dee77d57d62ea03fa
git remote add linux-review https://github.com/0day-ci/linux
git fetch --no-tags linux-review
Damien-Le-Moal/libata-cleanups-and-improvements/20210802-170443
git checkout 5622af0f73c9776b5bdf272dee77d57d62ea03fa
# save the attached .config to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross
ARCH=x86_64 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 >>)
note: (skipping 3 expansions in backtrace; use
-fmacro-backtrace-limit=0 to see all)
include/linux/minmax.h:104:48: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:14: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:31:25: note: expanded from macro '__cmp_once'
typeof(x) unique_x = (x); \
^
drivers/hwmon/max6621.c:321:10: note: '?' condition is false
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:48: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:112:27: note: expanded from macro 'max_t'
#define max_t(type, x, y) __careful_cmp((type)(x), (type)(y), >)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:321:10: note: '__UNIQUE_ID___x523' is <
'__UNIQUE_ID___y524'
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^~~
drivers/hwmon/max6621.c:321:10: note: '?' condition is true
val = clamp_val(val, MAX6621_TEMP_INPUT_MIN,
^
include/linux/minmax.h:137:32: note: expanded from macro 'clamp_val'
#define clamp_val(val, lo, hi) clamp_t(typeof(val), val, lo, hi)
^
include/linux/minmax.h:124:36: note: expanded from macro 'clamp_t'
#define clamp_t(type, val, lo, hi) min_t(type, max_t(type, val, lo), hi)
^
include/linux/minmax.h:104:27: note: expanded from macro 'min_t'
#define min_t(type, x, y) __careful_cmp((type)(x), (type)(y), <)
^
include/linux/minmax.h:38:3: note: expanded from macro '__careful_cmp'
__cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y),
op))
^
include/linux/minmax.h:33:3: note: expanded from macro '__cmp_once'
__cmp(unique_x, unique_y, op); })
^
include/linux/minmax.h:28:26: note: expanded from macro '__cmp'
#define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
^
drivers/hwmon/max6621.c:323:10: note: Calling 'max6621_temp_mc2reg'
val = max6621_temp_mc2reg(val);
^~~~~~~~~~~~~~~~~~~~~~~~
drivers/hwmon/max6621.c:135:23: note: The result of the left shift
is undefined because the left operand is negative
return (val / 1000L) << MAX6621_REG_TEMP_SHIFT;
~~~~~~~~~~~~~ ^
Suppressed 8 warnings (8 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
9 warnings generated.
Suppressed 9 warnings (8 in non-user code, 1 with check filters).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
12 warnings generated.
drivers/nvme/target/fcloop.c:1226:3: warning: Value stored to 'ret'
is never read [clang-analyzer-deadcode.DeadStores]
ret = -EINVAL;
^ ~~~~~~~
drivers/nvme/target/fcloop.c:1226:3: note: Value stored to 'ret' is
never read
ret = -EINVAL;
^ ~~~~~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
15 warnings generated.
>> drivers/ata/libata-core.c:2376:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2376:3: note: Call to function 'strcpy' is
insecure as it does not provide bounding of the memory buffer. Replace
unbounded copy functions with analogous functions that support length
arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA48 ");
^~~~~~
drivers/ata/libata-core.c:2382:3: warning: Call to function 'strcpy'
is insecure as it does not provide bounding of the memory buffer.
Replace unbounded copy functions with analogous functions that support
length arguments such as 'strlcpy'. CWE-119
[clang-analyzer-security.insecureAPI.strcpy]
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:2382:3: note: Call to function 'strcpy' is
insecure as it does not provide bounding of the memory buffer. Replace
unbounded copy functions with analogous functions that support length
arguments such as 'strlcpy'. CWE-119
strcpy(info, "LBA ");
^~~~~~
drivers/ata/libata-core.c:5471:18: warning: Access to field
'pio_mask' results in a dereference of a null pointer (loaded from
variable 'pi') [clang-analyzer-core.NullDereference]
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5462:6: note: Assuming 'host' is non-null
if (!host)
^~~~~
drivers/ata/libata-core.c:5462:2: note: Taking false branch
if (!host)
^
drivers/ata/libata-core.c:5465:21: note: Null pointer value stored
to 'pi'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~
drivers/ata/libata-core.c:5465:32: note: Assuming 'i' is < field
'n_ports'
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5465:2: note: Loop condition is true.
Entering loop body
for (i = 0, j = 0, pi = NULL; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5468:7: note: Assuming the condition is false
if (ppi[j])
^~~~~~
drivers/ata/libata-core.c:5468:3: note: Taking false branch
if (ppi[j])
^
drivers/ata/libata-core.c:5471:18: note: Access to field 'pio_mask'
results in a dereference of a null pointer (loaded from variable 'pi')
ap->pio_mask = pi->pio_mask;
^~
drivers/ata/libata-core.c:5593:6: warning: Access to field
'host_stop' results in a dereference of a null pointer (loaded from
field 'ops') [clang-analyzer-core.NullDereference]
if (host->ops->host_stop)
^
drivers/ata/libata-core.c:5840:7: note: Calling 'ata_host_start'
rc = ata_host_start(host);
^~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:6: note: Assuming the condition is false
if (host->flags & ATA_HOST_STARTED)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5576:2: note: Taking false branch
if (host->flags & ATA_HOST_STARTED)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is < field
'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is true.
Entering loop body
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5586:7: note: Assuming field 'ops' is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Assuming pointer value is null
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~
drivers/ata/libata-core.c:5586:7: note: Left side of '&&' is true
drivers/ata/libata-core.c:5586:21: note: Assuming the condition is false
if (!host->ops && !ata_port_is_dummy(ap))
^~~~~~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5586:3: note: Taking false branch
if (!host->ops && !ata_port_is_dummy(ap))
^
drivers/ata/libata-core.c:5589:7: note: Assuming field 'port_stop'
is null
if (ap->ops->port_stop)
^~~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5589:3: note: Taking false branch
if (ap->ops->port_stop)
^
drivers/ata/libata-core.c:5581:14: note: Assuming 'i' is >= field
'n_ports'
for (i = 0; i < host->n_ports; i++) {
^~~~~~~~~~~~~~~~~
drivers/ata/libata-core.c:5581:2: note: Loop condition is false.
Execution continues on line 5593
for (i = 0; i < host->n_ports; i++) {
^
drivers/ata/libata-core.c:5593:6: note: Access to field 'host_stop'
results in a dereference of a null pointer (loaded from field 'ops')
if (host->ops->host_stop)
^ ~~~
Suppressed 11 warnings (11 in non-user code).
Use -header-filter=.* to display errors from all non-system headers.
Use -system-headers to display errors from system headers as well.
8 warnings generated.
include/linux/hid.h:1007:9: warning: Access to field 'name' results
in a dereference of a null pointer (loaded from variable 'input')
[clang-analyzer-core.NullDereference]
input->name, c, type);
^
drivers/hid/hid-lenovo.c:321:2: note: Control jumps to 'case 12544:'
at line 329
switch (hdev->product) {
^
drivers/hid/hid-lenovo.c:335:10: note: Calling
'lenovo_input_mapping_scrollpoint'
return lenovo_input_mapping_scrollpoint(hdev, hi, field,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:6: note: Assuming field 'hid' is equal
to HID_GD_Z
if (usage->hid == HID_GD_Z) {
^~~~~~~~~~~~~~~~~~~~~~
drivers/hid/hid-lenovo.c:224:2: note: Taking true branch
vim +2376 drivers/ata/libata-core.c
818831c8b22f75 Christoph Hellwig 2017-06-04 2365 5622af0f73c977 Damien
Le Moal 2021-08-02 2366 static int ata_dev_config_lba(struct
ata_device *dev,
5622af0f73c977 Damien Le Moal 2021-08-02 2367 char *info,
size_t infosz)
5622af0f73c977 Damien Le Moal 2021-08-02 2368 {
5622af0f73c977 Damien Le Moal 2021-08-02 2369 const u16 *id = dev->id;
5622af0f73c977 Damien Le Moal 2021-08-02 2370 int info_ofst;
5622af0f73c977 Damien Le Moal 2021-08-02 2371 5622af0f73c977 Damien
Le Moal 2021-08-02 2372 dev->flags |= ATA_DFLAG_LBA;
5622af0f73c977 Damien Le Moal 2021-08-02 2373 5622af0f73c977 Damien
Le Moal 2021-08-02 2374 if (ata_id_has_lba48(id)) {
5622af0f73c977 Damien Le Moal 2021-08-02 2375 dev->flags |=
ATA_DFLAG_LBA48;
5622af0f73c977 Damien Le Moal 2021-08-02 @2376 strcpy(info, "LBA48 ");
5622af0f73c977 Damien Le Moal 2021-08-02 2377 5622af0f73c977 Damien
Le Moal 2021-08-02 2378 if (dev->n_sectors >= (1UL << 28) &&
5622af0f73c977 Damien Le Moal 2021-08-02 2379
ata_id_has_flush_ext(id))
5622af0f73c977 Damien Le Moal 2021-08-02 2380 dev->flags |=
ATA_DFLAG_FLUSH_EXT;
5622af0f73c977 Damien Le Moal 2021-08-02 2381 } else {
5622af0f73c977 Damien Le Moal 2021-08-02 2382 strcpy(info, "LBA ");
5622af0f73c977 Damien Le Moal 2021-08-02 2383 }
5622af0f73c977 Damien Le Moal 2021-08-02 2384 info_ofst =
strlen(info);
5622af0f73c977 Damien Le Moal 2021-08-02 2385 5622af0f73c977 Damien
Le Moal 2021-08-02 2386 /* config NCQ */
5622af0f73c977 Damien Le Moal 2021-08-02 2387 return
ata_dev_config_ncq(dev, info + info_ofst,
5622af0f73c977 Damien Le Moal 2021-08-02 2388 infosz -
info_ofst);
5622af0f73c977 Damien Le Moal 2021-08-02 2389 }
5622af0f73c977 Damien Le Moal 2021-08-02 2390
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org
[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 34103 bytes --]
[-- Attachment #3: AttachedMessagePart.ksh --]
[-- Type: text/plain, Size: 150 bytes --]
_______________________________________________
kbuild mailing list -- kbuild@lists.01.org
To unsubscribe send an email to kbuild-leave@lists.01.org
^ permalink raw reply [flat|nested] 4+ messages in thread
* [PATCH 0/7] libata cleanups and improvements
@ 2021-08-02 9:02 Damien Le Moal
2021-08-02 9:02 ` [PATCH 2/7] libata: cleanup ata_dev_configure() Damien Le Moal
0 siblings, 1 reply; 4+ messages in thread
From: Damien Le Moal @ 2021-08-02 9:02 UTC (permalink / raw)
To: Jens Axboe, linux-block, linux-ide, Martin K . Petersen, linux-scsi
Cc: Sathya Prakash, Sreekanth Reddy, Suganath Prabu Subramani
The first three patches of this series cleanup libata-core code in the
area of device configuration (ata_dev_configure() function).
Patch 4 improves ata_read_log_page() handling to avoid unnecessary
warning messages and patch 5 adds an informational message on device
scan to advertize the features supported by a device.
Path 6 adds the new sysfs ahci device attribute ncq_prio_supported to
indicate that a disk supports NCQ priority. Patch 7 does the same for
the mpt3sas driver, adding the sas_ncq_prio_supported device attribute.
Damien Le Moal (7):
libata: cleanup device sleep capability detection
libata: cleanup ata_dev_configure()
libata: cleanup NCQ priority handling
libata: fix ata_read_log_page() warning
libata: print feature list on device scan
libahci: Introduce ncq_prio_supported sysfs sttribute
scsi: mpt3sas: Introduce sas_ncq_prio_supported sysfs sttribute
drivers/ata/libahci.c | 1 +
drivers/ata/libata-core.c | 249 +++++++++++++++--------------
drivers/ata/libata-sata.c | 61 ++++---
drivers/scsi/mpt3sas/mpt3sas_ctl.c | 20 +++
include/linux/libata.h | 5 +
5 files changed, 191 insertions(+), 145 deletions(-)
--
2.31.1
^ permalink raw reply [flat|nested] 4+ messages in thread
* [PATCH 2/7] libata: cleanup ata_dev_configure()
2021-08-02 9:02 [PATCH 0/7] libata cleanups and improvements Damien Le Moal
@ 2021-08-02 9:02 ` Damien Le Moal
0 siblings, 0 replies; 4+ messages in thread
From: Damien Le Moal @ 2021-08-02 9:02 UTC (permalink / raw)
To: Jens Axboe, linux-block, linux-ide, Martin K . Petersen, linux-scsi
Cc: Sathya Prakash, Sreekanth Reddy, Suganath Prabu Subramani
Introduce the helper functions ata_dev_config_lba() and
ata_dev_config_chs() to configure the addressing capabilities of a
device. Each helper takes a string as argument for the addressing
information printed after these helpers execution completes.
Signed-off-by: Damien Le Moal <damien.lemoal@wdc.com>
---
drivers/ata/libata-core.c | 110 ++++++++++++++++++++------------------
1 file changed, 59 insertions(+), 51 deletions(-)
diff --git a/drivers/ata/libata-core.c b/drivers/ata/libata-core.c
index 9b39a4e2e567..1849f858761b 100644
--- a/drivers/ata/libata-core.c
+++ b/drivers/ata/libata-core.c
@@ -2363,6 +2363,52 @@ static void ata_dev_config_trusted(struct ata_device *dev)
dev->flags |= ATA_DFLAG_TRUSTED;
}
+static int ata_dev_config_lba(struct ata_device *dev,
+ char *info, size_t infosz)
+{
+ const u16 *id = dev->id;
+ int info_ofst;
+
+ dev->flags |= ATA_DFLAG_LBA;
+
+ if (ata_id_has_lba48(id)) {
+ dev->flags |= ATA_DFLAG_LBA48;
+ strcpy(info, "LBA48 ");
+
+ if (dev->n_sectors >= (1UL << 28) &&
+ ata_id_has_flush_ext(id))
+ dev->flags |= ATA_DFLAG_FLUSH_EXT;
+ } else {
+ strcpy(info, "LBA ");
+ }
+ info_ofst = strlen(info);
+
+ /* config NCQ */
+ return ata_dev_config_ncq(dev, info + info_ofst,
+ infosz - info_ofst);
+}
+
+static void ata_dev_config_chs(struct ata_device *dev,
+ char *info, size_t infosz)
+{
+ const u16 *id = dev->id;
+
+ /* Default translation */
+ dev->cylinders = id[1];
+ dev->heads = id[3];
+ dev->sectors = id[6];
+
+ if (ata_id_current_chs_valid(id)) {
+ /* Current CHS translation is valid. */
+ dev->cylinders = id[54];
+ dev->heads = id[55];
+ dev->sectors = id[56];
+ }
+
+ snprintf(info, infosz, "CHS %u/%u/%u",
+ dev->cylinders, dev->heads, dev->sectors);
+}
+
static void ata_dev_config_devslp(struct ata_device *dev)
{
u8 *sata_setting = dev->link->ap->sector_buf;
@@ -2418,6 +2464,7 @@ int ata_dev_configure(struct ata_device *dev)
char revbuf[7]; /* XYZ-99\0 */
char fwrevbuf[ATA_ID_FW_REV_LEN+1];
char modelbuf[ATA_ID_PROD_LEN+1];
+ char lba_info[40];
int rc;
if (!ata_dev_enabled(dev) && ata_msg_info(ap)) {
@@ -2539,61 +2586,22 @@ int ata_dev_configure(struct ata_device *dev)
}
if (ata_id_has_lba(id)) {
- const char *lba_desc;
- char ncq_desc[24];
-
- lba_desc = "LBA";
- dev->flags |= ATA_DFLAG_LBA;
- if (ata_id_has_lba48(id)) {
- dev->flags |= ATA_DFLAG_LBA48;
- lba_desc = "LBA48";
-
- if (dev->n_sectors >= (1UL << 28) &&
- ata_id_has_flush_ext(id))
- dev->flags |= ATA_DFLAG_FLUSH_EXT;
- }
-
- /* config NCQ */
- rc = ata_dev_config_ncq(dev, ncq_desc, sizeof(ncq_desc));
+ rc = ata_dev_config_lba(dev, lba_info, sizeof(lba_info));
if (rc)
return rc;
-
- /* print device info to dmesg */
- if (ata_msg_drv(ap) && print_info) {
- ata_dev_info(dev, "%s: %s, %s, max %s\n",
- revbuf, modelbuf, fwrevbuf,
- ata_mode_string(xfer_mask));
- ata_dev_info(dev,
- "%llu sectors, multi %u: %s %s\n",
- (unsigned long long)dev->n_sectors,
- dev->multi_count, lba_desc, ncq_desc);
- }
} else {
- /* CHS */
-
- /* Default translation */
- dev->cylinders = id[1];
- dev->heads = id[3];
- dev->sectors = id[6];
-
- if (ata_id_current_chs_valid(id)) {
- /* Current CHS translation is valid. */
- dev->cylinders = id[54];
- dev->heads = id[55];
- dev->sectors = id[56];
- }
+ ata_dev_config_chs(dev, lba_info, sizeof(lba_info));
+ }
- /* print device info to dmesg */
- if (ata_msg_drv(ap) && print_info) {
- ata_dev_info(dev, "%s: %s, %s, max %s\n",
- revbuf, modelbuf, fwrevbuf,
- ata_mode_string(xfer_mask));
- ata_dev_info(dev,
- "%llu sectors, multi %u, CHS %u/%u/%u\n",
- (unsigned long long)dev->n_sectors,
- dev->multi_count, dev->cylinders,
- dev->heads, dev->sectors);
- }
+ /* print device info to dmesg */
+ if (ata_msg_drv(ap) && print_info) {
+ ata_dev_info(dev, "%s: %s, %s, max %s\n",
+ revbuf, modelbuf, fwrevbuf,
+ ata_mode_string(xfer_mask));
+ ata_dev_info(dev,
+ "%llu sectors, multi %u, %s\n",
+ (unsigned long long)dev->n_sectors,
+ dev->multi_count, lba_info);
}
ata_dev_config_devslp(dev);
--
2.31.1
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2021-08-03 9:09 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-02 18:16 [PATCH 2/7] libata: cleanup ata_dev_configure() kernel test robot
2021-08-03 9:08 ` kernel test robot
2021-08-03 9:08 ` kernel test robot
-- strict thread matches above, loose matches on Subject: below --
2021-08-02 9:02 [PATCH 0/7] libata cleanups and improvements Damien Le Moal
2021-08-02 9:02 ` [PATCH 2/7] libata: cleanup ata_dev_configure() Damien Le Moal
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.