Re: [cocci] match arbitrary argument position

[Markus Elfring <Markus.Elfring@web.de>]

> looking at the following code snippet:
>
> test.c:
…
>       func3(argc, argv);
>
>       func3(argv);


Would you like to handle function overloading here?



> what doesn't work (matching on the expression list from the parameter list):
>
>    @main4@
>    expression list Es;
>    @@
>
>    int func1(Ps@Es) {
>    ...
>    }


Which type would belong to the metavariable “Ps”?



> I also tried this:
>
>    @main4@
>    parameter P;
>    expression E;
>    @@
>
>    int func1(..., P@E, ...) {
>    ...
>    }


Does such SmPL code represent a contradiction?


Can any other descriptions indicate your data processing imaginations better?


>    @main5@
>    expression main4.E;
>    identifier func;
>    @@
>
>      func(..., E, ...);
>    + // add comment
>
>
> But it throws: 'rule starting on line 41 contains unattached metavariables: main4.E'.

Which software version did you try out here?

I am curious how corresponding considerations will evolve further.


Regards,
Markus