linux/scripts/coccinelle/null, branch v3.1

scripts/coccinelle: update for compatability with Coccinelle 0.2.4

2010-12-03T11:27:01Z

For doubleinit.cocci, Coccinelle 0.2.4 requires a comma after ... in a field list. Coccinelle also now behaves gracefully when a definition is provided for a virtual that doesn't exist, so there is no need for the semantic patch code to check for this case. Updated the documentation to reflect the fact that the best results will now be obtained with Coccinelle version 0.2.4 or later. Signed-off-by: Julia Lawall

Coccinelle: Move deref_null.cocci to a more appropriate directory

2010-08-31T09:37:53Z

deref_null.cocci is moved to the 'null' directory which contains other null related rules. Signed-off-by: Nicolas Palix Signed-off-by: Julia Lawall Signed-off-by: Michal Marek

Coccinelle: Add null/kmerr.cocci

2010-08-31T09:37:53Z

This semantic patch looks for kmalloc etc that are not followed by a NULL check. It only gives a report in the case where there is some error handling code later in the function, which may be helpful in determining what the error handling code for the call to kmalloc etc should be. Signed-off-by: Nicolas Palix Signed-off-by: Julia Lawall Signed-off-by: Michal Marek

Coccinelle: Add null/eno.cocci

2010-08-31T09:37:52Z

The various basic memory allocation functions don't return ERR_PTR Signed-off-by: Nicolas Palix Signed-off-by: Julia Lawall Signed-off-by: Michal Marek