Re: [PATCH] media: v4l2-compat-ioctl32: fix several __user annotations

Hi Mauro, I love your patch! Yet something to improve: [auto build test ERROR on linuxtv-media/master] [also build test ERROR on v4.16 next-20180413] [if your patch is applied to the wrong git tree, please drop us a note to help improve the system] url: https://github.com/0day-ci/linux/comm

Re: [PATCH] media: v4l2-compat-ioctl32: fix several __user annotations

Hi Mauro, I love your patch! Yet something to improve: [auto build test ERROR on linuxtv-media/master] [also build test ERROR on v4.16 next-20180413] [if your patch is applied to the wrong git tree, please drop us a note to help improve the system] url: https://github.com/0day-ci/linux/comm

Re: [PATCH] media: v4l2-compat-ioctl32: fix several __user annotations

Em Thu, 12 Apr 2018 09:02:34 -0400 Mauro Carvalho Chehab escreveu: > Smatch report several issues with bad __user annotations: Please ignore this one. Sent to early. > > drivers/media/v4l2-core/v4l2-compat-ioctl32.c:447:21: warning: incorrect > type in argument 1 (different address spaces)

[PATCH] media: v4l2-compat-ioctl32: fix several __user annotations

Smatch report several issues with bad __user annotations: drivers/media/v4l2-core/v4l2-compat-ioctl32.c:447:21: warning: incorrect type in argument 1 (different address spaces) drivers/media/v4l2-core/v4l2-compat-ioctl32.c:447:21:expected void [noderef] *uptr drivers/media/v4l2-core/v4