3 Commits

Author	SHA1	Message	Date
Julia Lawall	29a36d4dec	scripts/coccinelle: improve the coverage of some semantic patches ... 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 <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>	2012-01-15 00:05:46 +01:00
Julia Lawall	a1087ef6ab	scripts/coccinelle: update for compatability with Coccinelle 0.2.4 ... 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 <julia@diku.dk>	2010-12-03 12:27:01 +01:00
Nicolas Palix	033456e2c5	Coccinelle: Add misc/doubleinit.cocci ... 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 <npalix@diku.dk> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz>	2010-08-31 11:43:13 +02:00