[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <513CE3B8.9020308@ladisch.de>
Date: Sun, 10 Mar 2013 20:49:12 +0100
From: Clemens Ladisch <clemens@...isch.de>
To: Vicentiu Ciorbaru <cvicentiu@...il.com>
CC: perex@...ex.cz, tiwai@...e.de, wfp5p@...ginia.edu,
alsa-devel@...a-project.org, linux-kernel@...r.kernel.org
Subject: Re: [PATCH] emu10k1: Fix coccicheck warning
Vicentiu Ciorbaru wrote:
> On Sun, Mar 10, 2013 at 6:32 PM, Clemens Ladisch <clemens@...isch.de> wrote:
>> Vicentiu Ciorbaru wrote:
>>> Removed redundant cast of kmalloc return pointer.
>>
>>> - (icode->gpr_map = (u_int32_t __user *)
>>> - kcalloc(512 + 256 + 256 + 2 * 1024, sizeof(u_int32_t),
>>> - GFP_KERNEL)) == NULL ||
>>> + (icode->gpr_map = kcalloc(512 + 256 + 256 + 2 * 1024,
>>> + sizeof(u_int32_t), GFP_KERNEL)) == NULL ||
>>
>> Why would casting to __user be redundant?
>
> My reasoning behind the patch is that the C standard does not require a
> specific cast of a void pointer in order to set it to the type of the
> member gpr_map of the struct snd_emu10k1_fx8010_code. I named it redundant
> because the compiler would cast to it anyway.
That's correct as far as the C standard is concerned. However, __user is
a non-standard extension.
> The line also appears as a warning when running make coccicheck.
And when you remove the __user, you get a warning when running make C=x.
Both coccinelle and sparse are merely tools for finding likely bugs.
When it isn't possible to make them both happy with or without the cast,
that just shows that the code itself is badly designed.
The driver should be redesigned to not access user and kernel space
memory through the same pointer.
Regards,
Clemens
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists