2013-06-12 21:31:17

by Marc Kleine-Budde

[permalink] [raw]
Subject: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
introduced devm_ioremap_resource() and encourage to check its return value with
IS_ERR(). This however leads to the following sparse warnings, as
devm_ioremap_resource() returns a void __iomem pointer:

drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg

This patch silences the warning by introducing a macro to force cast the
pointer to a plain const void *.

Signed-off-by: Marc Kleine-Budde <[email protected]>
---
Hello,

I think this macro is a bit ugly, is there a better way to make sparse happy?
If we agree on a solution other functions in this file have to be wrapped.

regards,
Marc

include/linux/err.h | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/linux/err.h b/include/linux/err.h
index f2edce2..1a5a57b 100644
--- a/include/linux/err.h
+++ b/include/linux/err.h
@@ -29,11 +29,13 @@ static inline long __must_check PTR_ERR(const void *ptr)
return (long) ptr;
}

-static inline long __must_check IS_ERR(const void *ptr)
+static inline long __must_check __IS_ERR(const void *ptr)
{
return IS_ERR_VALUE((unsigned long)ptr);
}

+#define IS_ERR(__ptr) __IS_ERR((const void __force *)__ptr)
+
static inline long __must_check IS_ERR_OR_NULL(const void *ptr)
{
return !ptr || IS_ERR_VALUE((unsigned long)ptr);
--
1.8.2.rc2


2013-06-13 05:25:20

by Sachin Kamat

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> introduced devm_ioremap_resource() and encourage to check its return value with
> IS_ERR(). This however leads to the following sparse warnings, as
> devm_ioremap_resource() returns a void __iomem pointer:
>
> drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg

CC ing Thierry who has solved this issue some time back.

--
With warm regards,
Sachin

2013-06-13 18:24:57

by Thierry Reding

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
> On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> > Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> > introduced devm_ioremap_resource() and encourage to check its return value with
> > IS_ERR(). This however leads to the following sparse warnings, as
> > devm_ioremap_resource() returns a void __iomem pointer:
> >
> > drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> > drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> > drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
>
> CC ing Thierry who has solved this issue some time back.

I had sent two patches, one against sparse, the other against the
kernel, but none were picked up yet.

Thierry


Attachments:
(No filename) (912.00 B)
(No filename) (836.00 B)
Download all attachments

2013-06-13 19:20:02

by Marc Kleine-Budde

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On 06/13/2013 08:24 PM, Thierry Reding wrote:
> On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
>> On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
>>> Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
>>> introduced devm_ioremap_resource() and encourage to check its return value with
>>> IS_ERR(). This however leads to the following sparse warnings, as
>>> devm_ioremap_resource() returns a void __iomem pointer:
>>>
>>> drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
>>> drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
>>> drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
>>
>> CC ing Thierry who has solved this issue some time back.
>
> I had sent two patches, one against sparse, the other against the
> kernel, but none were picked up yet.

Can you repost them? Hope someone will pick them up.

Marc

--
Pengutronix e.K. | Marc Kleine-Budde |
Industrial Linux Solutions | Phone: +49-231-2826-924 |
Vertretung West/Dortmund | Fax: +49-5121-206917-5555 |
Amtsgericht Hildesheim, HRA 2686 | http://www.pengutronix.de |


Attachments:
signature.asc (263.00 B)
OpenPGP digital signature

2013-06-13 20:14:17

by Andrew Morton

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On Thu, 13 Jun 2013 20:24:48 +0200 Thierry Reding <[email protected]> wrote:

> On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
> > On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> > > Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> > > introduced devm_ioremap_resource() and encourage to check its return value with
> > > IS_ERR(). This however leads to the following sparse warnings, as
> > > devm_ioremap_resource() returns a void __iomem pointer:
> > >
> > > drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> > > drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> > > drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
> >
> > CC ing Thierry who has solved this issue some time back.
>
> I had sent two patches, one against sparse, the other against the
> kernel, but none were picked up yet.

I didn't know that.

On May 8 I queued
http://ozlabs.org/~akpm/mmots/broken-out/errh-is_err-can-accept-__user-pointers.patch.
Dan says that sparse v0.4.5-rc1 or later is also required.

2013-06-13 21:39:30

by Thierry Reding

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On Thu, Jun 13, 2013 at 01:14:15PM -0700, Andrew Morton wrote:
> On Thu, 13 Jun 2013 20:24:48 +0200 Thierry Reding <[email protected]> wrote:
>
> > On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
> > > On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> > > > Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> > > > introduced devm_ioremap_resource() and encourage to check its return value with
> > > > IS_ERR(). This however leads to the following sparse warnings, as
> > > > devm_ioremap_resource() returns a void __iomem pointer:
> > > >
> > > > drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> > > > drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> > > > drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
> > >
> > > CC ing Thierry who has solved this issue some time back.
> >
> > I had sent two patches, one against sparse, the other against the
> > kernel, but none were picked up yet.
>
> I didn't know that.
>
> On May 8 I queued
> http://ozlabs.org/~akpm/mmots/broken-out/errh-is_err-can-accept-__user-pointers.patch.
> Dan says that sparse v0.4.5-rc1 or later is also required.

So maybe latest sparse does have the patch. I didn't find it looking at
the logs. But looking again it seems like an equivalent patch made it in
recently. Also the above patch looks very much like what I posted back
at the time. Shame that work was duplicated, maybe I should have pushed
harder when I didn't get a response.

Thierry


Attachments:
(No filename) (1.61 kB)
(No filename) (836.00 B)
Download all attachments

2013-06-17 07:59:50

by Dan Carpenter

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On Thu, Jun 13, 2013 at 11:39:25PM +0200, Thierry Reding wrote:
> On Thu, Jun 13, 2013 at 01:14:15PM -0700, Andrew Morton wrote:
> > On Thu, 13 Jun 2013 20:24:48 +0200 Thierry Reding <[email protected]> wrote:
> >
> > > On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
> > > > On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> > > > > Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> > > > > introduced devm_ioremap_resource() and encourage to check its return value with
> > > > > IS_ERR(). This however leads to the following sparse warnings, as
> > > > > devm_ioremap_resource() returns a void __iomem pointer:
> > > > >
> > > > > drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> > > > > drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> > > > > drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
> > > >
> > > > CC ing Thierry who has solved this issue some time back.
> > >
> > > I had sent two patches, one against sparse, the other against the
> > > kernel, but none were picked up yet.
> >
> > I didn't know that.
> >
> > On May 8 I queued
> > http://ozlabs.org/~akpm/mmots/broken-out/errh-is_err-can-accept-__user-pointers.patch.
> > Dan says that sparse v0.4.5-rc1 or later is also required.
>
> So maybe latest sparse does have the patch. I didn't find it looking at
> the logs. But looking again it seems like an equivalent patch made it in
> recently. Also the above patch looks very much like what I posted back
> at the time. Shame that work was duplicated, maybe I should have pushed
> harder when I didn't get a response.
>
> Thierry

Sorry about that. I didn't mean to steal anyone's patch.

regards,
dan carpenter

2013-06-17 10:11:34

by Thierry Reding

[permalink] [raw]
Subject: Re: [RFC: PATCH] err.h: silence warning when using IS_ERR on void __iomem *

On Mon, Jun 17, 2013 at 10:59:25AM +0300, Dan Carpenter wrote:
> On Thu, Jun 13, 2013 at 11:39:25PM +0200, Thierry Reding wrote:
> > On Thu, Jun 13, 2013 at 01:14:15PM -0700, Andrew Morton wrote:
> > > On Thu, 13 Jun 2013 20:24:48 +0200 Thierry Reding <[email protected]> wrote:
> > >
> > > > On Thu, Jun 13, 2013 at 10:55:17AM +0530, Sachin Kamat wrote:
> > > > > On 13 June 2013 03:01, Marc Kleine-Budde <[email protected]> wrote:
> > > > > > Commit 75096579c3ac ("lib: devres: Introduce devm_ioremap_resource()")
> > > > > > introduced devm_ioremap_resource() and encourage to check its return value with
> > > > > > IS_ERR(). This however leads to the following sparse warnings, as
> > > > > > devm_ioremap_resource() returns a void __iomem pointer:
> > > > > >
> > > > > > drivers/net/can/c_can/c_can_platform.c:205:32: warning: incorrect type in argument 1 (different address spaces)
> > > > > > drivers/net/can/c_can/c_can_platform.c:205:32: expected void const *ptr
> > > > > > drivers/net/can/c_can/c_can_platform.c:205:32: got unsigned int [noderef] [usertype] <asn:2>*raminit_ctrlreg
> > > > >
> > > > > CC ing Thierry who has solved this issue some time back.
> > > >
> > > > I had sent two patches, one against sparse, the other against the
> > > > kernel, but none were picked up yet.
> > >
> > > I didn't know that.
> > >
> > > On May 8 I queued
> > > http://ozlabs.org/~akpm/mmots/broken-out/errh-is_err-can-accept-__user-pointers.patch.
> > > Dan says that sparse v0.4.5-rc1 or later is also required.
> >
> > So maybe latest sparse does have the patch. I didn't find it looking at
> > the logs. But looking again it seems like an equivalent patch made it in
> > recently. Also the above patch looks very much like what I posted back
> > at the time. Shame that work was duplicated, maybe I should have pushed
> > harder when I didn't get a response.
> >
> > Thierry
>
> Sorry about that. I didn't mean to steal anyone's patch.

No worries. If the issue can finally be closed up with sparse 0.4.5 it's
all good.

Thierry


Attachments:
(No filename) (2.01 kB)
(No filename) (836.00 B)
Download all attachments