Re: [cocci] Searching for repeated source code with SmPL?

[Julia Lawall <julia.lawall@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 1092 bytes --]



On Sat, 11 May 2024, Markus Elfring wrote:

> …
> >> I would appreciate if multiple occurrences of code elements can be better detected
> >> and transformed.
> …
> > Be more concrete about what you are not able to do.
>
> I hope that indicated communication (and data processing) difficulties can be adjusted
> a bit more.
>
> See also another source code example:
>
> void my_test(void)
> {
>  my_action(1);
>  my_action(2);
>  my_action(3);
> }
>
>
> See also a corresponding analysis approach by the means of a tiny script
> for the semantic patch language:
>
> @display@
> @@
>  my_action(...);
>  <+...
> *my_action(...);
>  ...+>
>
>
> Why is no diff output generated by the software combination “Coccinelle 1.2-00008-g75525032”
> so far?

Your semantic patch needs to be:

@display@
@@
 my_action(...);
 <+... when any
*my_action(...);
 ...+>

Without that, a call to my_action is forbidden in the region matched by
the <+... ...+>.  Because any kind of dot thing matches the shortest path
between what comes before and what comes after (here the end of the
function).

julia