From: Hans de Goede <hdegoede@redhat.com>
To: Dan Carpenter <error27@gmail.com>
Cc: oe-kbuild-all@lists.linux.dev,
Linux Memory Management List <linux-mm@kvack.org>,
kernel test robot <lkp@intel.com>,
Orlando Chamberlain <orlandoch.dev@gmail.com>
Subject: sparse false-positive ? (was [linux-next:master 3256/8744] drivers/platform/x86/apple-gmux.c:224:48: sparse: sparse: incorrect type in argument 1 (different address spaces))
Date: Tue, 4 Apr 2023 11:50:17 +0200 [thread overview]
Message-ID: <a07aa39e-4a70-6942-9837-717a69484e96@redhat.com> (raw)
In-Reply-To: <202304040401.IMxt7Ubi-lkp@intel.com>
Dan,
Can you perhaps help me understand the following sparse warnings,
they seem like false-positives to me. But I'm not used to
sparse giving false-positives so I think I might be missing something
here ?
On 4/3/23 22:39, kernel test robot wrote:
> tree: https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master
> head: 31bd35b66249699343d2416658f57e97314a433a
> commit: 0c18184de990e63f708b090bcb9fc6c0fbc427cd [3256/8744] platform/x86: apple-gmux: support MMIO gmux on T2 Macs
> config: x86_64-randconfig-s023-20230403 (https://download.01.org/0day-ci/archive/20230404/202304040401.IMxt7Ubi-lkp@intel.com/config)
> compiler: gcc-11 (Debian 11.3.0-8) 11.3.0
> reproduce:
> # apt-get install sparse
> # sparse version: v0.6.4-39-gce1a6720-dirty
> # https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/commit/?id=0c18184de990e63f708b090bcb9fc6c0fbc427cd
> git remote add linux-next https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git
> git fetch --no-tags linux-next master
> git checkout 0c18184de990e63f708b090bcb9fc6c0fbc427cd
> # save the config file
> mkdir build_dir && cp config build_dir/.config
> make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=x86_64 olddefconfig
> make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=x86_64 SHELL=/bin/bash drivers/platform/x86/
>
> If you fix the issue, kindly add following tag where applicable
> | Reported-by: kernel test robot <lkp@intel.com>
> | Link: https://lore.kernel.org/oe-kbuild-all/202304040401.IMxt7Ubi-lkp@intel.com/
>
> sparse warnings: (new ones prefixed by >>)
>>> drivers/platform/x86/apple-gmux.c:224:48: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:224:48: sparse: expected void const [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:224:48: sparse: got unsigned char [usertype] *
So apple-gmux.c:224 for the commit these sparse warnings are about reads:
u8 gwr = ioread8(gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
Where gmux_data is a "struct apple_gmux_data *" and the iomem_base member is:
u8 *__iomem iomem_base;
And GMUX_MMIO_COMMAND_SEND is:
#define GMUX_MMIO_COMMAND_SEND 0x0f
So I don't understand this warnining ?
Maybe sparse tracks what is being assigned to apple_gmux_data->iomem_base else where ?
The assignment is done like this:
gmux_data->iomem_base = ioremap(gmux_data->iostart, gmux_data->iolen);
And ioremap() returns a "void __iomem *" so even if the assignment
is tracked things still seem fine ?
Regards,
Hans
> drivers/platform/x86/apple-gmux.c:227:53: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:227:53: sparse: expected void const [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:227:53: sparse: got unsigned char [usertype] *
>>> drivers/platform/x86/apple-gmux.c:241:55: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:241:55: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:241:55: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:243:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:243:39: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:243:39: sparse: got unsigned char [usertype] *
>>> drivers/platform/x86/apple-gmux.c:245:32: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __iomem * @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:245:32: sparse: expected void const [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:245:32: sparse: got unsigned char [usertype] *[noderef] iomem_base
>>> drivers/platform/x86/apple-gmux.c:256:32: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:256:32: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:256:32: sparse: got unsigned char [usertype] *[noderef] iomem_base
> drivers/platform/x86/apple-gmux.c:258:53: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:258:53: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:258:53: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:260:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:260:39: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:260:39: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:272:55: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:272:55: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:272:55: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:274:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:274:39: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:274:39: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:276:15: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __iomem * @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:276:15: sparse: expected void const [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:276:15: sparse: got unsigned char [usertype] *[noderef] iomem_base
>>> drivers/platform/x86/apple-gmux.c:276:15: sparse: sparse: cast to restricted __be32
>>> drivers/platform/x86/apple-gmux.c:286:19: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected unsigned int [usertype] @@ got restricted __be32 [usertype] @@
> drivers/platform/x86/apple-gmux.c:286:19: sparse: expected unsigned int [usertype]
> drivers/platform/x86/apple-gmux.c:286:19: sparse: got restricted __be32 [usertype]
> drivers/platform/x86/apple-gmux.c:286:46: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:286:46: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:286:46: sparse: got unsigned char [usertype] *[noderef] iomem_base
> drivers/platform/x86/apple-gmux.c:287:53: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:287:53: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:287:53: sparse: got unsigned char [usertype] *
> drivers/platform/x86/apple-gmux.c:289:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __iomem * @@ got unsigned char [usertype] * @@
> drivers/platform/x86/apple-gmux.c:289:39: sparse: expected void [noderef] __iomem *
> drivers/platform/x86/apple-gmux.c:289:39: sparse: got unsigned char [usertype] *
>>> drivers/platform/x86/apple-gmux.c:739:39: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char [usertype] *[noderef] iomem_base @@ got void [noderef] __iomem * @@
> drivers/platform/x86/apple-gmux.c:739:39: sparse: expected unsigned char [usertype] *[noderef] iomem_base
> drivers/platform/x86/apple-gmux.c:739:39: sparse: got void [noderef] __iomem *
>>> drivers/platform/x86/apple-gmux.c:889:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *addr @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:889:34: sparse: expected void volatile [noderef] __iomem *addr
> drivers/platform/x86/apple-gmux.c:889:34: sparse: got unsigned char [usertype] *[noderef] iomem_base
> drivers/platform/x86/apple-gmux.c:916:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *addr @@ got unsigned char [usertype] *[noderef] iomem_base @@
> drivers/platform/x86/apple-gmux.c:916:34: sparse: expected void volatile [noderef] __iomem *addr
> drivers/platform/x86/apple-gmux.c:916:34: sparse: got unsigned char [usertype] *[noderef] iomem_base
>>> drivers/platform/x86/apple-gmux.c:224:26: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:227:31: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:241:33: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:243:17: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:245:23: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:256:23: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:258:31: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:260:17: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:272:33: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:274:17: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:276:15: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:286:37: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:287:31: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:289:17: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c: note: in included file:
>>> include/linux/apple-gmux.h:69:41: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned char [usertype] *[noderef] __iomem iomem_base @@ got void [noderef] __iomem * @@
> include/linux/apple-gmux.h:69:41: sparse: expected unsigned char [usertype] *[noderef] __iomem iomem_base
> include/linux/apple-gmux.h:69:41: sparse: got void [noderef] __iomem *
>>> include/linux/apple-gmux.h:80:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __iomem * @@ got unsigned char [usertype] * @@
> include/linux/apple-gmux.h:80:34: sparse: expected void const [noderef] __iomem *
> include/linux/apple-gmux.h:80:34: sparse: got unsigned char [usertype] *
>>> include/linux/apple-gmux.h:81:17: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *addr @@ got unsigned char [usertype] *[noderef] __iomem iomem_base @@
> include/linux/apple-gmux.h:81:17: sparse: expected void volatile [noderef] __iomem *addr
> include/linux/apple-gmux.h:81:17: sparse: got unsigned char [usertype] *[noderef] __iomem iomem_base
>>> include/linux/apple-gmux.h:72:14: sparse: sparse: dereference of noderef expression
> include/linux/apple-gmux.h:80:23: sparse: sparse: dereference of noderef expression
> include/linux/apple-gmux.h:81:17: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:740:22: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:888:13: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:889:25: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:915:13: sparse: sparse: dereference of noderef expression
> drivers/platform/x86/apple-gmux.c:916:25: sparse: sparse: dereference of noderef expression
>
> vim +224 drivers/platform/x86/apple-gmux.c
>
> 220
> 221 static int gmux_mmio_wait(struct apple_gmux_data *gmux_data)
> 222 {
> 223 int i = 200;
> > 224 u8 gwr = ioread8(gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 225
> 226 while (i && gwr) {
> > 227 gwr = ioread8(gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 228 udelay(100);
> 229 i--;
> 230 }
> 231
> 232 return !!i;
> 233 }
> 234
> 235 static u8 gmux_mmio_read8(struct apple_gmux_data *gmux_data, int port)
> 236 {
> 237 u8 val;
> 238
> 239 mutex_lock(&gmux_data->index_lock);
> 240 gmux_mmio_wait(gmux_data);
> > 241 iowrite8((port & 0xff), gmux_data->iomem_base + GMUX_MMIO_PORT_SELECT);
> 242 iowrite8(GMUX_MMIO_READ | sizeof(val),
> 243 gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 244 gmux_mmio_wait(gmux_data);
> > 245 val = ioread8(gmux_data->iomem_base);
> 246 mutex_unlock(&gmux_data->index_lock);
> 247
> 248 return val;
> 249 }
> 250
> 251 static void gmux_mmio_write8(struct apple_gmux_data *gmux_data, int port,
> 252 u8 val)
> 253 {
> 254 mutex_lock(&gmux_data->index_lock);
> 255 gmux_mmio_wait(gmux_data);
> > 256 iowrite8(val, gmux_data->iomem_base);
> 257
> 258 iowrite8(port & 0xff, gmux_data->iomem_base + GMUX_MMIO_PORT_SELECT);
> 259 iowrite8(GMUX_MMIO_WRITE | sizeof(val),
> 260 gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 261
> 262 gmux_mmio_wait(gmux_data);
> 263 mutex_unlock(&gmux_data->index_lock);
> 264 }
> 265
> 266 static u32 gmux_mmio_read32(struct apple_gmux_data *gmux_data, int port)
> 267 {
> 268 u32 val;
> 269
> 270 mutex_lock(&gmux_data->index_lock);
> 271 gmux_mmio_wait(gmux_data);
> > 272 iowrite8((port & 0xff), gmux_data->iomem_base + GMUX_MMIO_PORT_SELECT);
> 273 iowrite8(GMUX_MMIO_READ | sizeof(val),
> 274 gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 275 gmux_mmio_wait(gmux_data);
> > 276 val = be32_to_cpu(ioread32(gmux_data->iomem_base));
> 277 mutex_unlock(&gmux_data->index_lock);
> 278
> 279 return val;
> 280 }
> 281
> 282 static void gmux_mmio_write32(struct apple_gmux_data *gmux_data, int port,
> 283 u32 val)
> 284 {
> 285 mutex_lock(&gmux_data->index_lock);
> > 286 iowrite32(cpu_to_be32(val), gmux_data->iomem_base);
> > 287 iowrite8(port & 0xff, gmux_data->iomem_base + GMUX_MMIO_PORT_SELECT);
> 288 iowrite8(GMUX_MMIO_WRITE | sizeof(val),
> 289 gmux_data->iomem_base + GMUX_MMIO_COMMAND_SEND);
> 290 gmux_mmio_wait(gmux_data);
> 291 mutex_unlock(&gmux_data->index_lock);
> 292 }
> 293
>
next prev parent reply other threads:[~2023-04-04 9:50 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-04-03 20:39 [linux-next:master 3256/8744] drivers/platform/x86/apple-gmux.c:224:48: sparse: sparse: incorrect type in argument 1 (different address spaces) kernel test robot
2023-04-04 9:50 ` Hans de Goede [this message]
2023-04-04 10:07 ` sparse false-positive ? (was [linux-next:master 3256/8744] drivers/platform/x86/apple-gmux.c:224:48: sparse: sparse: incorrect type in argument 1 (different address spaces)) Dan Carpenter
2023-04-04 10:56 ` Hans de Goede
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=a07aa39e-4a70-6942-9837-717a69484e96@redhat.com \
--to=hdegoede@redhat.com \
--cc=error27@gmail.com \
--cc=linux-mm@kvack.org \
--cc=lkp@intel.com \
--cc=oe-kbuild-all@lists.linux.dev \
--cc=orlandoch.dev@gmail.com \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox