Markus,

so, that suggestion works the same as my previous shared statement. but, only for calls like: my_printf("%s", h1.name);,

not for my_printf("%d here also, tt=%s | %s and %m\n", id, h2->name, h2->name, s2);

e.g:

Code sample

int foo() {
int id;
struct mydata h1, *h2, s1, *s2;

// works fine
my_printf("%s", h1.name);
my_printf("%s", h2->name);
my_printf("%s");

// don't match.
my_printf("%s %d", h2->name, id);
my_printf("%s %s", h2->name, h2->name);
my_printf("%d it would work but dunno mydata=%m\n", id, h2);
my_printf("%d here also, tt=%s | %s and %m\n", id, h2->name, h2->name, s2);
}

so, I am not sure if Coccinelle is able to do that. I've read all samples available in the Kernel and Coccinelle repo's and I didn't see any similar case.

I think that if @Julia Lawall don't know, No one in the world knows. 😂

On Fri, Nov 29, 2019 at 10:33 AM Markus Elfring <Markus.Elfring@web.de> wrote:

>>. Did you try out to work with SmPL ellipses and disjunctions for this purpose?
>
> I didn't it, do you have any suggestions or sample that is it possible
> to solve my problem? something to based on.

Can you get further development ideas from a transformation approach
like the following?

@replacement@
struct mydata SMD;
struct mydata* SMDP;
format F =~ "s";
@@
my_printf(
- "%@F@"
+ "%m"
,
(
+ &
SMD
- .name
|
SMDP
- ->name
)
);

> I mean, the Coccinelle/Python support.

This programming interface contains also open issues for further considerations
as you can see from a topic like “Propagating values back from Python script
to SmPL rule with other metavariable type than “identifier””.
https://github.com/coccinelle/coccinelle/issues/86

Regards,
Markus