Re: arch/arm64/kernel/acpi.c:99:30: sparse: sparse: incorrect type in return expression (different address spaces)

From: Andy Shevchenko
Date: Mon Jun 22 2020 - 17:42:48 EST


On Mon, Jun 22, 2020 at 11:53 PM kernel test robot <lkp@xxxxxxxxx> wrote:
>
> tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> head: dd0d718152e4c65b173070d48ea9dfc06894c3e5
> commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
> date: 4 days ago
> config: arm64-randconfig-s031-20200622 (attached as .config)
> compiler: aarch64-linux-gcc (GCC) 9.3.0
> reproduce:
> # apt-get install sparse
> # sparse version: v0.6.2-rc1-18-g27caae40-dirty
> git checkout 670d0a4b10704667765f7d18f7592993d02783aa
> # save the attached .config to linux build tree
> make W=1 C=1 ARCH=arm64 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'
>
> If you fix the issue, kindly add following tag as appropriate
> Reported-by: kernel test robot <lkp@xxxxxxxxx>
>
>
> sparse warnings: (new ones prefixed by >>)
>
> >> arch/arm64/kernel/acpi.c:99:30: sparse: sparse: incorrect type in return expression (different address spaces) @@ expected void [noderef] __iomem * @@ got void * @@
> >> arch/arm64/kernel/acpi.c:99:30: sparse: expected void [noderef] __iomem *
> arch/arm64/kernel/acpi.c:99:30: sparse: got void *
> >> arch/arm64/kernel/acpi.c:107:24: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *addr @@ got void [noderef] __iomem *map @@
> arch/arm64/kernel/acpi.c:107:24: sparse: expected void *addr
> >> arch/arm64/kernel/acpi.c:107:24: sparse: got void [noderef] __iomem *map

...

> 6c9a58e84e59a2 Andy Shevchenko 2017-07-18 94 void __init __iomem *__acpi_map_table(unsigned long phys, unsigned long size)
> 6c9a58e84e59a2 Andy Shevchenko 2017-07-18 102 void __init __acpi_unmap_table(void __iomem *map, unsigned long size)

Seems like a new sparse fixed some sparse issues and reveals that the
above was a mistake and should be reverted.

--
With Best Regards,
Andy Shevchenko