Re: drivers/ata/pata_falcon.c:58:41: sparse: sparse: cast removes address space '__iomem' of expression

From: Finn Thain
Date: Tue Nov 23 2021 - 23:14:42 EST


On Wed, 24 Nov 2021, kernel test robot wrote:

> tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> head: 136057256686de39cc3a07c2e39ef6bc43003ff6
> commit: 44b1fbc0f5f30e66a56d29575349f0b1ebe2b0ee m68k/q40: Replace q40ide driver with pata_falcon and falconide

That's the wrong commit. The missing annotations actually date back to
commit 7e11aabd48eb ("ata: add Atari Falcon PATA controller driver").
It was not my commit but I'll send a patch anyway.

> date: 6 months ago
> config: m68k-randconfig-s031-20211123 (https://download.01.org/0day-ci/archive/20211124/202111240519.TR4XadIt-lkp@xxxxxxxxx/config.gz)
> compiler: m68k-linux-gcc (GCC) 11.2.0
> reproduce:
> wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
> chmod +x ~/bin/make.cross
> # apt-get install sparse
> # sparse version: v0.6.4-dirty
> # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=44b1fbc0f5f30e66a56d29575349f0b1ebe2b0ee
> git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
> git fetch --no-tags linus master
> git checkout 44b1fbc0f5f30e66a56d29575349f0b1ebe2b0ee
> # save the config file to linux build tree
> COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=m68k SHELL=/bin/bash drivers/ata/
>
> If you fix the issue, kindly add following tag as appropriate
> Reported-by: kernel test robot <lkp@xxxxxxxxx>
>
>
> sparse warnings: (new ones prefixed by >>)
> >> drivers/ata/pata_falcon.c:58:41: sparse: sparse: cast removes address space '__iomem' of expression
> >> drivers/ata/pata_falcon.c:58:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:58:41: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:58:41: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:60:35: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:60:35: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:60:35: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:60:35: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:63:42: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:63:42: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:63:42: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:63:42: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:65:36: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:65:36: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:65:36: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:65:36: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:77:49: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:77:49: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:77:49: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:77:49: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:79:43: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:79:43: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:79:43: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:79:43: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:84:50: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:84:50: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:84:50: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:84:50: sparse: got unsigned short [usertype] *
> drivers/ata/pata_falcon.c:86:44: sparse: sparse: cast removes address space '__iomem' of expression
> drivers/ata/pata_falcon.c:86:44: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected unsigned short volatile [noderef] [usertype] __iomem *port @@ got unsigned short [usertype] * @@
> drivers/ata/pata_falcon.c:86:44: sparse: expected unsigned short volatile [noderef] [usertype] __iomem *port
> drivers/ata/pata_falcon.c:86:44: sparse: got unsigned short [usertype] *
>
> vim +/__iomem +58 drivers/ata/pata_falcon.c
>
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 39
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 40 static unsigned int pata_falcon_data_xfer(struct ata_queued_cmd *qc,
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 41 unsigned char *buf,
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 42 unsigned int buflen, int rw)
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 43 {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 44 struct ata_device *dev = qc->dev;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 45 struct ata_port *ap = dev->link->ap;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 46 void __iomem *data_addr = ap->ioaddr.data_addr;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 47 unsigned int words = buflen >> 1;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 48 struct scsi_cmnd *cmd = qc->scsicmd;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 49 bool swap = 1;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 50
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 51 if (dev->class == ATA_DEV_ATA && cmd && cmd->request &&
> 79f4d1d5c0d7d1 Linus Torvalds 2017-02-21 52 !blk_rq_is_passthrough(cmd->request))
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 53 swap = 0;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 54
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 55 /* Transfer multiple of 2 bytes */
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 56 if (rw == READ) {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 57 if (swap)
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 @58 raw_insw_swapw((u16 *)data_addr, (u16 *)buf, words);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 59 else
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 60 raw_insw((u16 *)data_addr, (u16 *)buf, words);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 61 } else {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 62 if (swap)
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 63 raw_outsw_swapw((u16 *)data_addr, (u16 *)buf, words);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 64 else
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 65 raw_outsw((u16 *)data_addr, (u16 *)buf, words);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 66 }
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 67
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 68 /* Transfer trailing byte, if any. */
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 69 if (unlikely(buflen & 0x01)) {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 70 unsigned char pad[2] = { };
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 71
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 72 /* Point buf to the tail of buffer */
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 73 buf += buflen - 1;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 74
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 75 if (rw == READ) {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 76 if (swap)
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 77 raw_insw_swapw((u16 *)data_addr, (u16 *)pad, 1);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 78 else
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 79 raw_insw((u16 *)data_addr, (u16 *)pad, 1);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 80 *buf = pad[0];
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 81 } else {
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 82 pad[0] = *buf;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 83 if (swap)
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 84 raw_outsw_swapw((u16 *)data_addr, (u16 *)pad, 1);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 85 else
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 86 raw_outsw((u16 *)data_addr, (u16 *)pad, 1);
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 87 }
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 88 words++;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 89 }
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 90
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 91 return words << 1;
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 92 }
> 7e11aabd48eb00 Bartlomiej Zolnierkiewicz 2016-12-30 93
>
> :::::: The code at line 58 was first introduced by commit
> :::::: 7e11aabd48eb00240b280bf927cba9198664dcf6 ata: add Atari Falcon PATA controller driver
>
> :::::: TO: Bartlomiej Zolnierkiewicz <b.zolnierkie@xxxxxxxxxxx>
> :::::: CC: Tejun Heo <tj@xxxxxxxxxx>
>
> ---
> 0-DAY CI Kernel Test Service, Intel Corporation
> https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx
>