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:
~/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 linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
