tree: https://git.kernel.org/pub/scm/linux/kernel/git/kas/linux.git lam
head: 8836fbd6cd3120383a0bc63cd54c7dd55639ed49
commit: 2600a472582e2968633831d430c2a1366ad3e8b1 [5/13] x86/uaccess: Provide untagged_addr() and remove tags before address check
config: x86_64-randconfig-s023-20220919 (https://download.01.org/0day-ci/archive/20220923/[email protected]/config)
compiler: gcc-11 (Debian 11.3.0-5) 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/kas/linux.git/commit/?id=2600a472582e2968633831d430c2a1366ad3e8b1
git remote add kas https://git.kernel.org/pub/scm/linux/kernel/git/kas/linux.git
git fetch --no-tags kas lam
git checkout 2600a472582e2968633831d430c2a1366ad3e8b1
# 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 SHELL=/bin/bash drivers/acpi/ drivers/input/serio/ drivers/platform/x86/
If you fix the issue, kindly add following tag where applicable
| Reported-by: kernel test robot <[email protected]>
sparse warnings: (new ones prefixed by >>)
>> drivers/input/serio/serio_raw.c:178:29: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected char [noderef] __user *__ptr_clean @@ got char * @@
drivers/input/serio/serio_raw.c:178:29: sparse: expected char [noderef] __user *__ptr_clean
drivers/input/serio/serio_raw.c:178:29: sparse: got char *
>> drivers/input/serio/serio_raw.c:219:21: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected char const [noderef] __user *__ptr_clean @@ got char const * @@
drivers/input/serio/serio_raw.c:219:21: sparse: expected char const [noderef] __user *__ptr_clean
drivers/input/serio/serio_raw.c:219:21: sparse: got char const *
--
>> drivers/input/serio/serport.c:216:21: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned long [noderef] __user *__ptr_clean @@ got unsigned long * @@
drivers/input/serio/serport.c:216:21: sparse: expected unsigned long [noderef] __user *__ptr_clean
drivers/input/serio/serport.c:216:21: sparse: got unsigned long *
vim +178 drivers/input/serio/serio_raw.c
^1da177e4c3f415 Linus Torvalds 2005-04-16 156
15a564d8dbfc942 Dmitry Torokhov 2011-10-10 157 static ssize_t serio_raw_read(struct file *file, char __user *buffer,
15a564d8dbfc942 Dmitry Torokhov 2011-10-10 158 size_t count, loff_t *ppos)
^1da177e4c3f415 Linus Torvalds 2005-04-16 159 {
7c5bbb2eb7ad047 Dmitry Torokhov 2011-10-10 160 struct serio_raw_client *client = file->private_data;
7c5bbb2eb7ad047 Dmitry Torokhov 2011-10-10 161 struct serio_raw *serio_raw = client->serio_raw;
3f649ab728cda80 Kees Cook 2020-06-03 162 char c;
7a0a27d2ce38aee Che-Liang Chiou 2012-02-01 163 ssize_t read = 0;
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 164 int error;
^1da177e4c3f415 Linus Torvalds 2005-04-16 165
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 166 for (;;) {
85f5b35da86bcd6 Dmitry Torokhov 2011-10-10 167 if (serio_raw->dead)
^1da177e4c3f415 Linus Torvalds 2005-04-16 168 return -ENODEV;
^1da177e4c3f415 Linus Torvalds 2005-04-16 169
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 170 if (serio_raw->head == serio_raw->tail &&
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 171 (file->f_flags & O_NONBLOCK))
^1da177e4c3f415 Linus Torvalds 2005-04-16 172 return -EAGAIN;
^1da177e4c3f415 Linus Torvalds 2005-04-16 173
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 174 if (count == 0)
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 175 break;
^1da177e4c3f415 Linus Torvalds 2005-04-16 176
7a0a27d2ce38aee Che-Liang Chiou 2012-02-01 177 while (read < count && serio_raw_fetch_byte(serio_raw, &c)) {
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 @178 if (put_user(c, buffer++))
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 179 return -EFAULT;
7a0a27d2ce38aee Che-Liang Chiou 2012-02-01 180 read++;
^1da177e4c3f415 Linus Torvalds 2005-04-16 181 }
^1da177e4c3f415 Linus Torvalds 2005-04-16 182
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 183 if (read)
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 184 break;
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 185
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 186 if (!(file->f_flags & O_NONBLOCK)) {
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 187 error = wait_event_interruptible(serio_raw->wait,
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 188 serio_raw->head != serio_raw->tail ||
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 189 serio_raw->dead);
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 190 if (error)
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 191 return error;
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 192 }
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 193 }
486c8aba39e5f19 Dmitry Torokhov 2012-04-20 194
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 195 return read;
^1da177e4c3f415 Linus Torvalds 2005-04-16 196 }
^1da177e4c3f415 Linus Torvalds 2005-04-16 197
15a564d8dbfc942 Dmitry Torokhov 2011-10-10 198 static ssize_t serio_raw_write(struct file *file, const char __user *buffer,
15a564d8dbfc942 Dmitry Torokhov 2011-10-10 199 size_t count, loff_t *ppos)
^1da177e4c3f415 Linus Torvalds 2005-04-16 200 {
7c5bbb2eb7ad047 Dmitry Torokhov 2011-10-10 201 struct serio_raw_client *client = file->private_data;
7c5bbb2eb7ad047 Dmitry Torokhov 2011-10-10 202 struct serio_raw *serio_raw = client->serio_raw;
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 203 int retval = 0;
^1da177e4c3f415 Linus Torvalds 2005-04-16 204 unsigned char c;
^1da177e4c3f415 Linus Torvalds 2005-04-16 205
c4e32e9faaaa833 Arjan van de Ven 2006-02-19 206 retval = mutex_lock_interruptible(&serio_raw_mutex);
^1da177e4c3f415 Linus Torvalds 2005-04-16 207 if (retval)
^1da177e4c3f415 Linus Torvalds 2005-04-16 208 return retval;
^1da177e4c3f415 Linus Torvalds 2005-04-16 209
85f5b35da86bcd6 Dmitry Torokhov 2011-10-10 210 if (serio_raw->dead) {
^1da177e4c3f415 Linus Torvalds 2005-04-16 211 retval = -ENODEV;
^1da177e4c3f415 Linus Torvalds 2005-04-16 212 goto out;
^1da177e4c3f415 Linus Torvalds 2005-04-16 213 }
^1da177e4c3f415 Linus Torvalds 2005-04-16 214
^1da177e4c3f415 Linus Torvalds 2005-04-16 215 if (count > 32)
^1da177e4c3f415 Linus Torvalds 2005-04-16 216 count = 32;
^1da177e4c3f415 Linus Torvalds 2005-04-16 217
^1da177e4c3f415 Linus Torvalds 2005-04-16 218 while (count--) {
^1da177e4c3f415 Linus Torvalds 2005-04-16 @219 if (get_user(c, buffer++)) {
^1da177e4c3f415 Linus Torvalds 2005-04-16 220 retval = -EFAULT;
^1da177e4c3f415 Linus Torvalds 2005-04-16 221 goto out;
^1da177e4c3f415 Linus Torvalds 2005-04-16 222 }
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 223
7c5bbb2eb7ad047 Dmitry Torokhov 2011-10-10 224 if (serio_write(serio_raw->serio, c)) {
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 225 /* Either signal error or partial write */
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 226 if (retval == 0)
^1da177e4c3f415 Linus Torvalds 2005-04-16 227 retval = -EIO;
^1da177e4c3f415 Linus Torvalds 2005-04-16 228 goto out;
^1da177e4c3f415 Linus Torvalds 2005-04-16 229 }
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 230
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 231 retval++;
d89c9bcb3390956 Che-Liang Chiou 2012-01-10 232 }
^1da177e4c3f415 Linus Torvalds 2005-04-16 233
^1da177e4c3f415 Linus Torvalds 2005-04-16 234 out:
c4e32e9faaaa833 Arjan van de Ven 2006-02-19 235 mutex_unlock(&serio_raw_mutex);
46f49b7a223ac74 Dmitry Torokhov 2012-05-02 236 return retval;
^1da177e4c3f415 Linus Torvalds 2005-04-16 237 }
^1da177e4c3f415 Linus Torvalds 2005-04-16 238
:::::: The code at line 178 was first introduced by commit
:::::: 46f49b7a223ac7493e7cf619fb583d11edefc2c2 Input: serio_raw - signal EFAULT even if read/write partially succeeds
:::::: TO: Dmitry Torokhov <[email protected]>
:::::: CC: Dmitry Torokhov <[email protected]>
--
0-DAY CI Kernel Test Service
https://01.org/lkp