On 08/06/2013 12:31 AM, Dan Carpenter wrote:
On Mon, Aug 05, 2013 at 03:00:32PM -0700, Guenter Roeck wrote:
Hi all,
I get the following warning while scanning drivers/hwmon/max16065.c.
drivers/hwmon/max16065.c:67:10: warning: Initializer entry defined twice
drivers/hwmon/max16065.c:68:10: also defined here
drivers/hwmon/max16065.c:76:10: warning: Initializer entry defined twice
drivers/hwmon/max16065.c:77:10: also defined here
I must have looked at the code half a dozen times, but I just
don't see what might be wrong.
Any idea, anyone ?
This is actually a Sparse warning not a Smatch warning. To get the
Smatch warnings (there aren't any) do:
Thanks for the clarification. I updated the subject.
Guenter
~/path/to/smatch/smatch_scripts/kchecker --spammy drivers/hwmon/max16065.c
This problem is here is a bug in Sparse handling arrays of _Bool.
Let me add the Sparse people to the CC list and a small test case.
static _Bool array_name[] = {
[0] = 0,
[1] = 0,
[2] = 0,
[3] = 0,
};
Sparse complains that element 1 was already initialized.
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
