[Cocci] Adding parameter to function if missing

[elfring@users.sourceforge.net (SF Markus Elfring)]

> I was confusing between the type name 'my_type' and type value 'my_type'.
> 
> What I would to do is something like that :
> 
> @fn_with_user@
> identifier fn, foo;
> typedef T = "my_type"; // '= ...' is not correct

Does such a specification indicate that you want to make a detail
better configurable?


> parameter list pl;
> @@
> 
> fn(T *foo, pl) {
> <+...
> bar(...);
> ...+>
> }
> 
> But I don't know how to link 'my_type' value to type T ...

Do you imagine to apply another parameter?

Is the functionality around "virtual" in the semantic patch language
relevant here?
http://coccinelle.lip6.fr/docs/main_grammar001.html


> I am sure that I am missing something obvious there :(

I hope that a better understanding can be achieved for special aspects
of your use case.

Regards,
Markus