linux/scripts/coccinelle/misc, branch v3.4

coccinelle: semantic patch for bool issues

2012-02-24T23:07:32Z

Signed-off-by: Julia Lawall Reviewed-by: Rusty Russell Signed-off-by: Michal Marek

coccinelle: semantic patch to check for PTR_ERR after reassignment

2012-02-24T23:07:11Z

Signed-off-by: Julia Lawall Signed-off-by: Michal Marek

scripts/coccinelle: improve the coverage of some semantic patches

2012-01-14T23:05:46Z

This patch ensures that all semantic patches in the scripts/coccinelle directory provide the report option. Report messages that include line numbers now have the line number preceded by "line" for easier subsequent processing. Signed-off-by: Julia Lawall Signed-off-by: Michal Marek

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: Add misc/ifcol.cocci

2010-08-31T09:43:13Z

Find confusingly indented code in or after an if. An if branch should be indented. The code following an if should not be indented. Sometimes, code after an if that is indented is actually intended to be part of the if branch. This has a high rate of false positives, because Coccinelle's column calculation does not distinguish between spaces and tabs, so code that is not visually aligned may be considered to be in the same column. Signed-off-by: Nicolas Palix Signed-off-by: Julia Lawall Signed-off-by: Michal Marek

Coccinelle: Add misc/doubleinit.cocci

2010-08-31T09:43:13Z

Find duplicate field initializations. This has a high rate of false positives due to #ifdefs, which Coccinelle is not aware of in a structure initialization. Signed-off-by: Nicolas Palix Signed-off-by: Julia Lawall Signed-off-by: Michal Marek