On Sat, 2016-10-01 at 21:46 +0200, Julia Lawall wrote:
These patches fix cases where the documentation above a function definition is not consistent with the function header. Issues are detected using the semantic patch below (http://coccinelle.lip6.fr/). Basically, the semantic patch parses a file to find comments, then matches each function header, and checks that the name and parameter list in the function header are compatible with the comment that preceeds it most closely.
Hi Julia.
Would it be possible for a semantic patch to scan for function definitions where the types do not have identifiers and update the definitions to match the declarations?
For instance, given:
<some.h> int foo(int);
<some.c> int foo(int bar) { return baz; }
Could coccinelle output:
diff a/some.h b/some.h [] -int foo(int); +int foo(int bar);