* [PATCH] staging: gdm72xx: fix address space parse warnings
@ 2015-11-29 20:40 Okash Khawaja
2015-12-02 13:17 ` Dan Carpenter
0 siblings, 1 reply; 7+ messages in thread
From: Okash Khawaja @ 2015-11-29 20:40 UTC (permalink / raw)
To: gregkh, jonathankim, deanahn; +Cc: devel, linux-kernel
copy_to_user() and copy_from_user() functions expect the user space
pointers to be marked with __user. Sparse throws following warnings.
For copy_to_user():
warning: incorrect type in argument 1 (different address spaces)
expected void [noderef] <asn:1>*to
got void *buf
For copy_from_user():
warning: incorrect type in argument 2 (different address spaces)
expected void const [noderef] <asn:1>*from
got void *buf
This patch casts the user space pointers to have __user by using __force.
Signed-off-by: Okash Khawaja <okash.khawaja@gmail.com>
---
drivers/staging/gdm72xx/gdm_wimax.c | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/drivers/staging/gdm72xx/gdm_wimax.c b/drivers/staging/gdm72xx/gdm_wimax.c
index d9ddced..16f8f35 100644
--- a/drivers/staging/gdm72xx/gdm_wimax.c
+++ b/drivers/staging/gdm72xx/gdm_wimax.c
@@ -371,6 +371,7 @@ static void kdelete(void **buf)
static int gdm_wimax_ioctl_get_data(struct data_s *dst, struct data_s *src)
{
int size;
+ void __user *p;
size = dst->size < src->size ? dst->size : src->size;
@@ -378,7 +379,9 @@ static int gdm_wimax_ioctl_get_data(struct data_s *dst, struct data_s *src)
if (src->size) {
if (!dst->buf)
return -EINVAL;
- if (copy_to_user(dst->buf, src->buf, size))
+
+ p = (__force void __user *)dst->buf;
+ if (copy_to_user(p, src->buf, size))
return -EFAULT;
}
return 0;
@@ -386,6 +389,8 @@ static int gdm_wimax_ioctl_get_data(struct data_s *dst, struct data_s *src)
static int gdm_wimax_ioctl_set_data(struct data_s *dst, struct data_s *src)
{
+ void __user *p;
+
if (!src->size) {
dst->size = 0;
return 0;
@@ -401,7 +406,8 @@ static int gdm_wimax_ioctl_set_data(struct data_s *dst, struct data_s *src)
return -ENOMEM;
}
- if (copy_from_user(dst->buf, src->buf, src->size)) {
+ p = (__force void __user *)src->buf;
+ if (copy_from_user(dst->buf, p, src->size)) {
kdelete(&dst->buf);
return -EFAULT;
}
--
2.5.2
^ permalink raw reply related [flat|nested] 7+ messages in thread
* Re: [PATCH] staging: gdm72xx: fix address space parse warnings
2015-11-29 20:40 [PATCH] staging: gdm72xx: fix address space parse warnings Okash Khawaja
@ 2015-12-02 13:17 ` Dan Carpenter
2015-12-11 10:33 ` Okash Khawaja
2015-12-11 18:15 ` [PATCH v2] staging: gdm72xx: fix address space warnings Okash Khawaja
0 siblings, 2 replies; 7+ messages in thread
From: Dan Carpenter @ 2015-12-02 13:17 UTC (permalink / raw)
To: Okash Khawaja; +Cc: gregkh, jonathankim, deanahn, devel, linux-kernel
Probably it's better to create a different struct:
struct udata_s {
unsigned int size;
void __user *buf;
};
regards,
dan carpenter
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH] staging: gdm72xx: fix address space parse warnings
2015-12-02 13:17 ` Dan Carpenter
@ 2015-12-11 10:33 ` Okash Khawaja
2015-12-11 10:52 ` Dan Carpenter
2015-12-11 18:15 ` [PATCH v2] staging: gdm72xx: fix address space warnings Okash Khawaja
1 sibling, 1 reply; 7+ messages in thread
From: Okash Khawaja @ 2015-12-11 10:33 UTC (permalink / raw)
To: Dan Carpenter; +Cc: gregkh, jonathankim, deanahn, devel, linux-kernel
Thanks, that's a cleaner approach. Apologies for delayed reply as I'm in middle of a house move. I'll send an updated patch soon.
Okash
> On 2 Dec 2015, at 13:17, Dan Carpenter <dan.carpenter@oracle.com> wrote:
>
> Probably it's better to create a different struct:
>
> struct udata_s {
> unsigned int size;
> void __user *buf;
> };
>
> regards,
> dan carpenter
>
>
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH] staging: gdm72xx: fix address space parse warnings
2015-12-11 10:33 ` Okash Khawaja
@ 2015-12-11 10:52 ` Dan Carpenter
2015-12-11 11:16 ` Okash Khawaja
0 siblings, 1 reply; 7+ messages in thread
From: Dan Carpenter @ 2015-12-11 10:52 UTC (permalink / raw)
To: Okash Khawaja; +Cc: devel, gregkh, jonathankim, linux-kernel, deanahn
On Fri, Dec 11, 2015 at 10:33:13AM +0000, Okash Khawaja wrote:
> Thanks, that's a cleaner approach. Apologies for delayed reply as I'm in middle of a house move. I'll send an updated patch soon.
>
Someone already fixed it. Thanks.
regards,
dan carpenter
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH] staging: gdm72xx: fix address space parse warnings
2015-12-11 10:52 ` Dan Carpenter
@ 2015-12-11 11:16 ` Okash Khawaja
0 siblings, 0 replies; 7+ messages in thread
From: Okash Khawaja @ 2015-12-11 11:16 UTC (permalink / raw)
To: Dan Carpenter; +Cc: devel, gregkh, linux-kernel, deanahn
> On 11 Dec 2015, at 10:52, Dan Carpenter <dan.carpenter@oracle.com> wrote:
>
>> On Fri, Dec 11, 2015 at 10:33:13AM +0000, Okash Khawaja wrote:
>> Thanks, that's a cleaner approach. Apologies for delayed reply as I'm in middle of a house move. I'll send an updated patch soon.
>
> Someone already fixed it. Thanks.
>
> regards,
> dan carpenter
>
It seems like it's still there: https://kernel.googlesource.com/pub/scm/linux/kernel/git/gregkh/staging/+/staging-next/drivers/staging/gdm72xx/gdm_wimax.c
Am I looking in the wrong place?
Thanks,
Okash
^ permalink raw reply [flat|nested] 7+ messages in thread
* [PATCH v2] staging: gdm72xx: fix address space warnings
2015-12-02 13:17 ` Dan Carpenter
2015-12-11 10:33 ` Okash Khawaja
@ 2015-12-11 18:15 ` Okash Khawaja
2015-12-12 8:35 ` Dan Carpenter
1 sibling, 1 reply; 7+ messages in thread
From: Okash Khawaja @ 2015-12-11 18:15 UTC (permalink / raw)
To: dan.carpenter, gregkh; +Cc: linux-kernel, devel
copy_to_user() and copy_from_user() functions expect the user space
pointers to be marked with __user. Sparse throws following warnings.
For copy_to_user():
warning: incorrect type in argument 1 (different address spaces)
expected void [noderef] <asn:1>*to
got void *buf
For copy_from_user():
warning: incorrect type in argument 2 (different address spaces)
expected void const [noderef] <asn:1>*from
got void *buf
This creates a separate `struct udata_s` which is user space counterpart
of `struct data_s`. This patch also alters function signatures where
data transfer between user and kernel space occurs, in order to make the
distinction explicit. Finally, it explicitly casts the argument passed
to `gdm_update_fsm()` using __force to avoid the warning "cast removes
address space of expression".
Signed-off-by: Okash Khawaja <okash.khawaja@gmail.com>
---
drivers/staging/gdm72xx/gdm_wimax.c | 7 ++++---
drivers/staging/gdm72xx/wm_ioctl.h | 7 ++++++-
2 files changed, 10 insertions(+), 4 deletions(-)
diff --git a/drivers/staging/gdm72xx/gdm_wimax.c b/drivers/staging/gdm72xx/gdm_wimax.c
index b8eea21..c61ce92 100644
--- a/drivers/staging/gdm72xx/gdm_wimax.c
+++ b/drivers/staging/gdm72xx/gdm_wimax.c
@@ -363,7 +363,7 @@ static void kdelete(void **buf)
}
}
-static int gdm_wimax_ioctl_get_data(struct data_s *dst, struct data_s *src)
+static int gdm_wimax_ioctl_get_data(struct udata_s *dst, struct data_s *src)
{
int size;
@@ -379,7 +379,7 @@ static int gdm_wimax_ioctl_get_data(struct data_s *dst, struct data_s *src)
return 0;
}
-static int gdm_wimax_ioctl_set_data(struct data_s *dst, struct data_s *src)
+static int gdm_wimax_ioctl_set_data(struct data_s *dst, struct udata_s *src)
{
if (!src->size) {
dst->size = 0;
@@ -478,7 +478,8 @@ static int gdm_wimax_ioctl(struct net_device *dev, struct ifreq *ifr, int cmd)
* before gdm_wimax_ioctl_set_data is called.
*/
gdm_update_fsm(dev,
- req->data.buf);
+ (__force struct fsm_s *)
+ req->data.buf);
}
ret = gdm_wimax_ioctl_set_data(
&nic->sdk_data[req->data_id], &req->data);
diff --git a/drivers/staging/gdm72xx/wm_ioctl.h b/drivers/staging/gdm72xx/wm_ioctl.h
index ed8f649..7dc8f6f 100644
--- a/drivers/staging/gdm72xx/wm_ioctl.h
+++ b/drivers/staging/gdm72xx/wm_ioctl.h
@@ -78,13 +78,18 @@ struct data_s {
void *buf;
};
+struct udata_s {
+ unsigned int size;
+ void __user *buf;
+};
+
struct wm_req_s {
union {
char ifrn_name[IFNAMSIZ];
} ifr_ifrn;
unsigned short cmd;
unsigned short data_id;
- struct data_s data;
+ struct udata_s data;
/* NOTE: sizeof(struct wm_req_s) must be less than sizeof(struct ifreq). */
};
--
2.5.2
^ permalink raw reply related [flat|nested] 7+ messages in thread
* Re: [PATCH v2] staging: gdm72xx: fix address space warnings
2015-12-11 18:15 ` [PATCH v2] staging: gdm72xx: fix address space warnings Okash Khawaja
@ 2015-12-12 8:35 ` Dan Carpenter
0 siblings, 0 replies; 7+ messages in thread
From: Dan Carpenter @ 2015-12-12 8:35 UTC (permalink / raw)
To: Okash Khawaja; +Cc: gregkh, devel, linux-kernel
This fix isn't correct and Wim already fixed this.
https://lkml.org/lkml/2015/12/11/221
regards,
dan carpenter
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2015-12-12 8:35 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-11-29 20:40 [PATCH] staging: gdm72xx: fix address space parse warnings Okash Khawaja
2015-12-02 13:17 ` Dan Carpenter
2015-12-11 10:33 ` Okash Khawaja
2015-12-11 10:52 ` Dan Carpenter
2015-12-11 11:16 ` Okash Khawaja
2015-12-11 18:15 ` [PATCH v2] staging: gdm72xx: fix address space warnings Okash Khawaja
2015-12-12 8:35 ` Dan Carpenter
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.