[Cocci] adding function declarations

[christof@warlich.name (Christof Warlich)]

Am 01.01.2015 um 18:33 schrieb Julia Lawall:

 > Unfortunately, your seemingly simple request raises some issues :)

 > First, you should apply the patch below to Coccinelle version 
1.0.0-rc23 (the latest version)

It looks like you missed to include the patch you mentioned: I couldn't 
find anything appropriate to apply to the Coccinelle source code. Thus, 
I'm still playing with an unpatched version 1.0.0-rc23.

 > For some reason, the semantic patch parser is not allowing me to put
 > inline in the prototype. I will look into it and send another patch.
 >
 > Also for the following file:
 >
 > static inline __attribute__((always_inline)) int foo(int x) {
 >     return x;
 > }
 >
 > the output is missing a space before the attribute:
 > ...

Yes, I could reproduce both using 1.0.0-rc23.

 > I will look into this as well.

Again, many thanks for your help and your precious  time: So I'll 
patiently wait for a patch :-). But please let me know if anything else 
can be done on my side.

Cheers,

Chris