On 06/09/14 14:47, Michal Marek wrote: > Dne 3.6.2014 20:25, Julia Lawall napsal(a): >> From: Stephen Boyd <[email protected]> >> >> Failure to terminate an of_device_id table can lead to confusing >> failures depending on where the compiler places the array. Add a >> check to make sure these tables are terminated. Thanks to Mitchel >> Humpherys for coming up with the pattern initially. >> >> Cc: Mitchel Humpherys <[email protected]> >> Cc: Julia Lawall <[email protected]> >> Cc: Gilles Muller <[email protected]> >> Cc: Nicolas Palix <[email protected]> >> Cc: Grant Likely <[email protected]> >> Cc: Rob Herring <[email protected]> >> Cc: [email protected] >> Signed-off-by: Stephen Boyd <[email protected]> >> Acked-by: Grant Likely <[email protected]> >> Signed-off-by: Julia Lawall <[email protected]> >> >> --- >> >> v3: Removed unneeded rule bad_of_table. Placed * in context rule on the >> closing brace; putting it on the field caused all fields to be marked. >> >> v4: corrected authorship >> >> scripts/coccinelle/misc/of_table.cocci | 62 >> +++++++++++++++++++++++++++++++++ >> 1 file changed, 62 insertions(+) > Applied to kbuild.git#misc, thanks. BTW, what is so special about of > device drivers? Shouldn't we check for missing sentinels in all kinds of > device tables? >
Yes the rule should probably be expanded to cover more tables. I guess this is just more noticeable because a driver may match some device that it isn't supposed to match and start writing random bits to registers it shouldn't be, causing the system to hang. -- Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

