drivers/watchdog/pcwd_usb.c:375:37: sparse: sparse: incorrect type in argument 1 (different address spaces)

From: kernel test robot
Date: Wed Nov 11 2020 - 02:44:06 EST

tree: .config.gz
Description: application/gzip Song Liu: "Re: [PATCH v4 bpf-next 5/5] tools/bpftool: add support for in-kernel and named BTF in `btf show`" Eric W. Biederman: "Re: [RESEND PATCH v3] fuse: Abort waiting for a response if the daemon receives a fatal signal" kernel test robot: "drivers/watchdog/pcwd_usb.c:375:37: sparse: sparse: incorrect type in argument 1 (different address spaces)" date ] [ thread ] [ subject ] [ author ] /linux/kernel/git/torvalds/linux.git">https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
use static inline for __chk_{user,io}_ptr()
tent.com/intel/lkp-tests/master/sbin/make.cross">https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
cm/linux/kernel/git/torvalds/linux.git/commit/?id=e5fc436f06eef54ef512ea55a9db8eb9f2e76959">https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e5fc436f06eef54ef512ea55a9db8eb9f2e76959
it.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git">https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
r> make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=sh
r> > incorrect type in initializer (different address spaces) @@ expected char const *__gu_addr @@ got char const [noderef] __user * @@
char const *__gu_addr
char const [noderef] __user *
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got char const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
char const *__gu_addr
incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
int const *__gu_addr
int [noderef] __user *p
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
void const volatile [noderef] __user *ptr
int const *__gu_addr
incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
int const *__gu_addr
int [noderef] __user *p
incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
void const volatile [noderef] __user *ptr
int const *__gu_addr
sparse: incorrect type in assignment (different base types) @@ expected unsigned short header @@ got restricted __le16 [usertype] @@
expected unsigned short header
got restricted __le16 [usertype]
sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] address @@ got restricted __le32 [usertype] @@
expected unsigned int [usertype] address
got restricted __le32 [usertype]
sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] data @@ got restricted __le32 [usertype] @@
expected unsigned int [usertype] data
got restricted __le32 [usertype]
sparse: incorrect type in assignment (different base types) @@ expected unsigned short header @@ got restricted __le16 [usertype] @@
expected unsigned short header
got restricted __le16 [usertype]
sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] address @@ got restricted __le32 [usertype] @@
expected unsigned int [usertype] address
got restricted __le32 [usertype]
sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] data @@ got restricted __le32 [usertype] @@
expected unsigned int [usertype] data
got restricted __le32 [usertype]
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned char const *__gu_addr @@ got unsigned char [noderef] [usertype] __user * @@
expected unsigned char const *__gu_addr
got unsigned char [noderef] [usertype] __user *
sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned char const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned char const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const *__gu_addr @@ got unsigned short [noderef] [usertype] __user * @@
expected unsigned short const *__gu_addr
got unsigned short [noderef] [usertype] __user *
sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned short const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned int const *__gu_addr @@ got unsigned int [noderef] [usertype] __user * @@
expected unsigned int const *__gu_addr
got unsigned int [noderef] [usertype] __user *
sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned int const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned char const *__gu_addr @@ got unsigned char [noderef] [usertype] __user * @@
expected unsigned char const *__gu_addr
got unsigned char [noderef] [usertype] __user *
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned char const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned char const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const *__gu_addr @@ got unsigned short [noderef] [usertype] __user * @@
expected unsigned short const *__gu_addr
got unsigned short [noderef] [usertype] __user *
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned short const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned int const *__gu_addr @@ got unsigned int [noderef] [usertype] __user * @@
expected unsigned int const *__gu_addr
got unsigned int [noderef] [usertype] __user *
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned int const *__gu_addr
sparse: incorrect type in initializer (different address spaces) @@ expected unsigned int const *__gu_addr @@ got unsigned int [noderef] [usertype] __user * @@
expected unsigned int const *__gu_addr
got unsigned int [noderef] [usertype] __user *
sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int const *__gu_addr @@
expected void const volatile [noderef] __user *ptr
got unsigned int const *__gu_addr
2006-05-21 354
2005-04-16 355 /*
2005-04-16 356 * /dev/watchdog handling
2005-04-16 357 */
2005-04-16 358
2005-04-16 359 static ssize_t usb_pcwd_write(struct file *file, const char __user *data,
2005-04-16 360 size_t len, loff_t *ppos)
2005-04-16 361 {
2005-04-16 362 /* See if we got the magic character 'V' and reload the timer */
2005-04-16 363 if (len) {
2005-04-16 364 if (!nowayout) {
2005-04-16 365 size_t i;
2005-04-16 366
2005-04-16 367 /* note: just in case someone wrote the magic character
2005-04-16 368 * five months ago... */
2005-04-16 369 expect_release = 0;
2005-04-16 370
2009-03-18 371 /* scan to see whether or not we got the
2009-03-18 372 * magic character */
2005-04-16 373 for (i = 0; i != len; i++) {
2005-04-16 374 char c;
2005-04-16 @375 if (get_user(c, data + i))
2005-04-16 376 return -EFAULT;
2005-04-16 377 if (c == 'V')
2005-04-16 378 expect_release = 42;
2005-04-16 379 }
2005-04-16 380 }
2005-04-16 381
2005-04-16 382 /* someone wrote to us, we should reload the timer */
2005-04-16 383 usb_pcwd_keepalive(usb_pcwd_device);
2005-04-16 384 }
2005-04-16 385 return len;
2005-04-16 386 }
2005-04-16 387
2008-07-03 388 static long usb_pcwd_ioctl(struct file *file, unsigned int cmd,
2008-07-03 389 unsigned long arg)
2005-04-16 390 {
2005-04-16 391 void __user *argp = (void __user *)arg;
2005-04-16 392 int __user *p = argp;
2009-12-26 393 static const struct watchdog_info ident = {
2005-04-16 394 .options = WDIOF_KEEPALIVEPING |
2005-04-16 395 WDIOF_SETTIMEOUT |
2005-04-16 396 WDIOF_MAGICCLOSE,
2005-04-16 397 .firmware_version = 1,
2005-04-16 398 .identity = DRIVER_NAME,
2005-04-16 399 };
2005-04-16 400
2005-04-16 401 switch (cmd) {
2005-04-16 402 case WDIOC_GETSUPPORT:
2008-08-06 403 return copy_to_user(argp, &ident, sizeof(ident)) ? -EFAULT : 0;
2005-04-16 404
2005-04-16 405 case WDIOC_GETSTATUS:
2005-04-16 406 case WDIOC_GETBOOTSTATUS:
2005-04-16 407 return put_user(0, p);
2005-04-16 408
2005-04-16 409 case WDIOC_GETTEMP:
2005-04-16 410 {
2005-04-16 411 int temperature;
2005-04-16 412
2005-04-16 413 if (usb_pcwd_get_temperature(usb_pcwd_device, &temperature))
2005-04-16 414 return -EFAULT;
2005-04-16 415
2005-04-16 416 return put_user(temperature, p);
2005-04-16 417 }
2005-04-16 418
2005-04-16 419 case WDIOC_SETOPTIONS:
2005-04-16 420 {
2005-04-16 421 int new_options, retval = -EINVAL;
2005-04-16 422
2005-04-16 @423 if (get_user(new_options, p))
2005-04-16 424 return -EFAULT;
2005-04-16 425
2005-04-16 426 if (new_options & WDIOS_DISABLECARD) {
2005-04-16 427 usb_pcwd_stop(usb_pcwd_device);
2005-04-16 428 retval = 0;
2005-04-16 429 }
2005-04-16 430
2005-04-16 431 if (new_options & WDIOS_ENABLECARD) {
2005-04-16 432 usb_pcwd_start(usb_pcwd_device);
2005-04-16 433 retval = 0;
2005-04-16 434 }
2005-04-16 435
2005-04-16 436 return retval;
2005-04-16 437 }
2005-04-16 438
2008-07-18 439 case WDIOC_KEEPALIVE:
2008-07-18 440 usb_pcwd_keepalive(usb_pcwd_device);
2008-07-18 441 return 0;
2008-07-18 442
2005-04-16 443 case WDIOC_SETTIMEOUT:
2005-04-16 444 {
2005-04-16 445 int new_heartbeat;
2005-04-16 446
2005-04-16 447 if (get_user(new_heartbeat, p))
2005-04-16 448 return -EFAULT;
2005-04-16 449
2005-04-16 450 if (usb_pcwd_set_heartbeat(usb_pcwd_device, new_heartbeat))
2005-04-16 451 return -EINVAL;
2005-04-16 452
2005-04-16 453 usb_pcwd_keepalive(usb_pcwd_device);
2005-04-16 454 }
A. R. Silva 2020-07-07 455 fallthrough;
2005-04-16 456
2005-04-16 457 case WDIOC_GETTIMEOUT:
2005-04-16 458 return put_user(heartbeat, p);
2005-04-16 459
2006-05-21 460 case WDIOC_GETTIMELEFT:
2006-05-21 461 {
2006-05-21 462 int time_left;
2006-05-21 463
2006-05-21 464 if (usb_pcwd_get_timeleft(usb_pcwd_device, &time_left))
2006-05-21 465 return -EFAULT;
2006-05-21 466
2006-05-21 467 return put_user(time_left, p);
2006-05-21 468 }
2006-05-21 469
2005-04-16 470 default:
2006-09-09 471 return -ENOTTY;
2005-04-16 472 }
2005-04-16 473 }
2005-04-16 474
2
build-all@xxxxxxxxxxxx">https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx
>

Next message: Song Liu: "Re: [PATCH v4 bpf-next 5/5] tools/bpftool: add support for in-kernel and named BTF in `btf show`"
Previous message: Eric W. Biederman: "Re: [RESEND PATCH v3] fuse: Abort waiting for a response if the daemon receives a fatal signal"
In reply to: kernel test robot: "drivers/watchdog/pcwd_usb.c:375:37: sparse: sparse: incorrect type in argument 1 (different address spaces)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]